Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
succ_stable
5931808f
·
Deleted unused classes
·
Dec 05, 2017
successor
b60db5b8
·
Merge branch 'successor' of gitlab.science.ru.nl:harcok/tomte into successor
·
Nov 29, 2017
tcp-study
7eae32fc
·
Fixed error
·
Mar 01, 2017
master_newlearnlib
c4773841
·
Merge branch 'master_newlearnlib' of gitlab.science.ru.nl:harcok/tomte into master_newlearnlib
·
Nov 03, 2016
refactor2
aec89e55
·
Fixed minor problems
·
Sep 12, 2016
reftrans
506ee941
·
Not type safe
·
Jul 28, 2016
actionAbs
704378cb
·
probably useless merge
·
Jan 21, 2016
testceanalysis
48757669
·
changed build.xml
·
Dec 28, 2015
refactor_harcok
2642e10c
·
added check statevar in expression also for expression with increments
·
Sep 30, 2015
refactor_learning_statemachine
7ab271c7
·
added resolve_per_action param in Analyzer
·
Aug 03, 2015
v0.4
6006aafb
·
run batch test for 0.4 for fm_models of thesis fides : results are the same...
·
Mar 31, 2015
version 0.4