pjh123 cc8db162a0 feat: TLA 模块求值 VM driver 单次 drain 到静止

2026-10-13 18:00:24 +00:00

..

benches

bench: gc_mark_sweep 改单 VM 长 run churn 触发执行期收集

2026-09-26 18:56:04 +00:00

src

feat: TLA 模块求值 VM driver 单次 drain 到静止

2026-10-13 18:00:24 +00:00

tests

fix: 修复 GC 阈值与常量折叠引发的两族测试断言失效

2026-10-13 03:21:50 +00:00

Cargo.toml

build: 告警门统一走 workspace lints

2026-10-10 15:44:17 +00:00