chore: bugfixes and benchmark code for the memory based simp_mem#218

Draft

bollu wants to merge 11 commits intomainfrom simp-mem-v1-improvements

+568-92

Commits on Oct 2, 2024

feat: package up logic that writes cutpoint assertions in terms of run.
bollu
committed
chore: add ability to trace a single simp_mem
bollu
committed
add syntax categories for finer grained simp_mem usage
bollu
committed
chore: introduce mem_omega to dispatch purely omega-based closing reasoning
bollu
committed
chore: cleanup simplifyExpr in simp_mem to allow for targeted usage
bollu
committed
chore: bench WTF is happening. Next step: write extensions to simp_mem to fail if omega is taking too long.
bollu
committed
chore: extract out benchmark from omega slowdown
bollu
committed
chore: add slow examples, also see that instantiateMVars is uber slow
bollu
committed

Commits on Oct 3, 2024