Skip to content
GitLab
Explore
Sign in
Niklas Krafczyk
libsfsmtest
Repository
Branches
Overview
Active
Stale
All
Active branches
feature-modelChecking
904bcae4
·
extended model-checker to also return input sequences
·
Mar 06, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
windows
b6643734
·
First draft for Windows solver call refactoring
·
Jun 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
addStdIncludes
31b8d4ed
·
Using <functional> in iht_node definition
·
Jun 27, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hotfix-TestCaseParsingForHarness
fb093e39
·
Declaring interface for Valuation parsing
·
Oct 14, 2022
!2
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature-minimalityDiagnosis
66ea03c9
·
Adding minimality diagnosis
·
Nov 15, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iterativeSolver
8c2d65e1
·
Fixing the oracle executable
·
Dec 13, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar