summaryrefslogtreecommitdiff
path: root/src/monomorphise.ml
AgeCommit message (Expand)Author
2017-12-19Support user-defined exceptions in Lem shallow embeddingThomas Bauereiss
2017-12-14Make sequential and mwords global variables in Lem pretty-printerThomas Bauereiss
2017-12-14Merge remote-tracking branch 'origin/experiments' into interactiveAlasdair Armstrong
2017-12-13Use big_nums from LemAlasdair Armstrong
2017-12-12Make mono analysis fail properly on effectful functionsBrian Campbell
2017-12-11Remove some duplication from monomorphisation analysis failure reportsBrian Campbell
2017-12-07Support monomorphisation with set constrained integersBrian Campbell
2017-12-06Remove filename mangling in monomorphisationBrian Campbell
2017-12-06Add top-level pattern match guards internallyBrian Campbell
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-27Replace bad generic comparisons in monoBrian Campbell
2017-11-27Case splitting on boolsBrian Campbell
2017-11-24Use unbound precision big_ints throughout sail.Alasdair Armstrong
2017-11-21Merge Thomas' suggested changesBrian Campbell
2017-11-20Tidy last upBrian Campbell
2017-11-20Constant propagation in guardsBrian Campbell
2017-11-20Basic handling of recursive calls in monomorphisation analysisBrian Campbell
2017-11-20Look up the right type variables in monomorphisation analysisBrian Campbell
2017-11-20Support new nexp in monoBrian Campbell
2017-11-16Remove unused Typ_wild constructorAlasdair Armstrong
2017-11-15Report all monomorphisation problemsBrian Campbell
2017-11-15For loops bind a type variableBrian Campbell
2017-11-15Remove untested infix monomorphisation (removed by type checker)Brian Campbell
2017-11-15Tidy up in monomorphisationBrian Campbell
2017-11-14During monomorphisation always refine constructors,Brian Campbell
2017-11-14Fix existential union typing problem in monomorphisationBrian Campbell
2017-11-14Remove some obsolete codeBrian Campbell
2017-11-14Automatic analysis for monomorphisationBrian Campbell
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 23:42:16 +0000