Skip to content

Actions: costa-group/grey

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Start tag dict from one instead of zero
SimpleTesting #277: Commit ef1cfc2 pushed by alexcere
November 15, 2024 08:19 47s asm_translation
November 15, 2024 08:19 47s
Merge pull request #16 from costa-group/renaming
SimpleTesting #276: Commit 383af1c pushed by alexcere
November 13, 2024 04:03 44s main
November 13, 2024 04:03 44s
Initial stack assigned to the input values from function
SimpleTesting #275: Commit dbeaefa pushed by alexcere
November 13, 2024 04:02 54s renaming
November 13, 2024 04:02 54s
Long names for renaming
SimpleTesting #274: Commit dc302fd pushed by alexcere
November 13, 2024 03:42 51s renaming
November 13, 2024 03:42 51s
Pass function calls from each cfg object
SimpleTesting #273: Commit 7bdb65b pushed by alexcere
November 13, 2024 03:27 50s renaming
November 13, 2024 03:27 50s
Fix variable renamign
SimpleTesting #272: Commit 53c9451 pushed by alexcere
November 13, 2024 03:17 48s renaming
November 13, 2024 03:17 48s
Merge branch 'main' into renaming
SimpleTesting #271: Commit 0f6551c pushed by alexcere
November 12, 2024 09:15 47s renaming
November 12, 2024 09:15 47s
Further cases for renaming in order to avoid collisions
SimpleTesting #270: Commit 781a820 pushed by alexcere
November 12, 2024 02:00 46s renaming
November 12, 2024 02:00 46s
Remove print
SimpleTesting #269: Commit be5bc3d pushed by alexcere
November 12, 2024 01:59 52s main
November 12, 2024 01:59 52s
Remove prints
SimpleTesting #268: Commit 3fc3ccc pushed by alexcere
November 12, 2024 01:58 51s main
November 12, 2024 01:58 51s
Merge branch 'multiple_inlining' into main
SimpleTesting #267: Commit 603c7ac pushed by alexcere
November 11, 2024 04:49 54s main
November 11, 2024 04:49 54s
Asm out dir with all the information from contracts
SimpleTesting #266: Commit 09470bc pushed by alexcere
November 11, 2024 04:48 49s multiple_inlining
November 11, 2024 04:48 49s
Start working on version with multiple inlinings
SimpleTesting #265: Commit 0f24141 pushed by alexcere
November 8, 2024 22:38 45s multiple_inlining
November 8, 2024 22:38 45s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #264: Commit 7b0b145 pushed by tutugordillo
November 8, 2024 10:10 55s main
November 8, 2024 10:10 55s
Merge branch 'main' of github.com:costa-group/grey into main
SimpleTesting #263: Commit 48f3244 pushed by alexcere
November 7, 2024 17:24 50s main
November 7, 2024 17:24 50s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #262: Commit 1606c6f pushed by tutugordillo
November 7, 2024 16:54 49s main
November 7, 2024 16:54 49s
Move cfg actions to cfg_methods folder
SimpleTesting #261: Commit 8b7c055 pushed by alexcere
November 7, 2024 15:53 48s main
November 7, 2024 15:53 48s
Update solc binary
SimpleTesting #260: Commit 961a84c pushed by alexcere
November 7, 2024 09:06 1m 25s main
November 7, 2024 09:06 1m 25s
Renaming variables when only one exit id exists in inlining
SimpleTesting #259: Commit 0a9d937 pushed by alexcere
November 6, 2024 16:03 1m 29s main
November 6, 2024 16:03 1m 29s
Rename function using variable renaming
SimpleTesting #258: Commit 6a7fd6f pushed by alexcere
November 6, 2024 14:45 1m 31s main
November 6, 2024 14:45 1m 31s
Fix variable renaming + phi uses
SimpleTesting #257: Commit cccdb91 pushed by alexcere
November 4, 2024 19:42 1m 27s main
November 4, 2024 19:42 1m 27s
Change dondition for merging blocks
SimpleTesting #256: Commit e3ee322 pushed by alexcere
November 3, 2024 18:05 1m 24s main
November 3, 2024 18:05 1m 24s
Rename input and output variables of the function that is merged
SimpleTesting #255: Commit ad95918 pushed by alexcere
October 31, 2024 08:35 1m 41s main
October 31, 2024 08:35 1m 41s
Rename variables to ensure uniqueness when inlining
SimpleTesting #254: Commit 7deca00 pushed by alexcere
October 30, 2024 21:06 1m 29s main
October 30, 2024 21:06 1m 29s
Include PhiFunctions as part of the set of instructions and handle in…
SimpleTesting #253: Commit 20a7bd4 pushed by alexcere
October 30, 2024 19:49 1m 27s main
October 30, 2024 19:49 1m 27s