| Age | Commit message (Expand) | Author |
|---|
| 2018-05-04 | Add support for top-level values to monomorphisation singleton rewrite | Brian Campbell |
| 2018-05-04 | Fix mono cast introduction to avoid a checking to inference change | Brian Campbell |
| 2018-05-04 | Start updating monomorphisation | Brian Campbell |
| 2018-05-04 | Rename type vars in Coq backend when they clash with identifiers | Brian Campbell |
| 2018-05-04 | Basic Coq constraints | Brian Campbell |
| 2018-05-03 | Fix a typo in sret decode and privilege checks in xret. | Prashanth Mundkur |
| 2018-05-03 | Add implementation of sfence with a fixme note. | Prashanth Mundkur |
| 2018-05-03 | Fix a bug in privilege transition, add better transition logging. | Prashanth Mundkur |
| 2018-05-03 | Implement wfi, and cleanup handling illegal operations. | Prashanth Mundkur |
| 2018-05-03 | Fix interrupt dispatch, improve execution logs, cleanup unused bits. | Prashanth Mundkur |
| 2018-05-03 | Simplify the top-level execute loop using the step function. | Prashanth Mundkur |
| 2018-05-03 | Fix up interrupt and exception dispatch. | Prashanth Mundkur |
| 2018-05-03 | Implement fetch to properly handle RVC and address translation, and add a ste... | Prashanth Mundkur |
| 2018-05-03 | Flow typing and l-expression changes for ASL parser | Alasdair Armstrong |
| 2018-05-03 | Fix duopod with latest riscv prelude | Alasdair Armstrong |
| 2018-05-03 | Add typing rule for checking tuples as well as inferring them | Alasdair Armstrong |
| 2018-05-03 | Fix interpreter messages for failing asserts | Alasdair Armstrong |
| 2018-05-03 | Hook in address translation for stores and atomics. | Prashanth Mundkur |
| 2018-05-03 | Log csr writes in the execution log. | Prashanth Mundkur |
| 2018-05-03 | support sub-mappings in string-append-patterns | Jon French |
| 2018-05-03 | synthesise string-prefix-check functions for mappings where either side is st... | Jon French |
| 2018-05-03 | Work in progress on the coq backend | Brian Campbell |
| 2018-05-02 | Hook in address translation for loads. | Prashanth Mundkur |
| 2018-05-02 | Finish up Sv39 address translation. | Prashanth Mundkur |
| 2018-05-02 | Tick cycle counter in execute loop. | Prashanth Mundkur |
| 2018-05-02 | Fix printing of csr immediates. | Prashanth Mundkur |
| 2018-05-02 | Fix typo in riscv model. | Prashanth Mundkur |
| 2018-05-02 | scattered mappings | Jon French |
| 2018-05-02 | re-indent to_ast_def | Jon French |
| 2018-05-02 | refactor string append pattern ast to be based on lists rather than pairs | Jon French |
| 2018-05-01 | update for lazy evaluation of typechecker debugging after rebase | Jon French |
| 2018-05-01 | make merlin ignore some unused variable warnings | Jon French |
| 2018-05-01 | add type annotation patterns to mpats | Jon French |
| 2018-05-01 | it works | Jon French |
| 2018-05-01 | inferring is also required | Jon French |
| 2018-05-01 | type-checking of calls to mappings, by synthing val-specs for the realised fu... | Jon French |
| 2018-05-01 | rewriting of builtin mappings e.g. int | Jon French |
| 2018-05-01 | further progress but confounds the type checker? | Jon French |
| 2018-05-01 | progress on debugging string pattern matching | Jon French |
| 2018-05-01 | oops, not every pattern is in fact string_typ, remember to pass through the o... | Jon French |
| 2018-05-01 | create a single funcl with a match, rather than converting mapcls to funcls, ... | Jon French |
| 2018-05-01 | further progress | Jon French |
| 2018-05-01 | fv funcs for bidir types | Jon French |
| 2018-05-01 | mostly added mappings to type-checker and pretty-printer | Jon French |
| 2018-05-01 | utils mapping over mpats/mpexps | Jon French |
| 2018-05-01 | conversion from parse_ast to ast | Jon French |
| 2018-05-01 | add to parser | Jon French |
| 2018-05-01 | add mpats to asts | Jon French |
| 2018-05-01 | re-indent Initial_check.to_ast_typ | Jon French |
| 2018-05-01 | starting to also do integer support | Jon French |
