[draft] updates to aarch64 cat and tests

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

220 stars 57 forks source link

[draft] updates to aarch64 cat and tests #952

Open artkhyzha opened 1 week ago

artkhyzha commented 1 week ago

This draft PR is under construction. It aims to reorganize the AArch64 cat file to simplify locally-ordered-before. It will include additional aarch64 tests.