search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
215 stars 54 forks source link

[herd] Test aarch64 asl #854

Closed maranget closed 2 months ago

maranget commented 3 months ago

One benefit is the systematic test of the AArch64 asl implementation. Extra time devoted to test actions looks bearable.