| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-12-20 | Fix monomorpisation tests with typechecker changes | Alasdair Armstrong |
| 2018-11-30 | Parser tweaks and fixes | Alasdair Armstrong |
| 2018-08-28 | Adapt theory imports for Isabelle 2018 | Thomas Bauereiss |
| 2018-06-11 | More efficient bitfield implementation | Alasdair Armstrong |
| 2018-06-07 | Add a constant folding optimization pass | Alasdair |
| 2018-06-06 | Factor utility functions for IR into separate file and struct update optimiza... | Alasdair Armstrong |
| 2018-06-06 | Some additional fixes to C backend. Re-enable primitive optimizations. | Alasdair Armstrong |
| 2018-06-04 | Fix bug with function return types in C backend | Alasdair Armstrong |
| 2018-05-09 | add loc for arm full. | Robert Norton |
| 2018-05-09 | Add tests for Isabelle->OCaml generation for CHERI and AArch64 | Thomas Bauereiss |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |