Skip to content

Actions: aviggiano/halmos-differential-erc20

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
main
September 26, 2024 14:30 22s
Update README.md CI #16: Commit 52b3eec pushed by aviggiano
September 26, 2024 14:28 34s main
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
main
September 26, 2024 13:10 27s
Passing! CI #14: Commit edbcee4 pushed by aviggiano
September 25, 2024 18:40 49s main
main
September 25, 2024 18:40 49s
Update n_staticcalls CI #13: Commit 17c99b8 pushed by aviggiano
September 25, 2024 17:52 21s main
main
September 25, 2024 17:52 21s
Update tests CI #12: Commit 223eccd pushed by aviggiano
September 25, 2024 17:42 23s main
main
September 25, 2024 17:42 23s
Update ERC20 test CI #11: Commit a621a12 pushed by aviggiano
September 25, 2024 17:26 21s main
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
main
September 25, 2024 13:42 23s
Merge branch 'main' of github.com:aviggiano/halmos-differential-erc20 CI #9: Commit 20ed8e1 pushed by aviggiano
September 25, 2024 10:46 33s main
main
September 25, 2024 10:46 33s
Update README.md CI #8: Commit e5c1341 pushed by aviggiano
September 24, 2024 18:27 32s main
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
main
September 24, 2024 18:06 23s
Fix array lengths CI #6: Commit fdf0920 pushed by aviggiano
September 24, 2024 17:50 34s main
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
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
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
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
main
September 24, 2024 12:01 24s
First commit CI #1: Commit 6980180 pushed by aviggiano
September 23, 2024 17:39 31s main
main
September 23, 2024 17:39 31s