Tags · POTTIER Francois / fix · GitLab

Mentions légales du service

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

20230505

acdb6e13 · Update CHANGES with the release date. · May 05, 2023
```
Release 20230505.
```
Download source code

zip tar.gz tar.bz2 tar
20220121

a288f05d · CHANGES. · Jan 21, 2022
```
Release 20220121.
```
Download source code

zip tar.gz tar.bz2 tar
20211231

c886d65e · Shorten the duration of the test in demos/brz/TestGen.ml. · Dec 31, 2021
```
Release 20211231.
```
Download source code

zip tar.gz tar.bz2 tar
20211125

2a26e3db · README. · Nov 25, 2021
```
Release 20211125.
```
Download source code

zip tar.gz tar.bz2 tar
20201120

17c5c3de · DataFlow: change the bag of pending nodes from LIFO to FIFO. This is about 15x... · Nov 21, 2020
```
Release 20201120.
```
Download source code

zip tar.gz tar.bz2 tar
20200131

fe749bda · Rename the internal module [Graph] to [CoreDependencyGraph]. · Jan 31, 2020
```
Release 20200131.
```
Download source code

zip tar.gz tar.bz2 tar
20181206

6962ad5e · A second attempt at fixing the opam package. · Dec 06, 2018
```
Release 20181206.
```
Download source code

zip tar.gz tar.bz2 tar