sail/src, branch sail2Formal specification language for ISAsAdd more location information to IR2021-03-05T17:13:07+00:00Alasdair2021-03-05T16:52:35+00:00212b16bd15ea39ae3b35efdce7cef549fe4f1657
Remove accidental use of too-recent Option module2021-02-25T15:01:43+00:00Brian Campbell2021-02-25T15:01:43+00:00ace7b32fe420234575ad7564f64c76309e3a74b3
Also drop a related bit of dead code
Fill out some missing cases in free variable calculation2021-02-24T13:17:48+00:00Brian Campbell2021-02-24T13:17:18+00:00548407add6831460b3392ccaf77b45e55161bbd6
In particular, some of these affected the topological sorting.
In particular, some of these affected the topological sorting.
Make sure :step_function appears in :commands2021-02-17T17:13:02+00:00Alasdair2021-02-17T17:10:37+00:006a14c43b8aae9b8bd5c3830c24230d1ead5a11d3
Check if an unbound identifier is bound as a function identifier2021-02-17T15:19:47+00:00Alasdair2021-02-17T15:19:47+00:009bca1fc8e7f7910668149bab11664a6d2062b17f
Give a hint in the error message if this is the case
Give a hint in the error message if this is the case
Fix some cases when monomorphising vectors containing variable-length bitvectors2021-01-05T14:36:21+00:00Alasdair2021-01-05T14:36:21+00:001ac7d1b3ddb0cc1aeff4964559dbf92e0addf057
Enum value feature request for Alexandre2021-01-05T11:11:04+00:00Alasdair2020-12-01T03:26:33+00:008b2a3fa0eae0f49b78c0c5f845d3824d21f98df3
Don't allow type synonyms with the same name as existing types2021-01-05T11:11:04+00:00Alasdair2020-11-23T14:18:58+00:00c4723c747fec4557776858641b03e1eb4a0a5878
Remove bogus pattern completeness warning on singleton enums and unions2020-11-25T22:40:29+00:00Brian Campbell2020-11-25T22:40:29+00:003c43a474e03ef94839ebef530f5a2bbd173add5b