summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-05-01rewriting of builtin mappings e.g. intJon French
2018-05-01further progress but confounds the type checker?Jon French
2018-05-01progress on debugging string pattern matchingJon French
2018-05-01oops, not every pattern is in fact string_typ, remember to pass through the o...Jon French
2018-05-01create a single funcl with a match, rather than converting mapcls to funcls, ...Jon French
2018-05-01further progressJon French
2018-05-01fv funcs for bidir typesJon French
2018-05-01mostly added mappings to type-checker and pretty-printerJon French
2018-05-01utils mapping over mpats/mpexpsJon French
2018-05-01conversion from parse_ast to astJon French
2018-05-01add to parserJon French
2018-05-01add mpats to astsJon French
2018-05-01re-indent Initial_check.to_ast_typJon French
2018-05-01starting to also do integer supportJon French
2018-05-01starting to also do integer supportJon French
2018-05-01start of string pattern matching: currently only literalsJon French
2018-05-01fix refactored rewrite_pexp_with_guards (where type information is and is not...Jon French
2018-05-01add { ~~fieldname } sugar to record patterns, expanding to { fieldname = fiel...Jon French
2018-05-01more refactoring of pexp rewritersJon French
2018-05-01Type_check: factor rewrite_pexps_with_guards out of rewrite_defs_pat_litsJon French
2018-05-01tidyJon French
2018-05-01Use a naming scheme rather than random fresh ids for union anonymous recordsJon French
2018-05-01fix warningsJon French
2018-05-01Add anonymous record arms to unionsJon French
2018-05-01cheri256: switch to using absolute address (cursor) instead of offset (relati...Robert Norton
2018-05-01remove unneeded commented out code.Robert Norton
2018-05-01Implement new CGetAddr instruction. Note that we should possibly rename funct...Robert Norton
2018-04-30Make make uninstall a bit safer...Robert Norton
2018-04-27Cheri ISA change in CTestSubset -- ignore sealed bits when testing for subset...Robert Norton
2018-04-26Add riscv SV39 page-table walk.Prashanth Mundkur
2018-04-26Ensure riscv interrupt delegation does not reduce current privilege.Prashanth Mundkur
2018-04-26Fix bug introduced in alignment check.Prashanth Mundkur
2018-04-26Lem: Add Size class annotations for nested bitvector typesThomas Bauereiss
2018-04-26Initial support for faults of writes to physical addresses.Prashanth Mundkur
2018-04-26Initial support for faults of reads to physical addresses.Prashanth Mundkur
2018-04-26Fix bug in rewriting of loopsThomas Bauereiss
2018-04-26Avoid adding explicit type annotations with generated type variablesThomas Bauereiss
2018-04-26Make effect propagation in rewriter more efficientThomas Bauereiss
2018-04-26Lazily evaluate debugging messagesThomas Bauereiss
2018-04-26Add a new SHARE_DIR argument to use when doing opam build. For non-opam build...Robert Norton
2018-04-26Make ocamlbuild assume lem is in path instead of relative to current directory.Robert Norton
2018-04-26Fix apply_header target with location of LICENSE file.Robert Norton
2018-04-26Opam packaging: add install and uninstall targets and code to find various fi...Robert Norton
2018-04-26Remove obsolete mips/cheri rules from sail makefile. These are now built in t...Robert Norton
2018-04-25Simplify subtyping checkAlasdair Armstrong
2018-04-25Start working on documentationAlasdair Armstrong
2018-04-24Add some explanations to free monad documentationThomas Bauereiss
2018-04-23Make riscv build depend on Makefile updates.Prashanth Mundkur
2018-04-23Add riscv PTE definitions and access control checks.Prashanth Mundkur
2018-04-23Merge branch 'rmn30_latex' into sail2Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:06:53 +0000