sail/test/aarch64_small, branch sail2 Formal specification language for ISAs tests: Move copy-pasted code into a shared helper .sh 2020-09-25T11:30:09+00:00 Alex Richardson 2020-09-25T09:12:56+00:00 782d3860eb0134c81d4a4204b7caab72cda3bd1d Also fix a few shellcheck warnings related to printf while doing so. 
Also fix a few shellcheck warnings related to printf while doing so.
Fix aarch64_small test 2019-06-06T17:20:33+00:00 Alasdair Armstrong 2019-06-06T17:20:11+00:00 ee830e823cbcf773fa6ac0d0606d7b4eff38ac4e 






Make sure aarch64_small can generate Jib for SMT
2019-06-04T16:36:22+00:00

Alasdair Armstrong

2019-06-04T16:36:22+00:00

37c5fb51e9986917a791de73435e182549e21fca

Add a test case for this





Add a test case for this







Just build lem in aarch64_small test
2019-05-28T16:35:46+00:00

Alasdair Armstrong

2019-05-28T16:35:46+00:00

956d4ce8151fe45a09fac1bd664167dbb8dace63












Fix aarch64_small test XML for jenkins
2019-03-04T20:14:39+00:00

Alasdair Armstrong

2019-03-04T20:14:39+00:00

15872b4c48d932a920ea6d22b69889ff32f6a446

Rename rewrite_split_fun_constr_pats to rewrite_split_fun_ctor_pats as
constr is commonly used as an abbreviation for constraint rather than
constructor, and add a more descriptive comment.





Rename rewrite_split_fun_constr_pats to rewrite_split_fun_ctor_pats as
constr is commonly used as an abbreviation for constraint rather than
constructor, and add a more descriptive comment.







Add test for building handwritten ARM to lem for Jenkins
2019-03-04T19:11:16+00:00

Alasdair Armstrong

2019-03-04T19:11:16+00:00

1873768b54b1b88a19c622adc255e0e1f9ba36d0