Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
1.11.3
28b8809e
·
fixed config file for elevators
·
Apr 28, 2020
1.10.12
48a3f9db
·
Added further PRISM models
·
Mar 26, 2020
1.7.4
48a3f9db
·
Added further PRISM models
·
Mar 26, 2020
1.8.0
48a3f9db
·
Added further PRISM models
·
Mar 26, 2020
1.9.3
48a3f9db
·
Added further PRISM models
·
Mar 26, 2020
1.1.0
8a2c0d13
·
Squashed lot of unnecessary commits
·
Feb 28, 2020
start tag for automatic semantic versioning
1.3.2
c9dc5628
·
Added leader benchmarks
·
Feb 19, 2020
1.4.0
c9dc5628
·
Added leader benchmarks
·
Feb 19, 2020
1.5.0
c9dc5628
·
Added leader benchmarks
·
Feb 19, 2020
1.6.0
c9dc5628
·
Added leader benchmarks
·
Feb 19, 2020
1.6.2
c9dc5628
·
Added leader benchmarks
·
Feb 19, 2020
1.7.0
c9dc5628
·
Added leader benchmarks
·
Feb 19, 2020
v1.0.0rc5
d9a475ae
·
pip package structure
·
Oct 27, 2019