Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model - View it on GitHub