summaryrefslogtreecommitdiff
path: root/src/pretty_print_lem.ml
AgeCommit message (Expand)Author
2017-08-29Make Lem export of CHERI(-256) typecheckThomas Bauereiss
2017-08-24Begin refactoring Sail libraryThomas Bauereiss
2017-08-18Fixed a bug where sizeof re-writing fail for aliased type argumentsAlasdair Armstrong
2017-08-17Add support for register types other than bitvector to state monadThomas Bauereiss
2017-08-15Removed Typ_arg_effect - nobody used it and it isn't supported by the backends.Alasdair Armstrong
2017-08-15Improve and simplify handling of mutable local variablesThomas Bauereiss
2017-08-10Add support for early return to Lem backendThomas Bauereiss
2017-08-09Pretty-print some more type annotationsThomas Bauereiss
2017-08-08Fix Lem bindings in test casesThomas Bauereiss
2017-08-08Various fixes and improvements for the Lem pretty-printingThomas Bauereiss
2017-08-02Improve pretty-printing of register declaration and assignmentThomas Bauereiss
2017-08-01Remove some hardcoded calls to obsolete Lem library functionsThomas Bauereiss
2017-07-27Rewrite guarded patterns for Lem backendThomas Bauereiss
2017-07-27Add cons patterns to pretty-printersThomas Bauereiss
2017-07-26Improve rewriting of sizeof expressionsThomas Bauereiss
2017-07-25Add partial support for rewriting of sizeof expressionsThomas Bauereiss
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-07-21Switch to new typechecker (almost)Thomas Bauereiss
2017-07-12Add annotations to raw bitvector slicesThomas Bauereiss
2017-06-21Pretty-print bitvector expressionsThomas Bauereiss
2017-06-15Pretty-print bitvector typesThomas Bauereiss
2017-06-05Attempt to make Lem-prettyprinting of function clauses more robustThomas Bauereiss
2017-06-05Fix pretty-printing of function clauses with wildcards for LemThomas Bauereiss
2017-05-24Merge branch 'master' of bitbucket.org:Peter_Sewell/sailShaked Flur
2017-05-24added the exmem effect for AArch64 store-exclusiveShaked Flur
2017-05-24Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...Robert Norton
2017-04-18added transactional memory supportShaked Flur
2017-03-29Factor out pretty printers into separate files. Hopefully this will make sear...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 11:12:10 +0000