summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-05-09allow empty brackets to pass unit to sub-mpatsJon French
2018-05-09add SAIL_FLAGS env var to riscv makefileJon French
2018-05-08Merge branch 'sail2' into mappingsJon French
2018-05-08fixed sub-mappingsJon French
2018-05-03support sub-mappings in string-append-patternsJon French
2018-05-03synthesise string-prefix-check functions for mappings where either side is ↵Jon French
string (kind of hacky but there you go)
2018-05-02scattered mappingsJon French
2018-05-02re-indent to_ast_defJon French
2018-05-02refactor string append pattern ast to be based on lists rather than pairsJon French
2018-05-01update for lazy evaluation of typechecker debugging after rebaseJon French
2018-05-01make merlin ignore some unused variable warningsJon French
2018-05-01add type annotation patterns to mpatsJon French
2018-05-01it worksJon French
2018-05-01inferring is also requiredJon French
2018-05-01type-checking of calls to mappings, by synthing val-specs for the realised ↵Jon French
functions early and then mimicing the overload machinery
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 ↵Jon French
original type in rewrite_defs_pat_string_append when not doing anything
2018-05-01create a single funcl with a match, rather than converting mapcls to funcls, ↵Jon French
because OCaml among others doesn't allow top-level guards
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 ↵Jon French
not...)
2018-05-01add { ~~fieldname } sugar to record patterns, expanding to { fieldname = ↵Jon French
fieldname }\n\nCan't use ~ for this to be exactly like OCaml, as is used for 'not' and explicitly allowed as an identifier
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
(Preprocessed into a real record type with a fresh id and a reference to that generated record type.)
2018-05-01cheri128: remove unnecessary xor of E with 48. The zeroing of E in memory is ↵Robert Norton
achieved by xoring with null_cap_bits so this was only affecting register representation.
2018-05-01cheri256: minor optimisation -- factor out null_cap_bits as top level let.Robert Norton
2018-05-01cheri256: switch to using absolute address (cursor) instead of offset ↵Robert Norton
(relative) representation in capability registers, making register and memory format the same and slightly simplifying code. Next step: use struct representation in registers eliminating many conversions between struct and bits?
2018-05-01remove unneeded commented out code.Robert Norton
2018-05-01Implement new CGetAddr instruction. Note that we should possibly rename ↵Robert Norton
function getCapCursor to getCapAddr.
2018-04-30Make make uninstall a bit safer...Robert Norton
2018-04-27Cheri ISA change in CTestSubset -- ignore sealed bits when testing for ↵Robert Norton
subset (aids garbage collection).
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