Skip to content
GitLab
Explore
Sign in
SIMPA
SIMPA
Repository
Branches
Overview
Active
Stale
All
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
comments
b6980a05
·
Add Comments for class State
·
Apr 11, 2019
JSS_figures_messy
protected
735d42cc
·
format tables
·
May 07, 2019
old_seed
8b063459
·
update licence header
·
May 24, 2019
JSS_figures
protected
f505ecd3
·
update README
·
May 24, 2019
dev
0140a60d
·
Added a patch in RandomMealy.
·
Jun 03, 2019
master
default
protected
de31d17c
·
update script 'launch_SIMPA.sh' to work on MacOS as well (thanks to Mark)
·
Oct 03, 2019
only-lexicographic-transfer-seqs
c4e89488
·
use double hyphen for initialW argument
·
Jul 30, 2021
!1
moritz-thesis
6e483dba
·
use double hyphen for initialW argument
·
Jul 30, 2021
partial-hW
08a876b4
·
add driver option for sample wizard
·
Nov 08, 2021
latest_hw
90838f16
·
Merge remote-tracking branch 'origin/trace_hw' into latest_hw
·
Sep 16, 2022
omega
56d9f5ef
·
Final hWomega fix
·
Sep 16, 2022
trace_hw
ed0e83db
·
improving exporting DOT of WTree
·
May 11, 2023