|
Failed to load latest commit information. |
|
README.md
|
Clarified some terms in README.md.
|
Jun 6, 2014
|
|
|
core.ml
|
Added modulo operation (%).
|
May 25, 2014
|
|
|
expr.ml
|
Refactored code.
|
May 9, 2014
|
|
|
infer.ml
|
Refactored refined type checking.
|
May 12, 2014
|
|
|
lexer.mll
|
One attempt at AST and Typed Expression trees.
|
Apr 30, 2014
|
|
|
make
|
Refactored refined type checking.
|
May 12, 2014
|
|
|
parser.mly
|
Refactored code.
|
May 9, 2014
|
|
|
printing.ml
|
Refactored refined type checking.
|
May 12, 2014
|
|
|
refined.ml
|
Added README for refined types, and additional test cases.
|
May 28, 2014
|
|
|
smt.ml
|
Use NLSat solver for non-linear integer arithmetics.
|
May 14, 2014
|
|
|
test.ml
|
Added basic refined type checking.
|
May 4, 2014
|
|
|
test_infer.ml
|
More tests for first-class functions.
|
May 18, 2014
|
|
|
test_lexer.ml
|
One attempt at AST and Typed Expression trees.
|
Apr 30, 2014
|
|
|
test_parser.ml
|
Refactored code.
|
May 9, 2014
|
|
|
test_refined.ml
|
Added README for refined types, and additional test cases.
|
May 28, 2014
|