Tags

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

4.3.15

3a53f5c0 · rdbg: amend · Nov 12, 2020

Release: 4.3.15
```
Release 4.3.15
```
4.3.14

8451655d · rdbg: fix the round nb (which is wrong since I've added new events in sasa) · Nov 12, 2020

Release: 4.3.14
```
Release 4.3.14
```
4.3.13

957f29ba · rdbg: redefine the behaviour of step and back-step to a more useful behavior for sasa · Nov 12, 2020

Release: 4.3.13
```
Release 4.3.13
```
4.3.12

b38eefde · Doc: add a screencasts section · Nov 12, 2020

Release: 4.3.12
```
Release 4.3.12
```
4.3.11

e7b8f530 · rdbg: should now work in any directory (and not only from sasa/test/*). Ditto for rdbgui4sasa. · Nov 11, 2020

Release: 4.3.11
```
Release 4.3.11
```
4.3.10

8981bfaa · Doc: fix typo · Nov 04, 2020

Release: 4.3.10
```
Release 4.3.10
```
4.3.9

4247e31f · Doc: install preocess enhancement · Nov 03, 2020

Release: 4.3.9
```
Release 4.3.9
```
4.3.8

4055fa4d · Doc: more enhancements · Nov 03, 2020

Release: 4.3.8
```
Release 4.3.8
```
4.3.7

a4b9ac91 · Doc: enhancements · Nov 02, 2020

Release: 4.3.7
```
Release 4.3.7
```
4.3.6

df1fd008 · Doc: add a td;dr subsection to the install one · Oct 29, 2020

Release: 4.3.6
```
Release 4.3.6
```
4.3.5

a6897fae · Doc: some enhancements in the install section · Oct 28, 2020

Release: 4.3.5
```
Release 4.3.5
```
4.3.4

52c7021d · CI: plug back the nonreg_test_campaign.ml by default to get a reasonable time for non reg test · Oct 16, 2020

Release: 4.3.4
```
Release 4.3.4
```
4.3.3

f4bf8aef · Merge branch 'k-clustering' · Oct 15, 2020

Release: 4.3.3
```
Release 4.3.3
```
4.3.2

427fa793 · test: do not use -rif to generate RIF files (indeed, -rif actually stands for "act as RIF program") · Oct 12, 2020

Release: 4.3.2
```
Release 4.3.2
```
4.3.1

37787b56 · Doc: fix pb due to orm footnote that are not handled properly · Sep 04, 2020

Release: 4.3.1
```
Release 4.3.1
```
4.3.0

5ba257a9 · Doc: typos · Sep 03, 2020

Release: 4.3.0
```
Release 4.3.0
```
4.2.8

daed8cd9 · Fix: the round number was wrong when going back to the first event · Aug 20, 2020

Release: 4.2.8
```
Release 4.2.8
```
4.2.7

2c066d79 · Make the lustre and lutin dependencies optional (as they actually are) · Aug 17, 2020
```
Release 4.2.7
```
4.2.6

02e4f372 · Fix: rdbgui4sasa is part of the rdbgui4sasa opam package (which broke its opam install) · Jul 10, 2020

Release: 4.2.6
```
Release 4.2.6
```
4.2.5

cbe5adce · Build: the sasa opam package does not depend on lablgtk3 anymore · Jul 10, 2020

Release: 4.2.5
```
Release 4.2.5
```

Prev
1
2
3
4
5
6
7
8
Next