BLOCKED: refactor: reimplement initNextStep without evalTactic#219

Draft

alexkeizer wants to merge 24 commits intoaxeffects-tracingfrom replace-init_next_step

+2,988-1,587

Commits on Oct 6, 2024

Simplify partInstall to use start and len (#216 )
pennyannn
authored
refactor: remove SymContext.h_sp?, replacing uses with the corresponding AxEffects field (#207 )

alexkeizer
and
shigoel
authored

Commits on Oct 8, 2024

feat: generalize to arbitrary bitvec width zeroextend_bigger_smaller and truncate_of_concat_is_lsb (#221 )
luisacicolini
authored
feat: attempt to preserve stack alignment proof in AxEffect update (#209 )

alexkeizer
and
shigoel
authored
feat: add options for more control over benchmarking and better profiling support (#204 )

alexkeizer
and
shigoel
authored
chore: add more trace nodes, for better profiling data (#211 )

alexkeizer
and
shigoel
authored
feat: use withCurrHeartbeats to reset the heartbeat usage for each step in sym_n (#213 )

alexkeizer
and
shigoel
authored
chore: make section names more meaningful (#220 )
alexkeizer
authored

Commits on Oct 10, 2024

Commits on Oct 11, 2024

chore: bump toolchain to nightly-2024-10-07 (#217 )
alexkeizer
authored

Commits on Oct 13, 2024

feat: expand sym_aggregate search to include equalities ?state.program = ?program (#236 )
alexkeizer
authored

Commits on Oct 14, 2024

Commits on Oct 16, 2024

Commits on Oct 17, 2024