Skip to content
GitLab
Explore
Sign in
SIMPA
SIMPA
Repository
Branches
Overview
Active
Stale
All
Stale branches
testLearnLib
814402c8
·
Ajout des tests avec LearnLib et de l'algo sans reset
·
Jul 03, 2014
icgi_hack
52264625
·
Création d'une branche icigi_hack
·
Jun 11, 2016
wSetFinderStats
1a8c1c18
·
adding all necessarry resources for infering black box automata.
·
Sep 21, 2016
tmp-stats
51e68e4f
·
work in progress on stats repository
·
Dec 12, 2018
adensilsoSimao_tool
a2c843ff
·
Revert "removed usage of tool to compute minimum trace length (tool from Adenilso Simao)"
·
Apr 10, 2019