Record Solidity/K mapping for input names#747

Closed

palinatolmach wants to merge 9 commits intomasterfrom

record-variable-names

Commits on Aug 7, 2024

Merge branch 'master' into record-variable-names
palinatolmach
authored
Add env variables to the mapping, use it in `get_model`, `prove` counterexamples
palinatolmach
committed

Commits on Aug 22, 2024

Merge branch 'master' into record-variable-names
palinatolmach
committed

Commits on Aug 29, 2024

Merge branch 'master' into record-variable-names
palinatolmach
authored