Tags · verimag / synchrone / lutin · GitLab

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

2.70.7

ced75b3b · Fix: remove a useless module open (List) that breaks the build/ocaml4.07.0 · Sep 04, 2019

Release: 2.70.7
```
Release 2.70.7
```
2.70.6

3218622f · Build: make a smaller tgz for opam · Sep 03, 2019

Release: 2.70.6
```
Release 2.70.6
```
2.70.5

abd625df · Update: use dune instead of oasis · Sep 03, 2019

Release: 2.70.5
```
Release 2.70.5
```
2.70.4

e7f01a6d · Build: fix a rule in the opam file (the remove script is in etc/lutin, not etc/Lutin) · Aug 22, 2019

Release: 2.70.4
```
Release 2.70.4
```
2.70.3

bbf942ca · Test: remove the tests in the lurette_old directory · Aug 22, 2019

Release: 2.70.3
```
Release 2.70.3
```
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
```
Release 2.70.2
```
2.70.1

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

Release: 2.70.1
```
Release 2.70.1
```
2.70.0

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

Release: 2.70.0
```
Release 2.70.0
```
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
```
Release 2.69.1
```
2.69.0

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

Release: 2.69.0
```
Release 2.69.0
```
2.68.4

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

Release: 2.68.4
```
Release 2.68.4
```
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
```
Release 2.68.3
```
2.68.2

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

Release: 2.68.2
```
Release 2.68.2
```
2.68.1

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

Release: 2.68.1
```
Release 2.68.1
```
2.68.0

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

Release: 2.68.0
```
Release 2.68.0
```
2.67.0

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

Release: 2.67.0
```
Release 2.67.0
```
2.66.1

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

5ff210d0 · remove untested examples · Jan 24, 2019

Release: 2.66.0
1.56

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

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

Prev
1
2
3
Next