| Age | Commit message (Expand) | Author |
|---|
| 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 | Fix another reference to BK_nat | Alastair Reid |
| 2018-04-18 | Add a test case for using enum to number function as a cast | Alasdair Armstrong |
| 2018-04-18 | Fix build on linux | Alasdair Armstrong |
| 2018-04-18 | Port to Mac: BSD sed != GNU sed | Alastair Reid |
| 2018-04-18 | Move Lem shl_int, shr_int implementations from aarch64_extras to sail lib | Brian Campbell |
| 2018-04-18 | Rename BK_nat to BK_int to be consistent with source syntax | Alasdair Armstrong |
| 2018-04-18 | Updates to latex mode for documentation | Alasdair Armstrong |
| 2018-04-18 | Merge branch 'sail2' of github.com:rems-project/sail into sail2 | Robert Norton |
| 2018-04-18 | fix bug in permissions test of ctestsubset. | Robert Norton |
| 2018-04-17 | Implement sret. | Prashanth Mundkur |
| 2018-04-17 | Hook in the delegated trap handler and remove the old one. | Prashanth Mundkur |
| 2018-04-17 | Add platform initialization for the new bits of machine state. | Prashanth Mundkur |
| 2018-04-17 | Separate out the trap handler, and make it use the delegatee privilege. | Prashanth Mundkur |
| 2018-04-17 | Define exception handler delegation. | Prashanth Mundkur |
| 2018-04-17 | Enable mono builtins test, tweak test output | Brian Campbell |
| 2018-04-17 | Fix slicing in constant propagation | Brian Campbell |
| 2018-04-17 | Move some Lem library vector operations so that we also have mword versions | Brian Campbell |
| 2018-04-16 | Implement the s-mode views of mie/mip, and their legalizers. | Prashanth Mundkur |
| 2018-04-16 | Add the satp legalizer. | Prashanth Mundkur |
| 2018-04-13 | Add <=_u to riscv prelude. | Prashanth Mundkur |
| 2018-04-13 | Add some checks of current state, and use for the xepc write legalizer. | Prashanth Mundkur |
| 2018-04-13 | Some initial legalizers for writes to S-mode CSRs. | Prashanth Mundkur |
| 2018-04-13 | Define legalizers for writes to M-mode CSRs, and hook these writes to use them. | Prashanth Mundkur |
| 2018-04-13 | Move riscv memory definitions into a separate file. | Prashanth Mundkur |
| 2018-04-13 | Fix access checks to riscv CSRs. | Prashanth Mundkur |
| 2018-04-13 | Add a few more generated file to gitignore | Brian Campbell |
| 2018-04-13 | Update aarch64 no vector monomorphisation source for current type checker | Brian Campbell |
| 2018-04-13 | Check all patterns inside functions with -dsanity | Brian Campbell |
| 2018-04-12 | Fill in some minor missing cases in monomorphisation | Brian Campbell |
| 2018-04-12 | remove cheri128 backwards compatibility hack that extended access_system_regs... | Robert Norton |
| 2018-04-12 | implement new permit_unseal used for CUnseal instead of permit_seal. | Robert Norton |
| 2018-04-12 | add a cheri_trace target for conveniently building a debug build. | Robert Norton |
| 2018-04-12 | Add implementations of CReadHwr and CWriteHwr | Robert Norton |
| 2018-04-12 | Add missing read of UserLocal register using dmtc0 4, sel 2. Write was presen... | Robert Norton |
| 2018-04-11 | Initial bits of supervisor state. | Prashanth Mundkur |
| 2018-04-11 | Add some misc informational m-mode registers that are used in a test. | Prashanth Mundkur |
| 2018-04-11 | More structured riscv trap vector handling. | Prashanth Mundkur |
| 2018-04-11 | Fix test prelude | Brian Campbell |
| 2018-04-11 | Avoid unnecessary rechecking in remove numeral pats rewrite | Brian Campbell |
| 2018-04-11 | Use more robust method of finding deps of new tyvars in mono analysis | Brian Campbell |
| 2018-04-11 | Make the atom to singleton type rewriter replace literals with guards | Brian Campbell |
| 2018-04-11 | Fix neq_range in flow.sail | Alasdair Armstrong |
| 2018-04-10 | Porting some minisail changes to sail2 branch | Alasdair Armstrong |
| 2018-04-10 | Avoid rejecting reasonable pattern matches in monomorphisation | Brian Campbell |
| 2018-04-10 | Add basic reference support to monomorphisation | Brian Campbell |
| 2018-04-09 | Update riscv to use the new system definitions, remove duplicates. | Prashanth Mundkur |
| 2018-04-09 | Add some riscv arch definitions: privilege levels, exceptions, interrupts, ex... | Prashanth Mundkur |
| 2018-04-09 | Slightly re-org defs to move related things closer together. | Prashanth Mundkur |
