Include keccak & aux lemmas conditionally#779

Merged

palinatolmach merged 17 commits intomasterfrom add-keccak-lemmas

Aug 22, 2024

+610-366

Commits on Aug 16, 2024

Add --no-keccak-lemmas option for conditional exclusion of keccak assumptions
palinatolmach
committed

Commits on Aug 20, 2024