-
Hans-Peter Deifel authored
The main reason being that we need a newer criterion version to pull in fixes for bugs that affected our benchmarks and the easiest way to get that was to bump the stack resolver which incidentally also upgrades the compiler. The performance implications of this change are: - Microbenchmarks stay more or less the same, parsing benchmarks seem to get a little bit slower. - Real-World benchmarks on PRISM examples seem to get a bit faster overall.
2a8b8950