Comparing
MichaReiser:more-fixpoint
(de69f42
) withmaster
(f8cd8e7
)+8%
- Improvement
- 1
- Untouched
- 11
Benchmarks
12 total
converge_diverge
benches/dataflow.rs::benches::dataflow+8%
144.9 µs134.3 µs
accumulator
benches/accumulator.rs::benches::accumulator0%
3.9 ms3.9 ms
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs0%
3.9 µs3.9 µs
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs0%
16.4 µs16.4 µs
many_tracked_structs
benches/incremental.rs::benches::many_tracked_structs0%
36.6 µs36.8 µs
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs-1%
5.4 µs5.4 µs
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs-1%
9.8 µs9.9 µs
amortized[Input]
benches/compare.rs::benches::inputs::Mutating Inputs-1%
3.2 µs3.3 µs
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs-2%
3.2 µs3.2 µs
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs-2%
14 µs14.3 µs
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs-2%
13.8 µs14.1 µs
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs-2%
13.6 µs13.9 µs
Commits
Click on a commit to change the comparison rangeBase
master
f8cd8e7
+7.9%
fix: incorrect caching for queries participating in fixpoint
de69f42
9 months ago
by MichaReiser