Skip to content

Actions: costa-group/grey

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
371 workflow runs
371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:costa-group/grey SimpleTesting #171: Commit 467ff7c pushed by tutugordillo
October 9, 2024 08:30 48s main
main
October 9, 2024 08:30 48s
Fix filtering: non_split_blocks instead of split_blocks SimpleTesting #170: Commit 57e751f pushed by alexcere
October 9, 2024 08:01 50s main
main
October 9, 2024 08:01 50s
Filter split instruction blocks when generating the SFSs SimpleTesting #169: Commit 1140db2 pushed by alexcere
October 9, 2024 07:45 46s main
main
October 9, 2024 07:45 46s
Keep function call information consisten SimpleTesting #168: Commit 76089d7 pushed by alexcere
October 8, 2024 15:30 44s main
main
October 8, 2024 15:30 44s
fixing objects key for builin functions SimpleTesting #167: Commit 1c7241a pushed by tutugordillo
October 8, 2024 14:31 46s main
main
October 8, 2024 14:31 46s
adding subobjects keys to generate builtin functions SimpleTesting #166: Commit 76ecb95 pushed by tutugordillo
October 8, 2024 12:52 52s main
main
October 8, 2024 12:52 52s
Full refactoring of dependencies to fix some bugs in the interval checks SimpleTesting #165: Commit 144a1cb pushed by alexcere
October 7, 2024 15:54 44s main
main
October 7, 2024 15:54 44s
Add more global types for easier understanding of the code SimpleTesting #164: Commit b49015b pushed by alexcere
October 7, 2024 13:44 48s main
main
October 7, 2024 13:44 48s
Formatting of CFG Block methods SimpleTesting #163: Commit 5411f55 pushed by alexcere
October 7, 2024 13:44 46s main
main
October 7, 2024 13:44 46s
#8 Minor typos in bytecode reconstruction SimpleTesting #162: Commit 4b25a87 pushed by alexcere
October 7, 2024 13:25 48s main
main
October 7, 2024 13:25 48s
#6 Temporal fix for translating memoryguard SimpleTesting #161: Commit 6f5c35c pushed by alexcere
October 7, 2024 13:18 52s main
main
October 7, 2024 13:18 52s
Fix some minor bugs (wrong variables referenced) SimpleTesting #160: Commit 0e62cbe pushed by alexcere
October 4, 2024 15:39 45s main
main
October 4, 2024 15:39 45s
Store tags dict from other analyzed components SimpleTesting #159: Commit 769d2d8 pushed by alexcere
October 4, 2024 15:15 44s main
main
October 4, 2024 15:15 44s
Fix error when updating the CFG SimpleTesting #158: Commit 1eb219e pushed by alexcere
October 4, 2024 15:15 44s main
main
October 4, 2024 15:15 44s
Pass missing arg in main + minor refactoring in reconstruct bytecode SimpleTesting #157: Commit a1150e3 pushed by alexcere
October 4, 2024 14:11 48s main
main
October 4, 2024 14:11 48s
#6 Translation for builtins with a space SimpleTesting #156: Commit f931756 pushed by alexcere
October 4, 2024 14:04 50s main
main
October 4, 2024 14:04 50s
Merge pull request #7 from costa-group/compilation_pipeline SimpleTesting #155: Commit b9047f7 pushed by alexcere
October 4, 2024 09:46 47s main
main
October 4, 2024 09:46 47s
built json asm SimpleTesting #154: Commit 290ab82 pushed by tutugordillo
October 4, 2024 07:02 58s main
main
October 4, 2024 07:02 58s
adding tags and refactoring jumpdest SimpleTesting #153: Commit 5b78a32 pushed by tutugordillo
October 4, 2024 06:31 54s main
main
October 4, 2024 06:31 54s
minor SimpleTesting #152: Commit c7c0c2b pushed by tutugordillo
October 4, 2024 06:11 1m 3s main
main
October 4, 2024 06:11 1m 3s
Bug when invoking subObject SimpleTesting #151: Commit b0d9507 pushed by alexcere
October 3, 2024 15:39 53s compilation_pipeline
compilation_pipeline
October 3, 2024 15:39 53s
#5 Return dict with Yul CFGs SimpleTesting #150: Commit 2d68027 pushed by alexcere
October 3, 2024 15:21 49s compilation_pipeline
compilation_pipeline
October 3, 2024 15:21 49s
#5 Connect different compilation formats to main execution pipeline SimpleTesting #149: Commit a3d0f70 pushed by alexcere
October 3, 2024 14:25 47s main
main
October 3, 2024 14:25 47s
Refactor SolidityCompilation so that the output file is not required SimpleTesting #148: Commit 26a6b12 pushed by alexcere
October 3, 2024 13:37 50s main
main
October 3, 2024 13:37 50s
Options for compilation SimpleTesting #147: Commit e8e74fd pushed by alexcere
October 3, 2024 13:24 47s main
main
October 3, 2024 13:24 47s