| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-04-28 | Update test error messages, hopefully will make Jenkins happy again | Alasdair |
| 2019-08-14 | Update tests | Thomas Bauereiss |
| 2019-07-16 | Merge remote-tracking branch 'origin/sail2' into separate_bv | Alasdair Armstrong |
| 2019-06-18 | Update test cases | Thomas Bauereiss |
| 2019-06-10 | Add well-formedness check for type schemes in valspecs. | Brian Campbell |
| 2019-05-17 | Experiment with making vector and bitvector distinct types | Alasdair Armstrong |
| 2019-05-07 | Merge branch 'sail2' into smt_experiments | Alasdair Armstrong |
| 2019-03-22 | Tidy up of div and mod operators (C implementation was previously inconsisten... | Robert Norton |
| 2019-03-15 | Fix tests | Thomas Bauereiss |
| 2019-03-04 | Do not store type synonyms as functions in the environment | Alasdair Armstrong |
| 2019-02-25 | Update some test case error messages | Alasdair Armstrong |
| 2019-02-08 | Updates for asl_parser | Alasdair Armstrong |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |