sail/test, branch sail2 Formal specification language for ISAs Add isla builtin testing and update coq script 2021-04-23T16:05:13+00:00 Brian Campbell 2021-04-23T16:05:13+00:00 75af862bbbff6797dd4a5dfa38b4bb617b034ac4 (both off by default) 
(both off by default)
Fix some cases when monomorphising vectors containing variable-length bitvectors 2021-01-05T14:36:21+00:00 Alasdair 2021-01-05T14:36:21+00:00 1ac7d1b3ddb0cc1aeff4964559dbf92e0addf057 






Enum value feature request for Alexandre
2021-01-05T11:11:04+00:00

Alasdair

2020-12-01T03:26:33+00:00

8b2a3fa0eae0f49b78c0c5f845d3824d21f98df3












Don't allow type synonyms with the same name as existing types
2021-01-05T11:11:04+00:00

Alasdair

2020-11-23T14:18:58+00:00

c4723c747fec4557776858641b03e1eb4a0a5878












Remove bogus pattern completeness warning on singleton enums and unions
2020-11-25T22:40:29+00:00

Brian Campbell

2020-11-25T22:40:29+00:00

3c43a474e03ef94839ebef530f5a2bbd173add5b












Fix Lem output for single element enum
2020-11-25T21:46:03+00:00

Brian Campbell

2020-11-25T21:45:49+00:00

3d0064a157a711f21d23f56dc2c423b2e3b1d74a












Make mono rewrites be more careful to produce constant-sized types
2020-11-19T13:53:14+00:00

Brian Campbell

2020-11-19T13:53:14+00:00

3d526b799eeb699fab913994e0739959688e9963

While the backends will usually manage to find the constant size anyway,
this ensures that implicit arguments will be filled in with the constant
value too.  (For example, this was affecting isla execution in one corner
case because the slice_mask primitive didn't see that the size was
constant.)





While the backends will usually manage to find the constant size anyway,
this ensures that implicit arguments will be filled in with the constant
value too.  (For example, this was affecting isla execution in one corner
case because the slice_mask primitive didn't see that the size was
constant.)







Fix interpreter pattern matching bug
2020-11-01T15:01:05+00:00

Alasdair

2020-11-01T15:00:11+00:00

12edcd22c20f480ca73bcfdfb08477fb0480657d












LaTeX: Underscore-escape values in the \ifstrequal code
2020-09-28T16:29:25+00:00

Alex Richardson

2020-09-28T16:18:08+00:00

38341beb186e5ac871d0e3446e5a98a25a806667












LaTeX tests: check that the generated code builds
2020-09-28T15:53:37+00:00

Alex Richardson

2020-09-28T15:53:37+00:00

bc73f660dc1a4b119670e66def7041fd328a715a