ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Add CEI (Checks-Effects-Interactions) analysis pass
#29304
Comparing
IGI-111/CEI
(
19e175e
) with
master
(
656d1eb
)
CodSpeed Performance Gauge
0%
Untouched
17
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Untouched
17 total
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dependency_chain[01_primitives]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_dependency_chain
CodSpeed Performance Gauge
+1%
34 ms
33.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dependency_chain[04_router]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_dependency_chain
CodSpeed Performance Gauge
0%
66.2 ms
66 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dependency_chain[02_registry]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_dependency_chain
CodSpeed Performance Gauge
0%
43 ms
42.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
08_disambiguate[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
3.7 ms
3.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
07_type_checking[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
8.4 ms
8.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
09_processing_async[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
4.7 ms
4.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
02_name_validation[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
50.3 ms
50.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
05_global_items_collection[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
4.8 ms
4.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dependency_chain[03_policy]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_dependency_chain
CodSpeed Performance Gauge
0%
53.5 ms
53.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
06_check_interfaces[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
2.3 ms
2.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
04_path_resolution[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
5.9 ms
6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
dependency_chain[05_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_dependency_chain
CodSpeed Performance Gauge
0%
84.9 ms
85.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
10_static_analyzing[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
2.7 ms
2.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
frontend_with_deps/contrived_settlement
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_frontend_with_deps
CodSpeed Performance Gauge
0%
84.6 ms
85 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
01_parsing[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
0%
18.4 ms
18.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
frontend_single_file/control_flow_matrix
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_frontend_single_file
CodSpeed Performance Gauge
-1%
10.6 ms
10.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
03_global_vars_collection[contrived_settlement]
crates/compiler/benchmarks/benches/compiler_benchmarks.rs::benches::bench_individual_passes::individual_passes
CodSpeed Performance Gauge
-2%
1.3 ms
1.3 ms
Commits
Click on a commit to change the comparison range
Base
master
656d1eb
-0.2%
Add CEI (Checks-Effects-Interactions) analysis pass
19e175e
21 days ago
by IGI-111
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs