Skip to content

Actions: aviggiano/halmos-differential-erc20

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add results
CI #17: Commit 22c103e pushed by aviggiano
September 26, 2024 14:30 22s main
September 26, 2024 14:30 22s
Update README.md
CI #16: Commit 52b3eec pushed by aviggiano
September 26, 2024 14:28 34s main
September 26, 2024 14:28 34s
Create counterexample for invalid transfers
CI #15: Commit 5b44ea5 pushed by aviggiano
September 26, 2024 13:10 27s main
September 26, 2024 13:10 27s
Passing!
CI #14: Commit edbcee4 pushed by aviggiano
September 25, 2024 18:40 49s main
September 25, 2024 18:40 49s
Update n_staticcalls
CI #13: Commit 17c99b8 pushed by aviggiano
September 25, 2024 17:52 21s main
September 25, 2024 17:52 21s
Update tests
CI #12: Commit 223eccd pushed by aviggiano
September 25, 2024 17:42 23s main
September 25, 2024 17:42 23s
Update ERC20 test
CI #11: Commit a621a12 pushed by aviggiano
September 25, 2024 17:26 21s main
September 25, 2024 17:26 21s
Move _mint outside of constructor
CI #10: Commit 312fa78 pushed by aviggiano
September 25, 2024 13:42 23s main
September 25, 2024 13:42 23s
September 25, 2024 10:46 33s
Update README.md
CI #8: Commit e5c1341 pushed by aviggiano
September 24, 2024 18:27 32s main
September 24, 2024 18:27 32s
Change vm.assume with require?
CI #7: Commit 0aa51aa pushed by aviggiano
September 24, 2024 18:06 23s main
September 24, 2024 18:06 23s
Fix array lengths
CI #6: Commit fdf0920 pushed by aviggiano
September 24, 2024 17:50 34s main
September 24, 2024 17:50 34s
vm.assume(success), otherwise errors will differ
CI #5: Commit be55f1a pushed by aviggiano
September 24, 2024 17:37 25s main
September 24, 2024 17:37 25s
Update test, still not passing
CI #4: Commit 11bf846 pushed by aviggiano
September 24, 2024 16:59 21s main
September 24, 2024 16:59 21s
WIP: Fix Halmos not running
CI #3: Commit 538dcbe pushed by aviggiano
September 24, 2024 12:05 30s main
September 24, 2024 12:05 30s
WIP: vm.assume IERC20 selectors
CI #2: Commit ffd90ec pushed by aviggiano
September 24, 2024 12:01 24s main
September 24, 2024 12:01 24s
First commit
CI #1: Commit 6980180 pushed by aviggiano
September 23, 2024 17:39 31s main
September 23, 2024 17:39 31s