Skip to content

Actions: herd/herdtools7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,061 workflow runs
2,061 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Asl catchup and fixes build & make test #1009: Pull request #1013 opened by Roman-Manevich
October 21, 2024 20:08 11m 4s asl-catchup-and-fixes
asl-catchup-and-fixes
October 21, 2024 20:08 11m 4s
[DRAFT] Static side effect analysis for ASL build & make test #1008: Pull request #888 synchronize by HadrienRenaud
October 21, 2024 18:36 10m 7s HadrienRenaud:asl-side-effects
HadrienRenaud:asl-side-effects
October 21, 2024 18:36 10m 7s
[DRAFT] Static side effect analysis for ASL Check format with `dune fmt` #914: Pull request #888 synchronize by HadrienRenaud
October 21, 2024 18:36 7m 1s HadrienRenaud:asl-side-effects
HadrienRenaud:asl-side-effects
October 21, 2024 18:36 7m 1s
[ASL] Rework binary operation effects on symbolic constraints Check format with `dune fmt` #913: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 14:54 7m 20s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 14:54 7m 20s
[ASL] Rework binary operation effects on symbolic constraints build & make test #1007: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 14:54 10m 8s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 14:54 10m 8s
[ASL] Rework binary operation effects on symbolic constraints build & make test #1006: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 14:46 7m 50s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 14:46 7m 50s
[ASL] Rework binary operation effects on symbolic constraints Check format with `dune fmt` #912: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 14:46 6m 12s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 14:46 6m 12s
[ASL] Rework binary operation effects on symbolic constraints Check format with `dune fmt` #911: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 13:10 6m 24s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 13:10 6m 24s
[ASL] Rework binary operation effects on symbolic constraints build & make test #1005: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 13:10 9m 50s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 13:10 9m 50s
[herd,asl] Implement basic ASL+VMSA build & make test #1004: Pull request #916 synchronize by maranget
October 21, 2024 13:01 10m 4s asl-vmsa
asl-vmsa
October 21, 2024 13:01 10m 4s
[herd,asl] Implement basic ASL+VMSA Check format with `dune fmt` #910: Pull request #916 synchronize by maranget
October 21, 2024 13:01 6m 26s asl-vmsa
asl-vmsa
October 21, 2024 13:01 6m 26s
Distinguish some overloading usages of [] in ASL Check format with `dune fmt` #909: Pull request #1002 synchronize by yuxiliu-arm
October 21, 2024 12:36 7m 1s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 21, 2024 12:36 7m 1s
Distinguish some overloading usages of [] in ASL build & make test #1003: Pull request #1002 synchronize by yuxiliu-arm
October 21, 2024 12:36 10m 10s yuxiliu-arm:liu/sq-bracket
yuxiliu-arm:liu/sq-bracket
October 21, 2024 12:36 10m 10s
[ASL] Rework binary operation effects on symbolic constraints build & make test #1002: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 11:54 9m 41s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 11:54 9m 41s
[ASL] Rework binary operation effects on symbolic constraints Check format with `dune fmt` #908: Pull request #1008 synchronize by HadrienRenaud
October 21, 2024 11:54 6m 35s HadrienRenaud:asl-fix-binops
HadrienRenaud:asl-fix-binops
October 21, 2024 11:54 6m 35s
Rework the intrinsic dependencies for SVE instructions build & make test #1001: Pull request #974 synchronize by yuxiliu-arm
October 21, 2024 08:34 9m 59s yuxiliu-arm:liu/sve-semantics-fix
yuxiliu-arm:liu/sve-semantics-fix
October 21, 2024 08:34 9m 59s
Rework the intrinsic dependencies for SVE instructions Check format with `dune fmt` #907: Pull request #974 synchronize by yuxiliu-arm
October 21, 2024 08:34 6m 44s yuxiliu-arm:liu/sve-semantics-fix
yuxiliu-arm:liu/sve-semantics-fix
October 21, 2024 08:34 6m 44s
build & make test build & make test #1000: Scheduled
October 21, 2024 02:19 9m 56s master
master
October 21, 2024 02:19 9m 56s
Check format with dune fmt Check format with `dune fmt` #906: Scheduled
October 21, 2024 02:17 6m 40s master
master
October 21, 2024 02:17 6m 40s
Check Build WWW Check Build WWW #32: Scheduled
October 20, 2024 08:18 8m 0s master
master
October 20, 2024 08:18 8m 0s
[herd] Implement system registers read from multiple previous writes Check format with `dune fmt` #905: Pull request #995 synchronize by TiberiuBucur
October 18, 2024 11:09 Action required TiberiuBucur:sysregs
TiberiuBucur:sysregs
October 18, 2024 11:09 Action required
[herd] Implement system registers read from multiple previous writes build & make test #999: Pull request #995 synchronize by TiberiuBucur
October 18, 2024 11:09 Action required TiberiuBucur:sysregs
TiberiuBucur:sysregs
October 18, 2024 11:09 Action required
[gen] I annotation on reads, reject P becoming I build & make test #998: Pull request #1012 synchronize by hugookeeffe
October 18, 2024 10:14 9m 58s hugookeeffe:ifetch_onrr
hugookeeffe:ifetch_onrr
October 18, 2024 10:14 9m 58s
[gen] I annotation on reads, reject P becoming I Check format with `dune fmt` #904: Pull request #1012 synchronize by hugookeeffe
October 18, 2024 10:14 6m 30s hugookeeffe:ifetch_onrr
hugookeeffe:ifetch_onrr
October 18, 2024 10:14 6m 30s
[gen] I annotation on reads, reject P becoming I Check format with `dune fmt` #903: Pull request #1012 opened by hugookeeffe
October 18, 2024 09:55 6m 19s hugookeeffe:ifetch_onrr
hugookeeffe:ifetch_onrr
October 18, 2024 09:55 6m 19s