This PR intends to get the documentation up to date with version 0.1.20 of Kontrol. In particular:
Remove requirements to forge build before kontrol build, closing #16
Remove requirements to include the infiniteGas() cheatcode, closing #15 Although the infiniteGas() example is not removed, since serves as an introduction to our custom cheatcodes
Remove documentation for the --regen flag, since it's redundant and according to internal discussions, only used when developing new semantics, not when doing proofs in al already established one
Remove documentation for the --with-llvm-library flag, since it's now the default behavior
This PR intends to get the documentation up to date with version 0.1.20 of Kontrol. In particular:
forge build
beforekontrol build
, closing #16infiniteGas()
cheatcode, closing #15 Although theinfiniteGas()
example is not removed, since serves as an introduction to our custom cheatcodes--regen
flag, since it's redundant and according to internal discussions, only used when developing new semantics, not when doing proofs in al already established one--with-llvm-library
flag, since it's now the default behavior