sail/test/smt, branch sail2 Formal specification language for ISAs Allow overloading of subrange builtins for non-bitvectors 2020-02-24T20:43:10+00:00 Thomas Bauereiss 2020-02-24T19:34:02+00:00 65228f7ea61535fa8961dcb8ce8f030e7359c479 






Backport fixes to SMT generation from poly_mapping branch
2019-11-07T17:48:15+00:00

Alasdair Armstrong

2019-11-07T16:16:14+00:00

51811443eeb7c594b8db9bbffd387dc0fbfeffd3












Merge branch 'sail2' into separate_bv
2019-08-01T13:42:56+00:00

Alasdair Armstrong

2019-08-01T13:42:56+00:00

8f9aa39623699f5b50f7abf6dc3c124062542b7e












Fix failing SMT test
2019-07-31T14:47:20+00:00

Alasdair Armstrong

2019-07-31T14:47:20+00:00

98cced7ef3cf89333e0e09d4ebf9ca3262b4e947












Add a feature flag for barrier type change
2019-07-18T17:00:14+00:00

Alasdair Armstrong

2019-07-18T16:57:42+00:00

df325dfefda5d7ffbfd3870c2af0378cb3862e07

Fix SMT mem_builtin test case





Fix SMT mem_builtin test case







Merge remote-tracking branch 'origin/sail2' into separate_bv
2019-07-16T17:57:46+00:00

Alasdair Armstrong

2019-07-16T17:57:46+00:00

cd909e15b97739b10214023af04b2fbbb4d20cf7












SMT: Add a reverse endianness function and fix some bugs
2019-06-27T18:31:01+00:00

Alasdair Armstrong

2019-06-27T18:31:01+00:00

d9e8b93142c3d4cfd75c123800b714b0393c5a6e












SMT: Add another case to append
2019-06-25T13:16:17+00:00

Alasdair Armstrong

2019-06-25T13:16:17+00:00

e3041e8206b886e547923a1280e6267d898b9871












Fix two SMT test cases
2019-06-18T19:57:26+00:00

Thomas Bauereiss

2019-06-18T19:57:16+00:00

2aff0f546d8ee88678a722ed6d98df2617a687c6












Merge branch 'sail2' into separate_bv
2019-06-04T15:37:48+00:00

Alasdair Armstrong

2019-06-04T15:37:48+00:00

6d3a6edcd616621eb40420cfb16a34762a32c5c1