Tags

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

2.4.2

9e9a7b65 · Test: add an oracle to the coloring algo · Jun 24, 2019

Release: 2.4.2
```
Release 2.4.2
```
2.4.1

5c3417ff · Fix: take into account in dot.ml the change in Topology done in... · Jun 24, 2019

Release: 2.4.1
```
Release 2.4.1
```
2.4.0

41200721 · Update: Call the user-provided state parser. · Jun 21, 2019

Release: 2.4.0
```
Release 2.4.0
```
2.3.0

5cc4ceab · merge 8-add-weights-to-graphs · Jun 21, 2019

Release: 2.3.0
```
Release 2.3.0
```
2.2.0

776d22ab · New: add the pid of the process in the local_env · Jun 14, 2019

Release: 2.2.0
```
Release 2.2.0
```
2.1.8

c7c9748e · Docs: fix the CI that builds the doc · May 29, 2019

Release: 2.1.8
```
Release 2.1.8
```
2.1.7

a953b2d9 · Docs: fix the CI that builds the doc · May 29, 2019

Release: 2.1.7
```
Release 2.1.7
```
2.1.6

73510241 · Docs: fix the CI that builds the doc · May 29, 2019

Release: 2.1.6
```
Release 2.1.6
```
2.1.5

808739eb · Docs: fix the CI that build the doc · May 28, 2019

Release: 2.1.5
```
Release 2.1.5
```
2.1.4

a2fcbebf · Docs: fix the CI that build the doc · May 28, 2019

Release: 2.1.4
```
Release 2.1.4
```
2.1.3

a0d56736 · Docs: fix the CI that build the doc · May 28, 2019

Release: 2.1.3
```
Release 2.1.3
```
2.1.2

4d2f2706 · Docs: fix the CI that build the doc · May 28, 2019

Release: 2.1.2
```
Release 2.1.2
```
2.1.1

6775cd03 · Docs: generate a README.org out of the README.org and track it · May 28, 2019

Release: 2.1.1
```
Release 2.1.1
```
2.1.0

0aaa2e54 · New: a test/skeleton that contains a dumb algo to get started · May 27, 2019

Release: 2.1.0
```
Release 2.1.0
```
2.0.0

c1f2498f · Build: fix the CI by installing sasa, which is necessary for using 'rdbg -lurette' · May 17, 2019

Release: 2.0.0
```
Release 2.0.0
```
1.2.0

957c3d97 · New: the sasaRun rdbg-plugin now works · Apr 30, 2019

Release: 1.2.0
```
Release 1.2.0
```
1.1.0

8b0755d6 · Test: add a test that involve rdbg with built-in demon · Apr 01, 2019

Release: 1.1.0
```
Release 1.1.0
```
1.0.5

ef99119a · Fix: CI · Mar 22, 2019

Release: 1.0.5
```
Release 1.0.5
```
1.0.4

8ccdf9a9 · Update: a little bit more work on the rdbg plugin · Mar 18, 2019

Release: 1.0.4
```
Release 1.0.4
```
1.0.3

cd7bcd23 · Update: reorganize files to be able to start the implementation of sasaRun rdbg-plugin · Mar 15, 2019

Release: 1.0.3
```
Release 1.0.3
```

Prev
1
…
3
4
5
6
7
8
Next