Skip to content

Actions: a16z/halmos

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
675 workflow runs
675 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lint pre-commit #125: Commit 240abee pushed by daejunpark
September 18, 2024 20:45 28s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 18, 2024 20:45 28s
fix: concretize calldatacopy pre-commit #124: Pull request #364 synchronize by daejunpark
September 18, 2024 20:43 42s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 18, 2024 20:43 42s
Merge commit '492aeab' into tmp pre-commit #123: Commit d9d9e1f pushed by daejunpark
September 18, 2024 20:43 27s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 18, 2024 20:43 27s
fix: concretize calldatacopy pre-commit #122: Pull request #364 synchronize by daejunpark
September 17, 2024 23:11 27s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 23:11 27s
comment pre-commit #121: Commit 9c46197 pushed by daejunpark
September 17, 2024 23:11 19s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 23:11 19s
fix: concretize calldatacopy pre-commit #120: Pull request #364 synchronize by daejunpark
September 17, 2024 22:47 17s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 22:47 17s
Update src/halmos/bytevec.py pre-commit #119: Commit 91f7c88 pushed by daejunpark
September 17, 2024 22:47 24s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 22:47 24s
fix: concretize calldatacopy pre-commit #118: Pull request #364 synchronize by daejunpark
September 17, 2024 22:42 23s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 22:42 23s
Merge branch 'main' into fix/concretize-calldatacopy pre-commit #117: Commit 93f5bfc pushed by daejunpark
September 17, 2024 22:42 19s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 22:42 19s
fix: vm.etch() leaves storage uninitialized (#363) pre-commit #116: Commit 115e66d pushed by 0xkarmacoma
September 17, 2024 22:31 35s main
main
September 17, 2024 22:31 35s
fix: vm.etch() leaves storage uninitialized pre-commit #115: Pull request #363 synchronize by 0xkarmacoma
September 17, 2024 22:04 19s fix/etch-sload
fix/etch-sload
September 17, 2024 22:04 19s
add test for vm.etch + load interaction pre-commit #114: Commit 7dc60fc pushed by 0xkarmacoma
September 17, 2024 22:04 24s fix/etch-sload
fix/etch-sload
September 17, 2024 22:04 24s
fix: concretize calldatacopy pre-commit #113: Pull request #364 opened by daejunpark
September 17, 2024 22:01 27s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 22:01 27s
fix: concretize calldatacopy pre-commit #112: Commit d1f654e pushed by daejunpark
September 17, 2024 21:50 23s fix/concretize-calldatacopy
fix/concretize-calldatacopy
September 17, 2024 21:50 23s
fix: vm.etch() leaves storage uninitialized pre-commit #111: Pull request #363 opened by 0xkarmacoma
September 17, 2024 18:14 20s fix/etch-sload
fix/etch-sload
September 17, 2024 18:14 20s
fix: vm.etch() leaves storage uninitialized pre-commit #110: Commit f325530 pushed by 0xkarmacoma
September 17, 2024 18:14 24s fix/etch-sload
fix/etch-sload
September 17, 2024 18:14 24s
perf: support for custom action in config parser (#361) pre-commit #109: Commit 1e850a6 pushed by daejunpark
September 16, 2024 17:09 31s main
main
September 16, 2024 17:09 31s
perf: support for custom action in config parser pre-commit #108: Pull request #361 opened by daejunpark
September 14, 2024 01:33 18s perf/custom-action-argparser
perf/custom-action-argparser
September 14, 2024 01:33 18s
comment pre-commit #107: Commit 86cf4bb pushed by daejunpark
September 14, 2024 01:28 15s perf/custom-action-argparser
perf/custom-action-argparser
September 14, 2024 01:28 15s
perf: support for custom action in config parser pre-commit #106: Commit 45050ff pushed by daejunpark
September 14, 2024 01:23 20s perf/custom-action-argparser
perf/custom-action-argparser
September 14, 2024 01:23 20s
feat: support for new cheatcode of generating calldata (#360) pre-commit #105: Commit d1dea3f pushed by daejunpark
September 13, 2024 22:48 31s main
main
September 13, 2024 22:48 31s
feat: support for new cheatcode of generating calldata pre-commit #104: Pull request #360 synchronize by daejunpark
September 13, 2024 20:27 25s feat/create-calldata-cheatcode
feat/create-calldata-cheatcode
September 13, 2024 20:27 25s
add calldata tests for nested arrays pre-commit #103: Commit 36bbc3f pushed by daejunpark
September 13, 2024 20:26 21s feat/create-calldata-cheatcode
feat/create-calldata-cheatcode
September 13, 2024 20:26 21s
feat: support for new cheatcode of generating calldata pre-commit #102: Pull request #360 synchronize by daejunpark
September 13, 2024 17:57 27s feat/create-calldata-cheatcode
feat/create-calldata-cheatcode
September 13, 2024 17:57 27s
improve calldata tests pre-commit #101: Commit 69d3b7e pushed by daejunpark
September 13, 2024 17:57 21s feat/create-calldata-cheatcode
feat/create-calldata-cheatcode
September 13, 2024 17:57 21s
ProTip! You can narrow down the results and go further in time using created:<2024-09-13 or the other filters available.