search

herd / herdtools7

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

[litmus] Configuration files for armv8 qemu targets #883

Closed maranget closed 1 month ago

maranget commented 1 month ago

Handy, when no armv8 machine at hand.

maranget commented 1 month ago

Merged, thanks @relokin.