summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2017-07-06Testing new typechecker on MIPS specAlasdair Armstrong
2017-07-05Fixed several unification bugsAlasdair Armstrong
2017-07-05Added split_on_char as a utility function in Util.ml, and replaced usage in s...Alasdair Armstrong
2017-07-05Merge remote-tracking branch 'origin/word' into sail_new_tcAlasdair Armstrong
2017-07-05Re-factored and cleaned up type-checkerAlasdair Armstrong
2017-07-04Added effect system to new type checkerAlasdair Armstrong
2017-07-04Added documentation to type_check_new.mliAlasdair Armstrong
2017-07-03Cleanup, and add support for variable bindings in bitvector patternsThomas Bauereiss
2017-07-03Added records to checkerAlasdair Armstrong
2017-06-30Split bit patterns for monomorphisation, do equality checksBrian Campbell
2017-06-30Added flow types to new typecheckerAlasdair Armstrong
2017-06-29Rewrite bitvector patternsThomas Bauereiss
2017-06-29Added a large test case to the test-suiteAlasdair Armstrong
2017-06-29Created prelude.sail for initial typing environmentAlasdair Armstrong
2017-06-29Propagate type information from reducing case expressionsBrian Campbell
2017-06-29Ocamlbuild targets should always be remadeBrian Campbell
2017-06-29Added support for set constraintsAlasdair Armstrong
2017-06-29Various improvements to typecheckerAlasdair Armstrong
2017-06-28User defined overloaded operatorsAlasdair Armstrong
2017-06-28Improvements to implicit type castingAlasdair Armstrong
2017-06-28Reduce simple enumeration cases during monomorphisationBrian Campbell
2017-06-28Use more plausible type for E_caseBrian Campbell
2017-06-27More features in bi-directional typecheckerAlasdair Armstrong
2017-06-26Added register fields for l-values expressions, and enumerationsAlasdair Armstrong
2017-06-24Added implicit castingAlasdair Armstrong
2017-06-23Added support for overloaded operatorsAlasdair Armstrong
2017-06-23Support for more sail constructsAlasdair Armstrong
2017-06-23Get rid of bogus singleton pattern warningsBrian Campbell
2017-06-23Add option for monomorphisation splittingBrian Campbell
2017-06-23Basic constant propagation for partial monomorphisationBrian Campbell
2017-06-22Added basic if statements without flow constraintsAlasdair Armstrong
2017-06-22Added vector subrange support, and testsAlasdair Armstrong
2017-06-22Added support for vector append and indexingAlasdair Armstrong
2017-06-22Can now typecheck register declarations and assignmentsAlasdair Armstrong
2017-06-22Added support for bitvectorsAlasdair Armstrong
2017-06-22Initial partial monomorphisation workBrian Campbell
2017-06-21MergeThomas Bauereiss
2017-06-21Pretty-print bitvector expressionsThomas Bauereiss
2017-06-19Fix Show on Lem bitvectorBrian Campbell
2017-06-16Some small changes to bi-directional checkerAlasdair Armstrong
2017-06-16Some Isabelle fixes for word version of sail_valuesBrian Campbell
2017-06-15Pretty-print bitvector typesThomas Bauereiss
2017-06-15Added support for default order declarations.Alasdair Armstrong
2017-06-15Prototype Bi-directional type checking algorithm for sailAlasdair Armstrong
2017-06-15Replace sail_values.lem with Brian's machine word versionThomas Bauereiss
2017-06-14Add a work-in-progress version of sail_values.lemBrian Campbell
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-06-02Add tag memory to Lem shallow embeddingThomas Bauereiss
2017-05-28fixed exmemShaked Flur
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 21:04:11 +0000