[aarch64,asl] Adapt to the ASL bundle as of June 2024

herd / herdtools7

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

Other

220 stars 57 forks source link

Open maranget opened 1 week ago

maranget commented 1 week ago

The Makefile in herd/libdir/asl-pseudocode is simplified as we need not download bundles others than AArch64.

Unfortunately, the conventional file names of instruction code has changed...

maranget commented 1 day ago

Hi @HadrienRenaud. Just converted to draft. Perhaps we should delay merge until our question on bundle URL is answered?

HadrienRenaud commented 1 day ago

Fine by me.