Skip to content

Actions: ethereum/hevm

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
958 workflow runs
958 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT Build #3097: Pull request #638 opened by msooseth
January 22, 2025 14:07 9m 37s fix-exp-basecase
fix-exp-basecase
January 22, 2025 14:07 9m 37s
Forgot to set dumpEndStates for --debug Build #3096: Pull request #636 synchronize by msooseth
January 22, 2025 14:03 34m 23s dump-end-states
dump-end-states
January 22, 2025 14:03 34m 23s
Forgot to set dumpEndStates for --debug Build #3095: Pull request #636 synchronize by msooseth
January 22, 2025 14:02 1m 16s dump-end-states
dump-end-states
January 22, 2025 14:02 1m 16s
Forgot to set dumpEndStates for --debug Build #3094: Pull request #636 opened by msooseth
January 22, 2025 10:58 1h 13m 18s dump-end-states
dump-end-states
January 22, 2025 10:58 1h 13m 18s
[DRAFT] Implement createSelectFork Build #3093: Pull request #634 synchronize by msooseth
January 22, 2025 10:43 20m 4s createSelectFork
createSelectFork
January 22, 2025 10:43 20m 4s
Merge pull request #632 from ethereum/fixing-staticcall Build #3092: Commit b576ca7 pushed by msooseth
January 22, 2025 10:33 1h 18m 11s main
main
January 22, 2025 10:33 1h 18m 11s
Merge pull request #635 from ethereum/raw-bytecode-doc Build #3091: Commit df48423 pushed by msooseth
January 22, 2025 10:32 49s main
main
January 22, 2025 10:32 49s
Adding an example using raw bytecodes to equivalence checking tutorial Build #3090: Pull request #635 synchronize by msooseth
January 22, 2025 10:32 46m 34s raw-bytecode-doc
raw-bytecode-doc
January 22, 2025 10:32 46m 34s
Fixing staticcall abstraction, test case search, and commenting out bug with solidity Build #3089: Pull request #632 synchronize by msooseth
January 22, 2025 10:26 1h 21m 39s fixing-staticcall
fixing-staticcall
January 22, 2025 10:26 1h 21m 39s
Fixing staticcall abstraction, test case search, and commenting out bug with solidity Build #3088: Pull request #632 synchronize by msooseth
January 22, 2025 10:24 2m 37s fixing-staticcall
fixing-staticcall
January 22, 2025 10:24 2m 37s
Adding an example using raw bytecodes to equivalence checking tutorial Build #3087: Pull request #635 synchronize by msooseth
January 22, 2025 10:19 13m 57s raw-bytecode-doc
raw-bytecode-doc
January 22, 2025 10:19 13m 57s
Adding an example using raw bytecodes to equivalence checking tutorial Build #3086: Pull request #635 opened by msooseth
January 21, 2025 17:19 49m 47s raw-bytecode-doc
raw-bytecode-doc
January 21, 2025 17:19 49m 47s
Fixing staticcall abstraction, test case search, and commenting out bug with solidity Build #3085: Pull request #632 synchronize by msooseth
January 21, 2025 16:10 43m 18s fixing-staticcall
fixing-staticcall
January 21, 2025 16:10 43m 18s
Merge pull request #630 from ethereum/removing-ioact Build #3084: Commit 1425d9c pushed by msooseth
January 21, 2025 15:53 42m 40s main
main
January 21, 2025 15:53 42m 40s
[DRAFT] Implement createSelectFork Build #3083: Pull request #634 opened by msooseth
January 21, 2025 13:56 39m 31s createSelectFork
createSelectFork
January 21, 2025 13:56 39m 31s
[DRAFT] Early multi-solution system Build #3082: Pull request #631 synchronize by msooseth
January 20, 2025 17:42 1h 20m 27s multi-solutions
multi-solutions
January 20, 2025 17:42 1h 20m 27s
[DRAFT] Early multi-solution system Build #3081: Pull request #631 synchronize by msooseth
January 20, 2025 17:35 7m 24s multi-solutions
multi-solutions
January 20, 2025 17:35 7m 24s
[DRAFT] Early multi-solution system Build #3080: Pull request #631 synchronize by msooseth
January 20, 2025 16:42 19m 42s multi-solutions
multi-solutions
January 20, 2025 16:42 19m 42s
Better error messages for JSON parsing Build #3079: Pull request #633 synchronize by msooseth
January 20, 2025 15:03 1h 21m 34s better-error-messages
better-error-messages
January 20, 2025 15:03 1h 21m 34s
Better error messages for JSON parsing Build #3078: Pull request #633 synchronize by msooseth
January 20, 2025 15:03 17s better-error-messages
better-error-messages
January 20, 2025 15:03 17s
Better error messages for JSON parsing Build #3077: Pull request #633 opened by msooseth
January 20, 2025 14:56 7m 34s better-error-messages
better-error-messages
January 20, 2025 14:56 7m 34s
[DRAFT] Early multi-solution system Build #3076: Pull request #631 synchronize by msooseth
January 16, 2025 11:58 1h 25m 50s multi-solutions
multi-solutions
January 16, 2025 11:58 1h 25m 50s
Fixing staticcall abstraction, test case search, and commenting out bug with solidity Build #3075: Pull request #632 synchronize by msooseth
January 16, 2025 11:56 38m 27s fixing-staticcall
fixing-staticcall
January 16, 2025 11:56 38m 27s
Fixing staticcall abstraction, test case search, and commenting out bug with solidity Build #3074: Pull request #632 synchronize by msooseth
January 16, 2025 11:55 1m 24s fixing-staticcall
fixing-staticcall
January 16, 2025 11:55 1m 24s
Fixing staticcall abstraction, test case search, and commenting out bug with solidity Build #3073: Pull request #632 synchronize by msooseth
January 16, 2025 11:42 13m 18s fixing-staticcall
fixing-staticcall
January 16, 2025 11:42 13m 18s