Skip to content

Actions: herd/herdtools7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,091 workflow runs
3,091 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[cat] Ensure that ETS3 includes ordering rules that apply for ETS2 build & make test #1667: Pull request #1153 synchronize by relokin
January 31, 2025 21:59 7m 34s relokin:ets-fix
relokin:ets-fix
January 31, 2025 21:59 7m 34s
[asl][menhir2bnfc] A tool to convert the menhir grammar specification into a bnf/bnfc equivallent build & make test #1666: Pull request #1124 synchronize by IGGeorgiev
January 31, 2025 20:54 7m 34s IGGeorgiev:feature/bnf
IGGeorgiev:feature/bnf
January 31, 2025 20:54 7m 34s
[asl][menhir2bnfc] A tool to convert the menhir grammar specification into a bnf/bnfc equivallent build & make test #1665: Pull request #1124 synchronize by IGGeorgiev
January 31, 2025 20:44 7m 28s IGGeorgiev:feature/bnf
IGGeorgiev:feature/bnf
January 31, 2025 20:44 7m 28s
Accessibility enhancements to the ASL Reference Build ASL reference #49: Pull request #1154 opened by Roman-Manevich
January 31, 2025 19:06 9m 18s asl-716-accessibility-enhancements
asl-716-accessibility-enhancements
January 31, 2025 19:06 9m 18s
Accessibility enhancements to the ASL Reference build & make test #1664: Pull request #1154 opened by Roman-Manevich
January 31, 2025 19:06 8m 10s asl-716-accessibility-enhancements
asl-716-accessibility-enhancements
January 31, 2025 19:06 8m 10s
[cat] Ensure that ETS3 includes ordering rules that apply for ETS2 build & make test #1663: Pull request #1153 opened by relokin
January 31, 2025 17:44 4m 27s relokin:ets-fix
relokin:ets-fix
January 31, 2025 17:44 4m 27s
[herd] Add Scalar.is_zero function build & make test #1662: Pull request #1152 synchronize by HadrienRenaud
January 31, 2025 15:58 8m 5s HadrienRenaud:identity-absorbing
HadrienRenaud:identity-absorbing
January 31, 2025 15:58 8m 5s
[herd] Add Scalar.is_zero function build & make test #1661: Pull request #1152 synchronize by HadrienRenaud
January 31, 2025 15:44 7m 30s HadrienRenaud:identity-absorbing
HadrienRenaud:identity-absorbing
January 31, 2025 15:44 7m 30s
[ci] Add action to run litmus-aarch64-test build & make test #1660: Pull request #1137 synchronize by relokin
January 31, 2025 15:08 7m 27s relokin:litmus-action
relokin:litmus-action
January 31, 2025 15:08 7m 27s
[herd] Add Scalar.is_zero function build & make test #1659: Pull request #1152 synchronize by HadrienRenaud
January 31, 2025 14:41 5m 2s HadrienRenaud:identity-absorbing
HadrienRenaud:identity-absorbing
January 31, 2025 14:41 5m 2s
[herd,asl] Implement basic ASL+VMSA build & make test #1658: Pull request #916 synchronize by maranget
January 31, 2025 14:29 7m 35s asl-vmsa
asl-vmsa
January 31, 2025 14:29 7m 35s
[herd7,aarch64] A failed CAS may write back build & make test #1657: Pull request #1095 synchronize by artkhyzha
January 31, 2025 14:26 8m 44s artkhyzha:failed-cas-with-writeback
artkhyzha:failed-cas-with-writeback
January 31, 2025 14:26 8m 44s
[herd] Add Scalar.is_zero function build & make test #1656: Pull request #1152 opened by HadrienRenaud
January 31, 2025 13:59 5m 7s HadrienRenaud:identity-absorbing
HadrienRenaud:identity-absorbing
January 31, 2025 13:59 5m 7s
[herd,aarch64] Force integer encoding of booleans in NZCV computation build & make test #1655: Pull request #1151 synchronize by maranget
January 31, 2025 12:25 8m 19s force-bool-as-int-nzcv
force-bool-as-int-nzcv
January 31, 2025 12:25 8m 19s
[asl] Fix TypingRule.CheckCommonBitfieldsAlign build & make test #1654: Pull request #1147 synchronize by Roman-Manevich
January 30, 2025 20:34 7m 11s asl-fix-bitfields-alignment-check
asl-fix-bitfields-alignment-check
January 30, 2025 20:34 7m 11s
[asl] Fix TypingRule.CheckCommonBitfieldsAlign Build ASL reference #48: Pull request #1147 synchronize by Roman-Manevich
January 30, 2025 20:34 8m 25s asl-fix-bitfields-alignment-check
asl-fix-bitfields-alignment-check
January 30, 2025 20:34 8m 25s
[herd,aarch64] Force integer encoding of booleans in NZCV computation build & make test #1653: Pull request #1151 synchronize by maranget
January 30, 2025 17:44 7m 28s force-bool-as-int-nzcv
force-bool-as-int-nzcv
January 30, 2025 17:44 7m 28s
[herd,aarch64] Force integer encoding of booleans in NZCV computation build & make test #1652: Pull request #1151 opened by maranget
January 30, 2025 17:02 3m 47s force-bool-as-int-nzcv
force-bool-as-int-nzcv
January 30, 2025 17:02 3m 47s
[herd7,aarch64] A failed CAS may write back build & make test #1651: Pull request #1095 synchronize by artkhyzha
January 30, 2025 15:42 9m 30s artkhyzha:failed-cas-with-writeback
artkhyzha:failed-cas-with-writeback
January 30, 2025 15:42 9m 30s
[asl][menhir2bnfc] A tool to convert the menhir grammar specification into a bnf/bnfc equivallent build & make test #1650: Pull request #1124 synchronize by IGGeorgiev
January 30, 2025 15:05 8m 55s IGGeorgiev:feature/bnf
IGGeorgiev:feature/bnf
January 30, 2025 15:05 8m 55s
[asl] Fix TypingRule.CheckCommonBitfieldsAlign build & make test #1649: Pull request #1147 synchronize by Roman-Manevich
January 30, 2025 13:09 7m 54s asl-fix-bitfields-alignment-check
asl-fix-bitfields-alignment-check
January 30, 2025 13:09 7m 54s
[asl] Fix TypingRule.CheckCommonBitfieldsAlign Build ASL reference #47: Pull request #1147 synchronize by Roman-Manevich
January 30, 2025 13:09 10m 36s asl-fix-bitfields-alignment-check
asl-fix-bitfields-alignment-check
January 30, 2025 13:09 10m 36s
[asl] Fix TypingRule.CheckCommonBitfieldsAlign build & make test #1648: Pull request #1147 synchronize by Roman-Manevich
January 30, 2025 13:05 4m 24s asl-fix-bitfields-alignment-check
asl-fix-bitfields-alignment-check
January 30, 2025 13:05 4m 24s
[asl] Fix TypingRule.CheckCommonBitfieldsAlign Build ASL reference #46: Pull request #1147 synchronize by Roman-Manevich
January 30, 2025 13:05 4m 24s asl-fix-bitfields-alignment-check
asl-fix-bitfields-alignment-check
January 30, 2025 13:05 4m 24s
[asl] Re-implement approximations of constraints build & make test #1647: Pull request #1150 opened by HadrienRenaud
January 30, 2025 11:49 7m 14s HadrienRenaud:asl-fix-iterators
HadrienRenaud:asl-fix-iterators
January 30, 2025 11:49 7m 14s