Tags · verimag / synchrone / lutin · GitLab

Tags give the ability to mark specific points in history as being important

1.55

6e017db3 · Update the lus2lic plugin + more Makefile fixes. · Sep 11, 2014

Download source code

zip tar.gz tar.bz2 tar
1.54

3d7f852f · Issue a 1.54 release. · Jan 05, 2011

Download source code

zip tar.gz tar.bz2 tar
1.53

ebe55c24 · Issue a 1.53 release. · Nov 18, 2010

Download source code

zip tar.gz tar.bz2 tar
1.52 The 1.52 release

533fac24 · Enhance ocaml support in lurette (cf 74f93d6c ) · Aug 18, 2010

Download source code

zip tar.gz tar.bz2 tar
1.51

dca6c06a · Issue a 1.51 release ! · Jul 08, 2010

Download source code

zip tar.gz tar.bz2 tar
1.50

f8491fcc · Print all the oracle outputs when an oracle is violated, and compute · May 10, 2010

Download source code

zip tar.gz tar.bz2 tar
1.49

e8f21702 · Add support to compile Lustre V6 programs. · Apr 08, 2010

Download source code

zip tar.gz tar.bz2 tar
1.48

545e775f · Lurette now accepts oracle that have more than one output. Only the · Mar 25, 2010

Download source code

zip tar.gz tar.bz2 tar
1.47

9a16c8b5 · Fix a couple of bugs. · Mar 19, 2010

Download source code

zip tar.gz tar.bz2 tar