sail/aarch64/README, branch sail2 Formal specification language for ISAs Update 8.3 readme to point to 8.5 sail-arm 2020-07-31T12:38:10+00:00 Alasdair Armstrong 2020-07-31T12:38:10+00:00 8f64b7b5aaa411d2866b78e6e9b0cf504d2043ec 






Add aarch64 duopod...
2018-02-02T15:29:09+00:00

Alasdair Armstrong

2018-02-02T15:27:34+00:00

71c6a05584846e1e25c43968a145acf4a2248ac4

... all 4500 lines of it.

Need to figure out how to cut out some details to make more minimal.





... all 4500 lines of it.

Need to figure out how to cut out some details to make more minimal.







Add generated ARM spec and test cases for it
2018-01-17T16:17:19+00:00

Alasdair Armstrong

2018-01-17T16:17:19+00:00

254b72f60388271058c6d259d5a98424e94cafc7

We add the generated ARM no_vector spec from the public v8.3 XML
release, mostly so that we can add end-to-end test cases for sail
using it. This kind of large example is very useful for thoroughly
testing the sail compiler and interpreter.





We add the generated ARM no_vector spec from the public v8.3 XML
release, mostly so that we can add end-to-end test cases for sail
using it. This kind of large example is very useful for thoroughly
testing the sail compiler and interpreter.