Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
1.11.8
3182fc92
·
Everything collapsible, added Figure descriptions and link to source code
·
May 01, 2020
1.11.7
7848e9e4
·
Add TOC and try collapsing
·
May 01, 2020
1.11.6
c728ba67
·
Merge branch 'website/artifacts' into 'master'
·
May 01, 2020
1.11.5
0452576c
·
added multi-label entropy (--use-preset mlentropy) to system presets
·
Apr 30, 2020
1.11.4
286d1d91
·
Fixed BDD bug
·
Apr 30, 2020
1.11.3
48f5710b
·
added dd as a requirement
·
Apr 29, 2020
1.11.2
1fbf5f4f
·
updated storm loader to make it work with BDDs
·
Apr 28, 2020
1.11.1
aa4e5240
·
fixed config file for elevators
·
Apr 28, 2020
1.11.0
0750f496
·
Merge branch 'feature/storm-parser' into 'master'
·
Apr 28, 2020
1.10.12
da9b1a0a
·
Merge branch 'feature/folder-structure' into 'master'
·
Apr 28, 2020
1.10.11
dbbb6c29
·
Merge branch 'feature/bdd'
·
Apr 28, 2020
1.10.10
5c19a886
·
Fixes bug with timeout
·
Apr 28, 2020
1.10.9
9b462832
·
Fixed twoing rule
·
Apr 22, 2020
1.10.8
849ef9e2
·
Merge branch 'update-doc' into 'master'
·
Apr 22, 2020
1.10.7
06d19b7a
·
Improved README
·
Apr 20, 2020
1.10.6
16388449
·
Merge branch 'patch/oc1-linux-only' into 'master'
·
Apr 19, 2020
1.10.5
d854d028
·
Moved config.yml to the correct location
·
Apr 19, 2020
1.10.4
d6283370
·
Merge branch 'master' of gitlab.lrz.de:i7/dtcontrol
·
Apr 19, 2020
1.10.3
1a48ee3b
·
Finalized example.py and example.ipynb
·
Apr 16, 2020
1.10.2
5a4502e0
·
Edited README.md and setup.py so that pypi accepts the sdist; bdist_wheel does...
·
Apr 16, 2020
Prev
1
2
3
4
5
6
Next