summaryrefslogtreecommitdiff
path: root/src/monomorphise.ml
AgeCommit message (Expand)Author
2017-11-02Merge branch 'experiments'Thomas Bauereiss
2017-11-02Fix a few AST and parsing-related bugsThomas Bauereiss
2017-11-02Handle "undefined" type-level sizes in monomorphisationBrian Campbell
2017-11-01Support bitvector-size-parametric functions in Lem outputBrian Campbell
2017-10-25List.cons is too newBrian Campbell
2017-10-18Merge branch 'experiments' of Peter_Sewell/sail into mono-experimentsBrian Campbell
2017-10-13Handle bitvector_access in constant propagationBrian Campbell
2017-10-06Fix constant propagation on multi-argument functionsBrian Campbell
2017-10-02Make undefined constant propagation stop at ex_intBrian Campbell
2017-09-28Use (K)Bindings from ast_util rather than making new onesBrian Campbell
2017-09-28Add loops to monomorphisationBrian Campbell
2017-09-28Refine constructors during monomorphisationBrian Campbell
2017-09-26Remove obsolete existential removal codeBrian Campbell
2017-09-26Remove debugging statements included accidentallyBrian Campbell
2017-09-26Add propagation of local assignments to monomorphisationBrian Campbell
2017-09-21Change NC_fixed to NC_equal to match NC_not_equalAlasdair Armstrong
2017-09-21Simplify AST by removing LB_val_explicit and replace LB_val_implicit with jus...Alasdair Armstrong
2017-09-21Cleaning up the AST and removing redundant and/or unused nodesAlasdair Armstrong
2017-09-21Support more functions and vector construction in mono for hexapodBrian Campbell
2017-09-21Substitute into constraints to make assert work with monoBrian Campbell
2017-09-21Disable existential removal for nowBrian Campbell
2017-09-20Handle let (exists 't...[:'t:]) 't = lit in monoBrian Campbell
2017-09-20Remove obsolete nexp refinementBrian Campbell
2017-09-20Support splitting on multiple variables in monoBrian Campbell
2017-09-14Two thirds of monomorphising union types with an existentialBrian Campbell
2017-08-24Add a little cast handling to constant propagationBrian Campbell
2017-08-23TypoBrian Campbell
2017-08-23Syntax updates in monomorphisationBrian Campbell
2017-08-22Adapt first part of union monomorphisation to existential typesBrian Campbell
2017-08-15Merge remote-tracking branch 'origin/mono-experiments' into experimentsAlasdair Armstrong
2017-08-15Removed Typ_arg_effect - nobody used it and it isn't supported by the backends.Alasdair Armstrong
2017-08-14Some overloaded equality support in monomorphisationBrian Campbell
2017-08-10Experimental removal of existentialsBrian Campbell
2017-07-27P_cons in monomorphisationBrian Campbell
2017-07-27Fix up constructor handling in monomorphisationBrian Campbell
2017-07-27Mirror AST changeBrian Campbell
2017-07-24Remove monomorphisation for old type checkerBrian Campbell
2017-07-14Generalise matching a little in monomorphisationBrian Campbell
2017-07-13Couple of fixes for old-tc monomorphisationBrian Campbell
2017-07-10Reduce functions during constant propagation under reasonable circumstancesBrian Campbell
2017-07-10Support some variable patterns in monomorphisationBrian Campbell
2017-07-07Warn when we can't monomorphise a constructor applicationBrian Campbell
2017-07-07Correct variable mapping when splitting constructor patterns for monomorphisa...Brian Campbell
2017-07-07Implement basic monomorphisation of constructorsBrian Campbell
2017-06-30Split bit patterns for monomorphisation, do equality checksBrian Campbell
2017-06-29Propagate type information from reducing case expressionsBrian Campbell
2017-06-28Reduce simple enumeration cases during monomorphisationBrian Campbell
2017-06-23Get rid of bogus singleton pattern warningsBrian Campbell
2017-06-23Basic constant propagation for partial monomorphisationBrian Campbell
2017-06-22Initial partial monomorphisation workBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 15:54:21 +0000