Skip to content

Actions: herd/herdtools7

Actions

build & make test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
make-test.yml
1,050 workflow runs
1,050 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[herd,asl] Implement basic ASL+VMSA build & make test #982: Pull request #916 synchronize by maranget
October 16, 2024 07:11 10m 3s asl-vmsa
asl-vmsa
October 16, 2024 07:11 10m 3s
[ASL] Rework binary operation effects on symbolic constraints build & make test #981: Pull request #1008 synchronize by HadrienRenaud
October 15, 2024 16:33 9m 38s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 15, 2024 16:33 9m 38s
Distinguish some overloading usages of [] in ASL build & make test #980: Pull request #1002 synchronize by yuxiliu-arm
October 15, 2024 16:28 9m 44s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 15, 2024 16:28 9m 44s
[herd,asl] Implement basic ASL+VMSA build & make test #979: Pull request #916 synchronize by maranget
October 15, 2024 15:39 9m 54s asl-vmsa
asl-vmsa
October 15, 2024 15:39 9m 54s
[ASL] Rework binary operation effects on symbolic constraints build & make test #978: Pull request #1008 opened by HadrienRenaud
October 15, 2024 13:41 10m 0s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 15, 2024 13:41 10m 0s
Distinguish some overloading usages of [] in ASL build & make test #977: Pull request #1002 synchronize by yuxiliu-arm
October 15, 2024 10:29 8m 34s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 15, 2024 10:29 8m 34s
[ASL+AArch64] Allow access to UDF under variant build & make test #976: Pull request #1001 synchronize by HadrienRenaud
October 15, 2024 08:41 9m 54s HadrienRenaud:asl-udf
HadrienRenaud:asl-udf
October 15, 2024 08:41 9m 54s
[herd,asl] Implement basic ASL+VMSA build & make test #975: Pull request #916 synchronize by maranget
October 15, 2024 08:38 10m 3s asl-vmsa
asl-vmsa
October 15, 2024 08:38 10m 3s
[ASL+AArch64] Allow access to UDF under variant build & make test #974: Pull request #1001 synchronize by HadrienRenaud
October 15, 2024 08:10 10m 35s HadrienRenaud:asl-udf
HadrienRenaud:asl-udf
October 15, 2024 08:10 10m 35s
[asl] Renamed terms for more clarity build & make test #973: Pull request #1007 synchronize by Roman-Manevich
October 14, 2024 16:51 9m 57s asl-fix-names
asl-fix-names
October 14, 2024 16:51 9m 57s
[herd,asl] Implement basic ASL+VMSA build & make test #972: Pull request #916 synchronize by maranget
October 14, 2024 16:50 8m 56s asl-vmsa
asl-vmsa
October 14, 2024 16:50 8m 56s
[asl] Renamed terms for more clarity build & make test #971: Pull request #1007 synchronize by Roman-Manevich
October 14, 2024 16:39 9m 40s asl-fix-names
asl-fix-names
October 14, 2024 16:39 9m 40s
[asl] Renamed terms for more clarity build & make test #970: Pull request #1007 opened by Roman-Manevich
October 14, 2024 16:27 9m 55s asl-fix-names
asl-fix-names
October 14, 2024 16:27 9m 55s
[herd,asl] Implement basic ASL+VMSA build & make test #969: Pull request #916 synchronize by maranget
October 14, 2024 13:57 9m 43s asl-vmsa
asl-vmsa
October 14, 2024 13:57 9m 43s
[herd] Unroll metadata build & make test #968: Pull request #1005 synchronize by maranget
October 14, 2024 13:26 10m 8s metadata-unroll
metadata-unroll
October 14, 2024 13:26 10m 8s
Distinguish some overloading usages of [] in ASL build & make test #967: Pull request #1002 synchronize by yuxiliu-arm
October 14, 2024 12:06 8m 49s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 14, 2024 12:06 8m 49s
[herd] Unroll metadata build & make test #966: Pull request #1005 opened by maranget
October 14, 2024 12:06 9m 44s metadata-unroll
metadata-unroll
October 14, 2024 12:06 9m 44s
Distinguish some overloading usages of [] in ASL build & make test #965: Pull request #1002 synchronize by yuxiliu-arm
October 14, 2024 12:05 1m 9s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 14, 2024 12:05 1m 9s
[herd] Rename toofar to cutoff build & make test #964: Pull request #1004 synchronize by maranget
October 14, 2024 11:50 9m 33s rename-toofar-to-cutoff
rename-toofar-to-cutoff
October 14, 2024 11:50 9m 33s
[herd] Check the liveness of some read-from relations build & make test #963: Pull request #997 synchronize by maranget
October 14, 2024 11:36 9m 57s herd-liveness
herd-liveness
October 14, 2024 11:36 9m 57s
[asl][reference] Restructured ASL Reference build & make test #962: Pull request #1003 synchronize by Roman-Manevich
October 14, 2024 10:55 9m 40s asl-holistic-reference
asl-holistic-reference
October 14, 2024 10:55 9m 40s
[herd] Rename toofar to cutoff build & make test #961: Pull request #1004 opened by maranget
October 14, 2024 09:28 9m 53s rename-toofar-to-cutoff
rename-toofar-to-cutoff
October 14, 2024 09:28 9m 53s
Distinguish some overloading usages of [] in ASL build & make test #960: Pull request #1002 synchronize by yuxiliu-arm
October 14, 2024 09:24 8m 7s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 14, 2024 09:24 8m 7s
[asl][reference] Restructured ASL Reference build & make test #959: Pull request #1003 synchronize by Roman-Manevich
October 14, 2024 07:06 9m 42s asl-holistic-reference
asl-holistic-reference
October 14, 2024 07:06 9m 42s
[asl][reference] Restructured ASL Reference build & make test #958: Pull request #1003 synchronize by Roman-Manevich
October 14, 2024 07:06 19s asl-holistic-reference
asl-holistic-reference
October 14, 2024 07:06 19s