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