Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tags give the ability to mark specific points in history as being important
v0.10.5
0b635d1b
·
Update README.md
·
Jan 05, 2021
Release:
InteKRator0.10.5
v0.10.3
2c3fd036
·
Increased version number.
·
Jan 04, 2021
Release:
InteKRator0.10.3
v0.7.1
d7915624
·
Merge branch 'master' of gitlab.com:dapel1/intekrator_toolbox
·
Nov 23, 2020
Release:
InteKRator0.7.1
v0.5.3
cab39401
·
Increased version number.
·
Oct 31, 2020
Release:
InteKRator0.5.3
v0.5.2
25efef1a
·
Increased version number.
·
Oct 05, 2020
Release:
InteKRator0.5.2
v0.4.0
6cfd2b18
·
Update README.md
·
Sep 25, 2020
Release:
InteKRator0.4.0
v0.3.2
01e960e8
·
Bug fix: Unknown parameters are now recognized and lead to an error message...
·
Sep 24, 2020
Release:
InteKRator0.3.2
v0.2.1
ebdc4b38
·
Corrected typo in warning for non-deterministic state-action sequences.
·
Sep 22, 2020
Release:
InteKRator0.2.1
v.0.1.0
b4d9de44
·
Merge branch 'master' of gitlab.com:dapel1/intekrator_toolbox
·
Sep 17, 2020
Release:
InteKRator0.1.0