Skip to content

Actions: nyu-systems/flay

Actions

test-flay

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-test.yml
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

For BMV2, try to compile the program after specializing it. test-flay #766: Pull request #144 opened by fruffy
August 8, 2024 13:37 7m 33s fruffy/compile_check
fruffy/compile_check
August 8, 2024 13:37 7m 33s
Implement a specialization to remove unused actions from tables. test-flay #765: Pull request #141 synchronize by fruffy
August 8, 2024 13:21 7m 15s fruffy/action_removal
fruffy/action_removal
August 8, 2024 13:21 7m 15s
Handle switch cases removal in the dead code elimination, not in the … test-flay #764: Commit 944e253 pushed by fruffy
August 8, 2024 13:06 7m 55s master
master
August 8, 2024 13:06 7m 55s
Handle switch cases removal in the dead code elimination, not in the stepper. test-flay #763: Pull request #143 opened by fruffy
August 8, 2024 12:45 7m 23s fruffy/switch_case
fruffy/switch_case
August 8, 2024 12:45 7m 23s
Implement a common incremental analysis platform with partial evaluat… test-flay #762: Commit 83cf582 pushed by fruffy
August 8, 2024 12:45 11m 44s master
master
August 8, 2024 12:45 11m 44s
Handle switch cases removal in the dead code elimination, not in the … test-flay #761: Commit 410eb63 pushed by fruffy
August 8, 2024 12:43 7m 28s master
master
August 8, 2024 12:43 7m 28s
Implement a common incremental analysis platform with partial evaluat… test-flay #760: Commit 83cf582 pushed by fruffy
August 8, 2024 11:46 51m 26s master
master
August 8, 2024 11:46 51m 26s
Implement a common incremental analysis platform with partial evaluation as first use case. test-flay #759: Pull request #142 synchronize by fruffy
August 8, 2024 11:23 9m 22s fruffy/generic_analysis_api
fruffy/generic_analysis_api
August 8, 2024 11:23 9m 22s
Implement a common incremental analysis platform with partial evaluation as first use case. test-flay #758: Pull request #142 synchronize by fruffy
August 6, 2024 16:01 19m 45s fruffy/generic_analysis_api
fruffy/generic_analysis_api
August 6, 2024 16:01 19m 45s
Implement a common incremental analysis platform with partial evaluation as first use case. test-flay #757: Pull request #142 synchronize by fruffy
August 6, 2024 15:56 5m 16s fruffy/generic_analysis_api
fruffy/generic_analysis_api
August 6, 2024 15:56 5m 16s
Implement a common incremental analysis platform with partial evaluation as first use case. test-flay #756: Pull request #142 opened by fruffy
August 6, 2024 11:40 39m 30s fruffy/generic_analysis_api
fruffy/generic_analysis_api
August 6, 2024 11:40 39m 30s
Implement a specialization to remove unused actions from tables. test-flay #755: Pull request #141 synchronize by fruffy
August 5, 2024 13:47 8m 43s fruffy/action_removal
fruffy/action_removal
August 5, 2024 13:47 8m 43s
Fix table semantics (#140) test-flay #754: Commit 339567c pushed by fruffy
August 5, 2024 13:46 24m 25s master
master
August 5, 2024 13:46 24m 25s
Fix table semantics test-flay #753: Pull request #140 synchronize by fruffy
August 5, 2024 12:39 7m 24s fruffy/table_fixes
fruffy/table_fixes
August 5, 2024 12:39 7m 24s
Fix table semantics test-flay #752: Pull request #140 synchronize by fruffy
August 5, 2024 12:03 7m 21s fruffy/table_fixes
fruffy/table_fixes
August 5, 2024 12:03 7m 21s
Implement a specialization to remove unused actions from tables. test-flay #751: Pull request #141 synchronize by fruffy
August 5, 2024 08:40 24m 33s fruffy/action_removal
fruffy/action_removal
August 5, 2024 08:40 24m 33s
Fix table semantics test-flay #750: Pull request #140 synchronize by fruffy
August 5, 2024 08:39 24m 57s fruffy/table_fixes
fruffy/table_fixes
August 5, 2024 08:39 24m 57s
Fix table semantics test-flay #749: Pull request #140 synchronize by fruffy
August 4, 2024 09:33 7m 57s fruffy/table_fixes
fruffy/table_fixes
August 4, 2024 09:33 7m 57s
Implement range and optional matches. (#139) test-flay #748: Commit 2c81909 pushed by RabbitWhite1
August 2, 2024 20:25 7m 19s master
master
August 2, 2024 20:25 7m 19s
Implement a specialization to remove unused actions from tables. test-flay #747: Pull request #141 opened by fruffy
August 2, 2024 11:38 9m 18s fruffy/action_removal
fruffy/action_removal
August 2, 2024 11:38 9m 18s
Fix table semantics test-flay #746: Pull request #140 synchronize by fruffy
August 2, 2024 11:37 8m 11s fruffy/table_fixes
fruffy/table_fixes
August 2, 2024 11:37 8m 11s
Fix table semantics test-flay #745: Pull request #140 synchronize by fruffy
August 2, 2024 11:35 2m 52s fruffy/table_fixes
fruffy/table_fixes
August 2, 2024 11:35 2m 52s
Fix table semantics test-flay #744: Pull request #140 synchronize by fruffy
August 2, 2024 09:43 7m 24s fruffy/table_fixes
fruffy/table_fixes
August 2, 2024 09:43 7m 24s
Fix table semantics test-flay #743: Pull request #140 opened by fruffy
August 2, 2024 08:50 9m 58s fruffy/table_fixes
fruffy/table_fixes
August 2, 2024 08:50 9m 58s
Implement range and optional matches. test-flay #742: Pull request #139 opened by fruffy
August 2, 2024 08:11 7m 46s fruffy/semantic_fixes
fruffy/semantic_fixes
August 2, 2024 08:11 7m 46s