Tags

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

2.10.3

42ccc7fd · Test: fix the coloring oracle · Jul 11, 2019

Release: 2.10.3
```
Release 2.10.3
```
2.10.2

c530ae32 · Test: add a missing file to fic the CI · Jul 09, 2019

Release: 2.10.2
```
Release 2.10.2
```
2.10.1

5f61c716 · Test: merge !8 (close #11 ) · Jul 08, 2019

Release: 2.10.1
```
Release 2.10.1
```
2.10.0

a331f5b6 · New: Add various graph info (card, adjency matrix, etc.) into the generated oracles · Jul 05, 2019

Release: 2.10.0
```
Release 2.10.0
```
2.9.1

6618348f · Test: rewrite sligthly the bfs oracle, and commit the generic oracle · Jul 05, 2019

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

1
…
3
4
5
6
7
8