Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
6.8.0
b6db7c6b
·
Add a --compile-all-items option, and use it in the non-regression
·
Apr 02, 2008
6.7.1
80fe118d
·
Check that assert expressions are Booleans (which detect a type error
·
Apr 02, 2008
6.7.0
2b30a91d
·
Add stuff to output the lic file.
·
Apr 02, 2008
6.6.0
10fb4a48
·
Plug the type checking of equations. It seems to work, apart from iterators
·
Mar 28, 2008
6.5.0
de5d11d6
·
Translate assertions.
·
Mar 14, 2008
6.4.0
52c3e012
·
a small change that fix an error in the non-reg tests: constant
·
Mar 14, 2008
6.3.1
50c71fe6
·
Add code to compute effective equations (eq_eff).
·
Mar 14, 2008
6.3.0
7f628ceb
·
Simplify significantly the node representation. The rational for this
·
Mar 11, 2008
6.2.0
49ff639a
·
Remove support for using predefined operator as nodes.
·
Mar 06, 2008
6.1.4
ac8cab28
·
Now node aliases are compiled (e.g., « min_4=min_n<<4>>;; »).
·
Feb 20, 2008
6.1.3
84b93e34
·
Add tests for LazyCompiler.check_node.
·
Feb 12, 2008
6.1.2
ee762ccd
·
src/lexer.mll:
·
Jan 30, 2008
6.1.1
36f22c50
·
src/main.ml:
·
Jan 30, 2008
6.1.0
d0b9462e
·
Implement the SyntaxTab.dump fonction.
·
Jan 28, 2008
6.0.1
059a35af
·
Remplace "raise Internal_error" by "assert false".
·
Nov 15, 2007
6.0.0
a7ae363a
·
initial commit
·
Oct 19, 2007
Prev
1
2
3
4
5
Next