Tags

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

2.9.0

a0ab40d3 · New: Compute the graph degree, diameter, etc. (closes #3 ) · Jul 04, 2019

Release: 2.9.0
```
Release 2.9.0
```
2.8.0

ee296a00 · New: implement a locally central demon · Jul 03, 2019

Release: 2.8.0
```
Release 2.8.0
```
2.7.1

f13eed20 · Fix: CI · Jul 03, 2019

Release: 2.7.1
```
Release 2.7.1
```
2.7.0

741b1fbf · New: Add a get_graph_attributes function to the sasa API (closes #12 ) · Jul 03, 2019

Release: 2.7.0
```
Release 2.7.0
```
2.6.0

0c654451 · New: Add a --gen-lustre-oracle-skeleton (-glos) option that generated a Lustre oracle skeleton · Jun 26, 2019

Release: 2.6.0
```
Release 2.6.0
```
2.5.0

7ecdeca2 · New: Generate oracle skeletons from the dot (#10 ) · Jun 25, 2019

Release: 2.5.0
```
Release 2.5.0
```
2.4.3

9830eacb · Test: Plus the oracle to the coloring algo · Jun 24, 2019

Release: 2.4.3
```
Release 2.4.3
```
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
```

Prev
1
…
3
4
5
6
7
8
Next