Releases: runtimeverification/kontrol-cheatcodes
Releases · runtimeverification/kontrol-cheatcodes
187b89a: Add `allowCalls` cheatcode (#19)
* Add `allowCalls` cheatcode * Change `memory` to `calldata` in `allowCalls` arg
fe24718
Mark fresh-variable cheatcodes as view (#18)
cb50e05
Update IKontrolCheatsBase.sol (#17)
c2bdec7
add fresh* cheatcodes with string args (#16)
f42ba5f: Add forgetBranch cheatcode (#15)
* add forgetBranch cheatcode * Update src/IKontrolCheatsBase.sol --------- Co-authored-by: Petar Maksimović <PetarMax@users.noreply.github.com>
9b70241
Make `freshBool` return `bool` instead of `uint256` (#13)
61a5df7: Updating Soldeer Release with a Version to a specific project (#12)
* modified: .github/workflows/master-push.yml - Add additional argument to set the version of the pushed soldeer account new file: .gitignore - Ignore the zip archive produced by soldeer push dry-run mode modified: scripts/soldeer_publish.expect - Update expect script to use an additional argument for setting the pushed version of the cheatcodes to soldeer * modified: ../.github/workflows/master-push.yml - Soldeer push will now only push the sol files found in src that are relevant to a release. - Fixes warnings and resolves the problem of trying to push while avoinding using --skip-warnings
bb7ec51: modified: .github/workflows/master-push.yml
- Fix the gh token variable name per documentation - Dry run with'act'. - Attempted to clean up providng rpoper tty env for manual inputs to soldeer/forge