summaryrefslogtreecommitdiff
path: root/src/rewrites.ml
AgeCommit message (Expand)Author
2018-05-04Checked that variable names in split_fun rewrites are really variablesBrian Campbell
2018-05-04Fix missing nexp id rewritingBrian Campbell
2018-05-04Rewrite constant nexps in specsBrian Campbell
2018-05-03Flow typing and l-expression changes for ASL parserAlasdair Armstrong
2018-05-03support sub-mappings in string-append-patternsJon French
2018-05-03synthesise string-prefix-check functions for mappings where either side is st...Jon French
2018-05-02scattered mappingsJon French
2018-05-02refactor string append pattern ast to be based on lists rather than pairsJon French
2018-05-01add type annotation patterns to mpatsJon French
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-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-01more refactoring of pexp rewritersJon French
2018-05-01Type_check: factor rewrite_pexps_with_guards out of rewrite_defs_pat_litsJon French
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-18Rename BK_nat to BK_int to be consistent with source syntaxAlasdair Armstrong
2018-04-13Check all patterns inside functions with -dsanityBrian Campbell
2018-04-11Avoid unnecessary rechecking in remove numeral pats rewriteBrian Campbell
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-04-09Stop vector_typ_args_of from failing when order is a variableBrian Campbell
2018-03-22Try removing superfluous returns more aggressively for LemThomas Bauereiss
2018-03-14Fix compilation for OCaml 4.02Thomas Bauereiss
2018-03-14Fix Lem generation for CHERI-MIPS and Aarch64Thomas Bauereiss
2018-03-14Make partiality more explicit in library functions of Lem shallow embeddingThomas Bauereiss
2018-03-14Add rewriting step for moving execute clauses into auxiliary functionsThomas Bauereiss
2018-03-13Polymorphic option types now compile to CAlasdair Armstrong
2018-03-13Merge funcls for Lem output, making it suitable for testing with OCamlBrian Campbell
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-03-02Fix a bug in rewriting of loops for Lem backendThomas Bauereiss
2018-02-28Use topological sorting for OCaml backendThomas Bauereiss
2018-02-23Allow guarded patterns rewrite to merge P_var patternsBrian Campbell
2018-02-21Can now compile aarch64/no_vector into CAlasdair Armstrong
2018-02-16Avoid nested explicit type annotationsThomas Bauereiss
2018-02-13Try to replace generated kids with user-defined ones from the environmentThomas Bauereiss
2018-02-06Add aux constructor to type patterns for consistencyAlasdair Armstrong
2018-02-05Merge changes to type_check.mlAlasdair Armstrong
2018-02-05Add typ patterns for destructuring existentialsAlasdair Armstrong
2018-02-05Allow type variables to be introduced by global let bindings.Alasdair Armstrong
2018-02-02Move exp_lift_assign rewrite after fixing effects and retypecheckingBrian Campbell
2018-01-31Try to make bitvector pattern rewriting more robustThomas Bauereiss
2018-01-31Fix bug in bitvector pattern rewritingThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 00:13:14 +0000