GitHub Actions run
Instrumentation
14 hours ago 3a7e731 MichaReiser:maybe-changed-after-fixpoint pull_requestCompare
Base
Search a run
Head
CompareFix `maybe_changed_after` runnaway for fixpoint queries
#961
MichaReiser:maybe-changed-after-fixpoint
14 hours ago
Benchmarks
amortized[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[Input]2.3 µs
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[20]12.9 µs
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[30]12.9 µs
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[SupertypeInput]2.9 µs
accumulator
benches/accumulator.rs::benches::accumulator::accumulator3.2 ms
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[InternedInput]4.2 µs
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[10]12.7 µs
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::new[Input]8.2 µs
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[InternedInput]2.3 µs
many_tracked_structs
benches/incremental.rs::benches::many_tracked_structs::many_tracked_structs32.3 µs
converge_diverge
benches/dataflow.rs::benches::dataflow::converge_diverge117.9 µs
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[SupertypeInput]13.7 µs