summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2017-07-18Added pretty-printing support for real literalsAlasdair Armstrong
2017-07-18Added real number literals to sail, to better support full ASL translationAlasdair Armstrong
2017-07-17Added pattern guards to sailAlasdair Armstrong
2017-07-17Fix some corner casesThomas Bauereiss
2017-07-15Add version of rewriter for new typecheckerThomas Bauereiss
2017-07-14Extend literal matching in monomorphisationBrian Campbell
2017-07-14Generalise matching a little in monomorphisationBrian Campbell
2017-07-13Avoid recent OCaml library functionBrian Campbell
2017-07-13Added some code to check if function return types in function clauses and val...Alasdair Armstrong
2017-07-13Monomorphisation size limitsBrian Campbell
2017-07-13Monomorphisation now splits vectorsBrian Campbell
2017-07-13Make new-tc monomorphisation actually workBrian Campbell
2017-07-13Couple of fixes for old-tc monomorphisationBrian Campbell
2017-07-13Add basic translation of monomorphisation to the new type checkerBrian Campbell
2017-07-13Typechecker now inserts val specs into AST when it infers themAlasdair Armstrong
2017-07-13Modified MIPS model so it typechecks with the new typecheckerAlasdair Armstrong
2017-07-13Improved type inference for let statements and assignments with type annotate...Alasdair Armstrong
2017-07-12Various small changesAlasdair Armstrong
2017-07-12Remove old interface fileBrian Campbell
2017-07-12Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sa...Alasdair Armstrong
2017-07-12Removed inital_check_full_astAlasdair Armstrong
2017-07-12Fixed parser to parse 2** nexp expressions properlyAlasdair Armstrong
2017-07-12Add annotations to raw bitvector slicesThomas Bauereiss
2017-07-12MergeThomas Bauereiss
2017-07-12Add checks for variable identifiers in pattern subsumptionThomas Bauereiss
2017-07-12Added vector range l-expressions and additional testsAlasdair Armstrong
2017-07-11Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sa...Alasdair Armstrong
2017-07-11Various typechecker improvements:Alasdair Armstrong
2017-07-11Fix missing vector append constraints in old type checkerBrian Campbell
2017-07-10Bugfixes and testing new checker on the MIPS specAlasdair Armstrong
2017-07-10Added tests for union constructor matchingAlasdair Armstrong
2017-07-10Merge remote-tracking branch 'origin/word' into sail_new_tcAlasdair Armstrong
2017-07-10Adder pattern matching for union typesAlasdair Armstrong
2017-07-10Further performance improvements to typecheckerAlasdair Armstrong
2017-07-10Performance improvements to type checkerAlasdair Armstrong
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-07-06Testing new typechecker on MIPS specAlasdair Armstrong
2017-07-06Tests for (almost) all sail builtins. Many interesting things discovered. Lib...Robert Norton
2017-07-06fix off by one in type of add_vec builtin function. There are many more dubio...Robert Norton
2017-07-06fix interpreter version of get_min/max_representable which similarly broken t...Robert Norton
2017-07-06fix interpreter lteq/gteq for range/vec.Robert Norton
2017-07-06fix interpreter version of != which was broken for vector/range comparisons.Robert Norton
2017-07-06substitute all uses of mod_big_int and div_big_int for Z.rem and Z.div which ...Robert Norton
2017-07-06implement abs function correctly for ocaml shallow embedding.Robert Norton
2017-07-06fix dodgy get_min/max_representable functions. Looks like an attempt at optim...Robert Norton
2017-07-05Fixed several unification bugsAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-16 15:59:55 +0000