Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lustre-v6
Tags
Tags give the ability to mark specific points in history as being important
6.13.0
65b93560
·
Add support to be able to use iterators in node aliases.
·
May 21, 2008
6.12.2
7f96a172
·
Fix a bug: abtract constants in the provide part where exported as if
·
May 20, 2008
6.12.1
3116ac3e
·
Fix a bug: the main node could not be named main...
·
May 20, 2008
6.12.0
b3699ebc
·
Add support for the map array iterator.
·
May 20, 2008
6.11.0
464a2c32
·
Add support for the fill array iterator.
·
May 20, 2008
6.10.0
276bdfdd
·
Add support for iterators. Tests using "mapred" are now compiling ok
·
May 20, 2008
6.9.4
65476dd0
·
CompiledDataDump.const_decl was wrong for enum constants.
·
May 16, 2008
6.9.3
68afaf48
·
Do not issue an 'assert false' the user is asking (at the lus2lic
·
May 16, 2008
6.9.2
9ad13d8d
·
The lustre generation isperformed in the Lazycompiler.<item>_check_do
·
May 16, 2008
6.9.1
16344043
·
Fix a bug where, when defining a package exporting an abstract type
·
May 15, 2008
6.9.0
956514c2
·
In symbolTab.ml, change
·
May 07, 2008
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
Prev
1
2
3
4
5
Next