Skip to content

Releases: runtimeverification/kontrol-cheatcodes

cb50e05

09 Dec 16:36
cb50e05
Compare
Choose a tag to compare
Update IKontrolCheatsBase.sol (#17)

c2bdec7

06 Dec 11:13
c2bdec7
Compare
Choose a tag to compare
add fresh* cheatcodes with string args (#16)

f42ba5f: Add forgetBranch cheatcode (#15)

05 Dec 17:09
f42ba5f
Compare
Choose a tag to compare
* add forgetBranch cheatcode

* Update src/IKontrolCheatsBase.sol

---------

Co-authored-by: Petar Maksimović <[email protected]>

9b70241

18 Oct 11:15
9b70241
Compare
Choose a tag to compare
Make `freshBool` return `bool` instead of `uint256` (#13)

61a5df7: Updating Soldeer Release with a Version to a specific project (#12)

10 Oct 15:16
61a5df7
Compare
Choose a tag to compare
* 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

08 Oct 15:12
Compare
Choose a tag to compare
- 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