Skip to content
GitLab
Explore
Sign in
Tags give the ability to mark specific points in history as being important
1.54
3d7f852f
·
Issue a 1.54 release.
·
Jan 05, 2011
1.53
ebe55c24
·
Issue a 1.53 release.
·
Nov 18, 2010
1.52
533fac24
·
Enhance ocaml support in lurette (cf
74f93d6c
)
·
Aug 18, 2010
The 1.52 release
1.51
dca6c06a
·
Issue a 1.51 release !
·
Jul 08, 2010
1.50
f8491fcc
·
Print all the oracle outputs when an oracle is violated, and compute
·
May 10, 2010
1.49
e8f21702
·
Add support to compile Lustre V6 programs.
·
Apr 08, 2010
1.48
545e775f
·
Lurette now accepts oracle that have more than one output. Only the
·
Mar 25, 2010
1.47
9a16c8b5
·
Fix a couple of bugs.
·
Mar 19, 2010
Prev
1
2
3
Next