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