Skip to content

Actions: costa-group/grey

Actions

SimpleTesting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
483 workflow runs
483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixing problem with selfdestruct
SimpleTesting #458: Commit 9a0a418 pushed by tutugordillo
February 17, 2025 08:51 59s main
February 17, 2025 08:51 59s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #457: Commit 3e27b89 pushed by tutugordillo
February 13, 2025 21:40 1m 1s main
February 13, 2025 21:40 1m 1s
adding scripts
SimpleTesting #456: Commit 31929d2 pushed by tutugordillo
February 5, 2025 06:59 54s main
February 5, 2025 06:59 54s
cleaning
SimpleTesting #455: Commit 3a0c221 pushed by tutugordillo
February 4, 2025 17:52 58s main
February 4, 2025 17:52 58s
cleaning aux contracts
SimpleTesting #454: Commit 6204e5c pushed by tutugordillo
February 4, 2025 17:48 57s main
February 4, 2025 17:48 57s
cleaning dirs
SimpleTesting #453: Commit 65c6eda pushed by tutugordillo
February 4, 2025 17:46 1m 1s main
February 4, 2025 17:46 1m 1s
cleaning
SimpleTesting #452: Commit d2575a7 pushed by tutugordillo
February 4, 2025 17:40 54s main
February 4, 2025 17:40 54s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #451: Commit 24c0b6b pushed by tutugordillo
February 4, 2025 17:37 58s main
February 4, 2025 17:37 58s
Start simpler version following Albert's approach
SimpleTesting #450: Commit e437bca pushed by alexcere
February 4, 2025 17:33 1m 14s second_version_greedy
February 4, 2025 17:33 1m 14s
Add path to asm generation
SimpleTesting #449: Commit eb19919 pushed by alexcere
February 4, 2025 17:17 55s main
February 4, 2025 17:17 55s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #448: Commit 9e25a08 pushed by tutugordillo
February 4, 2025 17:06 2m 1s main
February 4, 2025 17:06 2m 1s
Merge branch 'main' of github.com:costa-group/grey into main
SimpleTesting #447: Commit dcc5302 pushed by alexcere
February 4, 2025 13:06 52s main
February 4, 2025 13:06 52s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #446: Commit 087f56f pushed by tutugordillo
February 4, 2025 11:26 53s main
February 4, 2025 11:26 53s
Generate dot file with bytecode per block
SimpleTesting #445: Commit 7da78c1 pushed by alexcere
February 4, 2025 11:11 55s main
February 4, 2025 11:11 55s
Missing stop in terminal ops
SimpleTesting #444: Commit f9cc79d pushed by alexcere
February 4, 2025 10:28 1m 50s main
February 4, 2025 10:28 1m 50s
adding count of terminals and pops in worse case contracts
SimpleTesting #443: Commit 25d609f pushed by tutugordillo
February 4, 2025 08:47 52s main
February 4, 2025 08:47 52s
Merge branch 'main' into second_version_greedy
SimpleTesting #442: Commit c01a8a2 pushed by alexcere
February 3, 2025 14:25 1m 12s second_version_greedy
February 3, 2025 14:25 1m 12s
Merge branch 'main' into alternative_stack_layout
SimpleTesting #441: Commit 96a2521 pushed by alexcere
February 3, 2025 14:25 1m 5s alternative_stack_layout
February 3, 2025 14:25 1m 5s
Store file information betteer
SimpleTesting #440: Commit e957fe4 pushed by alexcere
February 3, 2025 14:16 57s main
February 3, 2025 14:16 57s
More information in python experiments script
SimpleTesting #439: Commit d82de80 pushed by alexcere
February 3, 2025 11:45 1m 1s main
February 3, 2025 11:45 1m 1s
working on pops and terminal blocks
SimpleTesting #438: Commit 6d0bfad pushed by tutugordillo
January 30, 2025 16:17 1m 5s main
January 30, 2025 16:17 1m 5s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #437: Commit c3eb07f pushed by tutugordillo
January 30, 2025 10:27 54s main
January 30, 2025 10:27 54s
Handle Phi propagation
SimpleTesting #436: Commit 02ca098 pushed by alexcere
January 29, 2025 18:59 1m 9s alternative_stack_layout
January 29, 2025 18:59 1m 9s
Try alternative implementations of stack layout
SimpleTesting #435: Commit bf8a850 pushed by alexcere
January 29, 2025 16:55 1m 15s alternative_stack_layout
January 29, 2025 16:55 1m 15s
Merge branch 'main' of github.com:costa-group/grey into main
SimpleTesting #434: Commit 69eae6d pushed by alexcere
January 29, 2025 15:22 1m 3s main
January 29, 2025 15:22 1m 3s