Skip to content

Actions: ethereum/hevm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,708 workflow runs
1,708 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #774 from ethereum/fix-signed-extend-allow-disable… Publish Documentation #426: Commit 598811d pushed by msooseth
June 19, 2025 12:40 2m 4s main
main
June 19, 2025 12:40 2m 4s
Merge pull request #774 from ethereum/fix-signed-extend-allow-disable… Build #3751: Commit 598811d pushed by msooseth
June 19, 2025 12:40 In progress main
main
June 19, 2025 12:40 In progress
SignExtend rewrites + Allow turning off simplification from the CLI + fix property-based tests Build #3750: Pull request #774 synchronize by msooseth
June 19, 2025 10:28 In progress fix-signed-extend-allow-disable-simplify
fix-signed-extend-allow-disable-simplify
June 19, 2025 10:28 In progress
SignExtend rewrites + Allow turning off simplification from the CLI + fix property-based tests Build #3749: Pull request #774 synchronize by msooseth
June 19, 2025 10:20 7m 36s fix-signed-extend-allow-disable-simplify
fix-signed-extend-allow-disable-simplify
June 19, 2025 10:20 7m 36s
Merge pull request #772 from ethereum/no-need-extra-func Publish Documentation #425: Commit b86f86d pushed by msooseth
June 19, 2025 09:33 2m 15s main
main
June 19, 2025 09:33 2m 15s
Merge pull request #772 from ethereum/no-need-extra-func Build #3748: Commit b86f86d pushed by msooseth
June 19, 2025 09:33 22m 49s main
main
June 19, 2025 09:33 22m 49s
Merge pull request #773 from ethereum/more-prop-rewrite-rules Build #3747: Commit 0529cad pushed by msooseth
June 19, 2025 09:32 57s main
main
June 19, 2025 09:32 57s
Merge pull request #773 from ethereum/more-prop-rewrite-rules Publish Documentation #424: Commit 0529cad pushed by msooseth
June 19, 2025 09:32 2m 4s main
main
June 19, 2025 09:32 2m 4s
More Prop rewrite rules for PLT and PEq Build #3746: Pull request #773 opened by msooseth
June 19, 2025 08:14 21m 47s more-prop-rewrite-rules
more-prop-rewrite-rules
June 19, 2025 08:14 21m 47s
No need for this extra function, it's the same as genLit Build #3745: Pull request #772 opened by msooseth
June 19, 2025 08:08 23m 5s no-need-extra-func
no-need-extra-func
June 19, 2025 08:08 23m 5s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3744: Pull request #771 synchronize by msooseth
June 18, 2025 17:04 25m 13s expose-no-simplify
expose-no-simplify
June 18, 2025 17:04 25m 13s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3743: Pull request #771 synchronize by msooseth
June 18, 2025 16:52 12m 56s expose-no-simplify
expose-no-simplify
June 18, 2025 16:52 12m 56s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3742: Pull request #771 synchronize by msooseth
June 18, 2025 15:49 25m 44s expose-no-simplify
expose-no-simplify
June 18, 2025 15:49 25m 44s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3741: Pull request #771 synchronize by msooseth
June 18, 2025 15:30 19m 16s expose-no-simplify
expose-no-simplify
June 18, 2025 15:30 19m 16s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3740: Pull request #771 synchronize by msooseth
June 18, 2025 14:54 20m 49s expose-no-simplify
expose-no-simplify
June 18, 2025 14:54 20m 49s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3739: Pull request #771 synchronize by msooseth
June 18, 2025 14:02 24m 50s expose-no-simplify
expose-no-simplify
June 18, 2025 14:02 24m 50s
Run sign-extend, more Prop rules, expose and fix simplification turn on/off to the cli Build #3738: Pull request #771 opened by msooseth
June 18, 2025 14:01 5m 30s expose-no-simplify
expose-no-simplify
June 18, 2025 14:01 5m 30s
Merge pull request #762 from gustavo-grieco/dev-return-partials Publish Documentation #423: Commit e180f31 pushed by msooseth
June 18, 2025 11:14 2m 7s main
main
June 18, 2025 11:14 2m 7s
Merge pull request #762 from gustavo-grieco/dev-return-partials Build #3737: Commit e180f31 pushed by msooseth
June 18, 2025 11:14 23m 19s main
main
June 18, 2025 11:14 23m 19s
Merge pull request #756 from ethereum/array-map-cannot-clash Build #3736: Commit 57dae3e pushed by msooseth
June 18, 2025 10:44 30m 43s main
main
June 18, 2025 10:44 30m 43s
Merge pull request #756 from ethereum/array-map-cannot-clash Publish Documentation #422: Commit 57dae3e pushed by msooseth
June 18, 2025 10:44 2m 5s main
main
June 18, 2025 10:44 2m 5s
Merge pull request #769 from ethereum/fix-signed-assert-interpreter Build #3735: Commit 1116f8f pushed by msooseth
June 18, 2025 10:42 1m 55s main
main
June 18, 2025 10:42 1m 55s
Merge pull request #769 from ethereum/fix-signed-assert-interpreter Publish Documentation #421: Commit 1116f8f pushed by msooseth
June 18, 2025 10:42 2m 24s main
main
June 18, 2025 10:42 2m 24s
Correctly print and return partials path logs when symbolic exploration is done Build #3734: Pull request #762 synchronize by gustavo-grieco
June 17, 2025 20:54 26m 49s gustavo-grieco:dev-return-partials
gustavo-grieco:dev-return-partials
June 17, 2025 20:54 26m 49s
Fixing signed assert symbolic interpretation Build #3733: Pull request #769 opened by msooseth
June 17, 2025 16:59 24m 5s fix-signed-assert-interpreter
fix-signed-assert-interpreter
June 17, 2025 16:59 24m 5s