Improve some simplifications for booster#172

Merged

jberthold merged 5 commits intomasterfrom jb/improve-simplifications

Jul 16, 2024

+81-5

Commits on Jul 12, 2024

add lemmas without #Equals to int-normalisation
jberthold
committed
add lemmas without #Equals to bytes-normalisation and proven-mx lemma files
jberthold
committed

Commits on Jul 15, 2024

add a trivial lemma for int64encoding of boolToInt values
jberthold
committed
Constrain simplifications for ^IntTotal to have positive exponent
jberthold
committed

Commits on Jul 16, 2024

Set Version: 0.1.75
devops
committed