Tags
Tags give the ability to mark specific points in history as being important
1.14.1
6a9eceb8
·
TACAS 2021 artifact
·
Oct 24, 2020
1.14.0
6021fdea
·
Bumping #minor version
·
Oct 23, 2020
1.13.23
1940f521
·
Merge branch 'feature/frontend-v2' into 'master'
·
Oct 23, 2020
1.13.22
8c797132
·
More on TODOs
·
Oct 22, 2020
1.13.21
e1fb06cd
·
TODO notes
·
Oct 22, 2020
1.13.20
85bd8813
·
Merge branch 'master' of gitlab.lrz.de:i7/dtcontrol
·
Oct 22, 2020
1.13.19
96ff973e
·
no git also means version master
·
Oct 22, 2020
1.13.18
312821c8
·
WIP commit farming
·
Oct 21, 2020
1.13.17
eb12d628
·
WIP testing
·
Oct 21, 2020
1.13.16
2eba1417
·
additional web files WIP
·
Oct 21, 2020
1.13.15
2c70267f
·
maxi web updates
·
Oct 21, 2020
1.13.14
d8b970f4
·
removed script files related to artifact
·
Oct 20, 2020
1.13.13
baff46a9
·
small patch to handle np.float32 in json.dump()
·
Oct 20, 2020
1.13.12
2f2d8815
·
fix failing test
·
Oct 19, 2020
1.13.11
5e30ed44
·
examples update
·
Oct 19, 2020
1.13.10
a04021f8
·
maxfreq preprocessor for BDDs
·
Oct 07, 2020
1.13.9
7d99efad
·
Run scripts and some fix in BDD
·
Oct 07, 2020
1.13.8
eabac4a7
·
merging sth in bdd.py
·
Oct 06, 2020
1.13.7
ab7bea55
·
Drop unused CI stage "build"
·
Sep 28, 2020
1.13.6
4c16e0c6
·
Added examples/cps path to datasets
·
Sep 28, 2020
1
2
3
4
5
6