Skip to content

Actions: costa-group/grey

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Process block exits when building the block + only retrieve target fo…
SimpleTesting #193: Commit 2fbe2cc pushed by alexcere
October 14, 2024 16:20 51s main
October 14, 2024 16:20 51s
Add functionReturn as part of the split instructions
SimpleTesting #192: Commit f41f0e9 pushed by alexcere
October 14, 2024 15:13 45s main
October 14, 2024 15:13 45s
working on reconstruction
SimpleTesting #191: Commit 849a746 pushed by tutugordillo
October 14, 2024 13:58 50s main
October 14, 2024 13:58 50s
Merge pull request #10 from costa-group/split_instructions
SimpleTesting #190: Commit 4708ac6 pushed by alexcere
October 11, 2024 09:20 52s main
October 11, 2024 09:20 52s
#9 Remove split_block_instruction type
SimpleTesting #189: Commit 9ce5c7f pushed by alexcere
October 11, 2024 09:20 45s split_instructions
October 11, 2024 09:20 45s
#9 Output stack generation in correct order
SimpleTesting #187: Commit f80ac7a pushed by alexcere
October 11, 2024 08:40 45s split_instructions
October 11, 2024 08:40 45s
#9 Introduce function calls inside cfg blocks
SimpleTesting #186: Commit bdb4abd pushed by alexcere
October 11, 2024 08:39 1m 5s split_instructions
October 11, 2024 08:39 1m 5s
#9 Recognize split instructions together with JUMPs
SimpleTesting #185: Commit 3c9266f pushed by alexcere
October 11, 2024 08:39 1m 5s split_instructions
October 11, 2024 08:39 1m 5s
October 10, 2024 21:19 46s
Group methods accordingly
SimpleTesting #183: Commit a55dd4a pushed by alexcere
October 10, 2024 09:21 48s main
October 10, 2024 09:21 48s
Handle layout generation for split sub blocks correctly and for JUMP …
SimpleTesting #182: Commit ee5cb1c pushed by alexcere
October 9, 2024 16:01 48s main
October 9, 2024 16:01 48s
Minor typo
SimpleTesting #181: Commit 0142401 pushed by alexcere
October 9, 2024 14:48 54s main
October 9, 2024 14:48 54s
Move which final stack values must be stored outside CFG block
SimpleTesting #180: Commit aae88a4 pushed by alexcere
October 9, 2024 14:47 1m 12s main
October 9, 2024 14:47 1m 12s
Missing builting args in pushimmutable and assignimmutable
SimpleTesting #179: Commit ddae4a1 pushed by alexcere
October 9, 2024 13:43 56s main
October 9, 2024 13:43 56s
Move assignments check inside _build_spec with the final stack
SimpleTesting #178: Commit b8464ae pushed by alexcere
October 9, 2024 13:30 56s main
October 9, 2024 13:30 56s
Wrong condition for filtering JSONs
SimpleTesting #177: Commit 6995eb9 pushed by alexcere
October 9, 2024 13:19 53s main
October 9, 2024 13:19 53s
considering several subobjects
SimpleTesting #176: Commit 40deed4 pushed by tutugordillo
October 9, 2024 12:41 1m 29s main
October 9, 2024 12:41 1m 29s
Merge branch 'main' of github.com:costa-group/grey into main
SimpleTesting #175: Commit 08b7f9c pushed by alexcere
October 9, 2024 11:25 1m 7s main
October 9, 2024 11:25 1m 7s
include code for considering if a push that comes from a memory guard…
SimpleTesting #174: Commit f3f9b7e pushed by tutugordillo
October 9, 2024 10:33 45s main
October 9, 2024 10:33 45s
Corner cases handled: introducing constants for bottom values or call…
SimpleTesting #173: Commit c3a51af pushed by alexcere
October 9, 2024 09:48 52s main
October 9, 2024 09:48 52s
Process bottom values when building the block spec
SimpleTesting #172: Commit b9a87ad pushed by alexcere
October 9, 2024 08:39 47s main
October 9, 2024 08:39 47s
Merge branch 'main' of github.com:costa-group/grey
SimpleTesting #171: Commit 467ff7c pushed by tutugordillo
October 9, 2024 08:30 48s 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
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
October 9, 2024 07:45 46s
ProTip! You can narrow down the results and go further in time using created:<2024-10-09 or the other filters available.