Tags

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

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
```
2.14.18

1460df0e · CI: add a missing file · Feb 07, 2020

Release: 2.14.18
```
Release 2.14.18
```
2.14.17

68163d12 · test: add a new spanning tree construction algorithm · Feb 06, 2020

Release: 2.14.17
```
Release 2.14.17
```
2.14.16

d31d6f81 · Chore · Jan 31, 2020

Release: 2.14.16
```
Release 2.14.16
```
2.14.15

716d608a · docker: fix the test on the docker distribution · Jan 27, 2020

Release: 2.14.15
```
Release 2.14.15
```
2.14.14

0fe60af2 · test: use the rdbg 1.187.1 new online help mechanism · Jan 27, 2020

Release: 2.14.14
```
Release 2.14.14
```
2.14.13

949ae275 · Update: rename demon into daemon everywhere (for consistency) · Jan 22, 2020

Release: 2.14.13
```
Release 2.14.13
```
2.14.12

da31d715 · Doc: add labels to sections to get nicer url · Jan 20, 2020

Release: 2.14.12
```
Release 2.14.12
```
2.14.11

9088d93d · Test: don't hardcode the degree in the example · Jan 13, 2020

Release: 2.14.11
```
Release 2.14.11
```
2.14.10

ab7c3b91 · Doc: add a missing image · Dec 02, 2019

Release: 2.14.10
```
Release 2.14.10
```
2.14.9

16ed9889 · Doc: fix the doc generation · Dec 02, 2019

Release: 2.14.9
```
Release 2.14.9
```
2.14.8

79b44bd6 · CI: do not add the 1.2 opam repo · Dec 02, 2019

Release: 2.14.8
```
Release 2.14.8
```
2.14.7

5375aa41 · Fix: Topology.get_nb_link does not need the oriention of the graph · Nov 20, 2019

Release: 2.14.7
```
Release 2.14.7
```
2.14.6

6b6f4c8b · Doc: more work on the user guide · Nov 14, 2019

Release: 2.14.6
```
Release 2.14.6
```
2.14.5

b13d7994 · CI: Generate the _html dir before trying to copy it · Oct 31, 2019

Release: 2.14.5
```
Release 2.14.5
```
2.14.4

f87bcf3c · Doc: some enhancements · Oct 31, 2019

Release: 2.14.4
```
Release 2.14.4
```

Prev
1
2
3
4
5
6
7
8
Next