Tags · verimag / synchrone / lutin · GitLab

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

2.70.2 Release 2.70.2

4e618506 · Build: don't run opam-test before pushing; otherwise the release are not computed correctly · Aug 22, 2019

Release 2.70.2

Download source code

zip tar.gz tar.bz2 tar
2.70.1 Release 2.70.1

76174b80 · Update: camlp4 is not needed anymore · Aug 22, 2019

Release 2.70.1

Download source code

zip tar.gz tar.bz2 tar
2.70.0 Release 2.70.0

62b3fe18 · New: remove all stuff that was here for sentimental reasons (old lurette toplevel) · Aug 21, 2019

Release 2.70.0

Download source code

zip tar.gz tar.bz2 tar
2.69.1 Release 2.69.1

098a10d1 · Update: in lurette, do not use the stdio mode when -exec is provided to lv6 · Aug 02, 2019

Release 2.69.1

Download source code

zip tar.gz tar.bz2 tar
2.69.0 Release 2.69.0

7756e0a0 · New: add 3 new pre-defined Lutin operators: 'nor', '#', and n-ary xor · Jul 26, 2019

Release 2.69.0

Download source code

zip tar.gz tar.bz2 tar
2.68.4 Release 2.68.4

9714d85a · Fix: revert a change done in sha:ccb8b62b that breaks things · Jul 11, 2019

Release 2.68.4

Download source code

zip tar.gz tar.bz2 tar
2.68.3 Release 2.68.3

5fc14d2d · Fix: Merge branch '2-issue-with-free-variables-constrained-in-the-type-declaration' (closes #2 ) · Jul 03, 2019

Release 2.68.3

Download source code

zip tar.gz tar.bz2 tar
2.68.2 Release 2.68.2

b4f2666e · Fix: the ci was broken by untracking the lutin/src/version.ml file · May 22, 2019

Release 2.68.2

Download source code

zip tar.gz tar.bz2 tar
2.68.1 Release 2.68.1

16d17278 · Build: fix the version number for opam releases · May 16, 2019

Release 2.68.1

Download source code

zip tar.gz tar.bz2 tar
2.68.0 Release 2.68.0

3ebd8801 · CI: allow the failure for the test_opam_test job · Apr 30, 2019

Release 2.68.0

Download source code

zip tar.gz tar.bz2 tar
2.67.0 Release 2.67.0

fda65e93 · Docs: update the Lutin tuto · Mar 30, 2019

Release 2.67.0

Download source code

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

Prev
1
2
3
Next