Tags

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

4.2.4

d321190c · Build: split the sasa opma package to separate it fron rdbgui4sasa (and remove... · Jul 10, 2020

Release: 4.2.4
```
Release 4.2.4
```
4.2.3

4ab54d0d · Doc: a few enhancements · Jun 23, 2020

Release: 4.2.3
```
Release 4.2.3
```
4.2.2

ac3a428f · CI: · Jun 09, 2020

Release: 4.2.2
```
Release 4.2.2
```
4.2.1

67b6aafc · Test: add a missing r script used in the simca programs set · May 12, 2020

Release: 4.2.1
```
Release 4.2.1
```
4.2.0

9b4b1c2d · Fix: use a more recent npm node (to fix the release CI job) · May 11, 2020

Release: 4.2.0
```
Release 4.2.0
```
4.1.2

070ec494 · Test: Add 2 new randomized graph coloring examples · Apr 27, 2020

Release: 4.1.2
```
Release 4.1.2
```
4.1.1

2123df05 · Test: give a name to the local state in test/unison · Apr 10, 2020

Release: 4.1.1
```
Release 4.1.1
```
4.1.0

1c3519c1 · CI: (opam) install labltgk3 to be able to compile rdbgui4sasa · Apr 06, 2020

Release: 4.1.0
```
Release 4.1.0
```
opam-release

1c3519c1 · CI: (opam) install labltgk3 to be able to compile rdbgui4sasa · Apr 06, 2020
4.0.4

632168ba · fix: a typo in the opam file · Mar 14, 2020

Release: 4.0.4
```
Release 4.0.4
```
4.0.3

be182fc4 · Chore: fix the opam file · Mar 13, 2020

Release: 4.0.3
```
Release 4.0.3
```
4.0.2

3b793a07 · CI: fix the ci · Mar 13, 2020

Release: 4.0.2
```
Release 4.0.2
```
4.0.1

a25d9865 · CI: fix the ci · Mar 13, 2020

Release: 4.0.1
```
Release 4.0.1
```
4.0.0

91d9abf2 · CI: use the test repo for running tests · Mar 13, 2020

Release: 4.0.0
```
Release 4.0.0
```
3.0.2

acd19d0b · Fix: the --replay option, which was not working correctly · Feb 27, 2020

Release: 3.0.2
```
Release 3.0.2
```
3.0.1

1d39de06 · Fix: the Algo.spid function was wrong · Feb 26, 2020

Release: 3.0.1
```
Release 3.0.1
```
3.0.0

9326d028 · Breaking: actions should now be the same for all algorithms. · Feb 19, 2020

Release: 3.0.0
```
Release 3.0.0
```
2.15.2

84a18208 · Fix: when actions contain characters that cannot be used as ident, remove them. · Feb 14, 2020

Release: 2.15.2
```
Release 2.15.2
```
2.15.1

f665f01b · Chore: rework the gg and gg-deco help messages · Feb 09, 2020

Release: 2.15.1
```
Release 2.15.1
```
2.15.0

b1bf334f · Chore: re-phrase the help messages · Feb 07, 2020

Release: 2.15.0
```
Release 2.15.0
```

Prev
1
2
3
4
5
6
7
8
Next