Tags

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

2.13.3

6101aa75 · Fix: do not add successors twice in Topology. · Oct 11, 2019

Release: 2.13.3
```
Release 2.13.3
```
2.13.2

1f214034 · Test: add the asynchronous unison exemple · Oct 09, 2019

Release: 2.13.2
```
Release 2.13.2
```
2.13.1

9b1acb61 · Fix: init the mask for counting round at the first event in my-rdbg-tuning.ml · Oct 08, 2019

Release: 2.13.1
```
Release 2.13.1
```
2.13.0

8c7258b8 · New: add a -replay mode that uses a sasa-dotfile.seed to store/restore the seed · Oct 08, 2019

Release: 2.13.0
```
Release 2.13.0
```
2.12.1

60123cdd · Fix: the -rif option should make the simulator behaves as a rif input · Oct 08, 2019

Release: 2.12.1
```
Release 2.12.1
```
2.12.0

961de148 · Update: move the functions relative to topology that were in main.ml in topology.ml · Oct 07, 2019

Release: 2.12.0
```
Release 2.12.0
```
2.11.0

f590251a · New: do not load 1 cmxs file per node kind, but a g.cmxs that register them. · Sep 18, 2019

Release: 2.11.0
```
Release 2.11.0
```
2.10.4

9ca515d0 · Test: add a file I've forgotten to track · Sep 06, 2019

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

Prev
1
2
3
4
5
6
7
8
Next