index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Age
Commit message (
Expand
)
Author
2017-07-13
Make new-tc monomorphisation actually work
Brian Campbell
2017-07-13
Couple of fixes for old-tc monomorphisation
Brian Campbell
2017-07-13
Add basic translation of monomorphisation to the new type checker
Brian Campbell
2017-07-13
Typechecker now inserts val specs into AST when it infers them
Alasdair Armstrong
2017-07-13
Modified MIPS model so it typechecks with the new typechecker
Alasdair Armstrong
2017-07-13
Improved type inference for let statements and assignments with type annotate...
Alasdair Armstrong
2017-07-12
Various small changes
Alasdair Armstrong
2017-07-12
Remove old interface file
Brian Campbell
2017-07-12
Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sa...
Alasdair Armstrong
2017-07-12
Removed inital_check_full_ast
Alasdair Armstrong
2017-07-12
Fixed parser to parse 2** nexp expressions properly
Alasdair Armstrong
2017-07-12
Add annotations to raw bitvector slices
Thomas Bauereiss
2017-07-12
Merge
Thomas Bauereiss
2017-07-12
Add checks for variable identifiers in pattern subsumption
Thomas Bauereiss
2017-07-12
Added vector range l-expressions and additional tests
Alasdair Armstrong
2017-07-11
Merge branch 'sail_new_tc' of https://bitbucket.org/Peter_Sewell/sail into sa...
Alasdair Armstrong
2017-07-11
Various typechecker improvements:
Alasdair Armstrong
2017-07-11
Fix missing vector append constraints in old type checker
Brian Campbell
2017-07-10
Bugfixes and testing new checker on the MIPS spec
Alasdair Armstrong
2017-07-10
Added tests for union constructor matching
Alasdair Armstrong
2017-07-10
Merge remote-tracking branch 'origin/word' into sail_new_tc
Alasdair Armstrong
2017-07-10
Adder pattern matching for union types
Alasdair Armstrong
2017-07-10
Further performance improvements to typechecker
Alasdair Armstrong
2017-07-10
Performance improvements to type checker
Alasdair Armstrong
2017-07-10
Reduce functions during constant propagation under reasonable circumstances
Brian Campbell
2017-07-10
Support some variable patterns in monomorphisation
Brian Campbell
2017-07-07
Warn when we can't monomorphise a constructor application
Brian Campbell
2017-07-07
Correct variable mapping when splitting constructor patterns for monomorphisa...
Brian Campbell
2017-07-07
Implement basic monomorphisation of constructors
Brian Campbell
2017-07-06
Testing new typechecker on MIPS spec
Alasdair Armstrong
2017-07-06
Tests for (almost) all sail builtins. Many interesting things discovered. Lib...
Robert Norton
2017-07-06
fix off by one in type of add_vec builtin function. There are many more dubio...
Robert Norton
2017-07-06
fix interpreter version of get_min/max_representable which similarly broken t...
Robert Norton
2017-07-06
fix interpreter lteq/gteq for range/vec.
Robert Norton
2017-07-06
fix interpreter version of != which was broken for vector/range comparisons.
Robert Norton
2017-07-06
substitute all uses of mod_big_int and div_big_int for Z.rem and Z.div which ...
Robert Norton
2017-07-06
implement abs function correctly for ocaml shallow embedding.
Robert Norton
2017-07-06
fix dodgy get_min/max_representable functions. Looks like an attempt at optim...
Robert Norton
2017-07-05
Fixed several unification bugs
Alasdair Armstrong
2017-07-05
Added split_on_char as a utility function in Util.ml, and replaced usage in s...
Alasdair Armstrong
2017-07-05
Merge remote-tracking branch 'origin/word' into sail_new_tc
Alasdair Armstrong
2017-07-05
Re-factored and cleaned up type-checker
Alasdair Armstrong
2017-07-04
Added effect system to new type checker
Alasdair Armstrong
2017-07-04
further testing of sail library.
Robert Norton
2017-07-04
Added documentation to type_check_new.mli
Alasdair Armstrong
2017-07-03
Cleanup, and add support for variable bindings in bitvector patterns
Thomas Bauereiss
2017-07-03
Added records to checker
Alasdair Armstrong
2017-06-30
Split bit patterns for monomorphisation, do equality checks
Brian Campbell
2017-06-30
Added flow types to new typechecker
Alasdair Armstrong
2017-06-30
add more tests for sail library. Can't compile entire file due to sail perfor...
Robert Norton
[prev]
[next]