Expr Performance Optimization
1024th, (2026年3月17日 23:00) Reorder upd and upd_list arguments 6cf8add
text
% hyperfine 'make Asrtdef/ExprDef.vo --assume-new Asrtdef/ExprDef.v'
Benchmark 1: make Asrtdef/ExprDef.vo --assume-new Asrtdef/ExprDef.v
Time (mean ± σ): 5.682 s ± 0.056 s [User: 5.529 s, System: 0.124 s]
Range (min … max): 5.612 s … 5.790 s 10 runs