Tags · verimag / synchrone / lutin · GitLab

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

1.53

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

Download source code

zip tar.gz tar.bz2 tar
1.52

533fac24 · Enhance ocaml support in lurette (cf 74f93d6c ) · Aug 18, 2010
```
The 1.52 release
```
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

Prev
1
2
3
Next