| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-04-04 | AArch64: Update write_mem_val to write_mem | Alasdair |
| 2018-07-09 | Simplify treating of undefined_bool in Lem library | Thomas Bauereiss |
| 2018-06-25 | Support bitlist representation in Sail2_string | Thomas Bauereiss |
| 2018-05-18 | Clean up aarch64_extras.lem | Thomas Bauereiss |
| 2018-05-09 | Add more annotations for loop bounds in Lem rewriting | Thomas Bauereiss |
| 2018-04-18 | Add some lemmas about bitvectors | Thomas Bauereiss |
| 2018-04-18 | Move a few printing functions to sail_values.lem | Thomas Bauereiss |
| 2018-04-18 | Move Lem shl_int, shr_int implementations from aarch64_extras to sail lib | Brian Campbell |
| 2018-03-14 | Fix Lem generation for CHERI-MIPS and Aarch64 | Thomas Bauereiss |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |