GitHub Actions run
Instrumentation
24 hours ago 3051106 MichaReiser:diff-tracked-structs-cycle pull_requestCompare
Base
Search a run
Head
Comparefix: Delete not re-created tracked structs after fixpoint iteration
#979
MichaReiser:diff-tracked-structs-cycle
24 hours ago
Benchmarks
mutating[20]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[20]14.9 µs
many_tracked_structs
benches/incremental.rs::benches::many_tracked_structs::many_tracked_structs9.3 µs
new[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[InternedInput]4.7 µs
new[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::new[SupertypeInput]16.1 µs
mutating[10]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[10]14.2 µs
accumulator
benches/accumulator.rs::benches::accumulator::accumulator3.3 ms
new[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::new[Input]10.2 µs
amortized[Input]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[Input]2.2 µs
converge_diverge
benches/dataflow.rs::benches::dataflow::converge_diverge127.3 µs
mutating[30]
benches/compare.rs::benches::mutating_inputs::Mutating Inputs::mutating[30]15.1 µs
amortized[SupertypeInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[SupertypeInput]2.9 µs
amortized[InternedInput]
benches/compare.rs::benches::inputs::Mutating Inputs::amortized[InternedInput]2.3 µs