search

rems-project / sail-arm

Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Other
71 stars 18 forks source link

Labeling of the profile versions that the models are generated from #18

Closed jevinskie closed 11 months ago

jevinskie commented 11 months ago

For reproducibility and reference, it would be nice if the generated models were labeled with the Arm MRS profile versions they were generated from, e.g. “A-Profile 2023-12” as shown on the download page.

jevinskie commented 11 months ago

Whoopie, you already do:

These Sail files are derived from the 2023-03 version of Arm's ASL specification using the automatic ASL-to-Sail translation tool