Softcode memories in hoare statements#762

Closed

oskgo wants to merge 27 commits intomainfrom

softcode-memories

Commits on Mar 24, 2025

add memory to `sHoareF`
oskgo
committed

Commits on Apr 4, 2025

Commits on Apr 11, 2025

Commits on May 6, 2025

fix subst in conseq
oskgo
committed

Commits on May 7, 2025

maybe subst later?
oskgo
committed

Commits on May 21, 2025

fix conseq
oskgo
committed

Commits on May 23, 2025

Commits on May 25, 2025

fix conseq more
oskgo
committed

Commits on May 26, 2025

fresh memory in trans
oskgo
committed

Commits on May 27, 2025

Commits on May 28, 2025

fixed matching - broken reduction
oskgo
committed