Tags · verimag / synchrone / lutin · GitLab

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

2.66.1

a821a52a · Build: now use a custom bash script to build opam packages · Jan 28, 2019

Download source code

zip tar.gz tar.bz2 tar
2.66.0

5ff210d0 · remove untested examples · Jan 24, 2019

Release 2.66.0

Download source code

zip tar.gz tar.bz2 tar
1.56

443d9cd8 · Update the lus2lic plugin. · Feb 03, 2015

Download source code

zip tar.gz tar.bz2 tar
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