Skip to content

Actions: herd/herdtools7

Actions

Run BNFC dependent tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
menhir2bnfc.yml
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ASL-851] Remove various compatibility flags Run BNFC dependent tests #191: Pull request #1390 synchronize by hrutvik
August 4, 2025 12:46 8m 37s hrutvik:remove-flags
hrutvik:remove-flags
August 4, 2025 12:46 8m 37s
[ASL-804] Rename binops Run BNFC dependent tests #190: Pull request #1389 synchronize by hrutvik
August 4, 2025 12:38 7m 56s hrutvik:rename-binops
hrutvik:rename-binops
August 4, 2025 12:38 7m 56s
[ASL-851] Remove various compatibility flags Run BNFC dependent tests #189: Pull request #1390 opened by hrutvik
August 4, 2025 12:26 12m 37s hrutvik:remove-flags
hrutvik:remove-flags
August 4, 2025 12:26 12m 37s
[ASL-804] Rename binops Run BNFC dependent tests #188: Pull request #1389 opened by hrutvik
August 4, 2025 11:44 4m 14s hrutvik:rename-binops
hrutvik:rename-binops
August 4, 2025 11:44 4m 14s
[ASL-857] Fix a loop limit bug Run BNFC dependent tests #187: Pull request #1387 opened by hrutvik
August 4, 2025 10:06 8m 39s hrutvik:loop-limit-bug
hrutvik:loop-limit-bug
August 4, 2025 10:06 8m 39s
Run BNFC dependent tests Run BNFC dependent tests #186: Scheduled
August 4, 2025 03:17 8m 35s master
master
August 4, 2025 03:17 8m 35s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #185: Pull request #1377 synchronize by Roman-Manevich
July 30, 2025 18:55 8m 36s asl-813-reference-enhancements
asl-813-reference-enhancements
July 30, 2025 18:55 8m 36s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #184: Pull request #1377 synchronize by Roman-Manevich
July 30, 2025 16:48 7m 49s asl-813-reference-enhancements
asl-813-reference-enhancements
July 30, 2025 16:48 7m 49s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #183: Pull request #1377 synchronize by Roman-Manevich
July 30, 2025 11:28 7m 54s asl-813-reference-enhancements
asl-813-reference-enhancements
July 30, 2025 11:28 7m 54s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #182: Pull request #1377 synchronize by Roman-Manevich
July 30, 2025 10:45 8m 23s asl-813-reference-enhancements
asl-813-reference-enhancements
July 30, 2025 10:45 8m 23s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #181: Pull request #1377 synchronize by Roman-Manevich
July 30, 2025 10:36 7m 47s asl-813-reference-enhancements
asl-813-reference-enhancements
July 30, 2025 10:36 7m 47s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #180: Pull request #1377 synchronize by Roman-Manevich
July 30, 2025 09:44 7m 33s asl-813-reference-enhancements
asl-813-reference-enhancements
July 30, 2025 09:44 7m 33s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #179: Pull request #1377 synchronize by Roman-Manevich
July 28, 2025 09:23 8m 22s asl-813-reference-enhancements
asl-813-reference-enhancements
July 28, 2025 09:23 8m 22s
Run BNFC dependent tests Run BNFC dependent tests #178: Scheduled
July 28, 2025 03:07 9m 5s master
master
July 28, 2025 03:07 9m 5s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #177: Pull request #1377 synchronize by Roman-Manevich
July 27, 2025 14:20 8m 28s asl-813-reference-enhancements
asl-813-reference-enhancements
July 27, 2025 14:20 8m 28s
ASL Reference enhancements - phase 21 Run BNFC dependent tests #176: Pull request #1377 opened by Roman-Manevich
July 26, 2025 11:12 12m 0s asl-813-reference-enhancements
asl-813-reference-enhancements
July 26, 2025 11:12 12m 0s
Run BNFC dependent tests Run BNFC dependent tests #175: Scheduled
July 21, 2025 03:06 11m 1s master
master
July 21, 2025 03:06 11m 1s
[asl] successful main should always return 0 Run BNFC dependent tests #174: Pull request #1366 opened by Roman-Manevich
July 14, 2025 14:17 8m 3s asl-return-code-for-example
asl-return-code-for-example
July 14, 2025 14:17 8m 3s
Run BNFC dependent tests Run BNFC dependent tests #173: Scheduled
July 14, 2025 03:02 7m 35s master
master
July 14, 2025 03:02 7m 35s
[asl] Infer coarse grained side-effects for v0 functions Run BNFC dependent tests #172: Pull request #1363 synchronize by HadrienRenaud
July 12, 2025 11:03 8m 47s HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
July 12, 2025 11:03 8m 47s
[asl] Infer coarse grained side-effects for v0 functions Run BNFC dependent tests #171: Pull request #1363 synchronize by HadrienRenaud
July 11, 2025 11:25 7m 43s HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
July 11, 2025 11:25 7m 43s
[asl] Infer coarse grained side-effects for v0 functions Run BNFC dependent tests #170: Pull request #1363 synchronize by HadrienRenaud
July 11, 2025 11:08 8m 50s HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
July 11, 2025 11:08 8m 50s
[asl] Infer coarse grained side-effects for v0 functions Run BNFC dependent tests #169: Pull request #1363 opened by HadrienRenaud
July 11, 2025 08:24 8m 12s HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
HadrienRenaud:asl-special-treatment-for-v0-functions-readonly
July 11, 2025 08:24 8m 12s
[asl] fixed control flow analysis for noreturn Run BNFC dependent tests #168: Pull request #1362 synchronize by Roman-Manevich
July 10, 2025 18:17 8m 13s asl-fix-noreturn-analysis
asl-fix-noreturn-analysis
July 10, 2025 18:17 8m 13s
[asl] fixed control flow analysis for noreturn Run BNFC dependent tests #167: Pull request #1362 synchronize by Roman-Manevich
July 10, 2025 18:00 8m 24s asl-fix-noreturn-analysis
asl-fix-noreturn-analysis
July 10, 2025 18:00 8m 24s