Skip to content
GitLab
Explore
Sign in
Niklas Krafczyk
libsfsmtest
Repository
Branches
Overview
Active
Stale
All
windows
b6643734
·
First draft for Windows solver call refactoring
·
Jun 23, 2022
addStdIncludes
31b8d4ed
·
Using <functional> in iht_node definition
·
Jun 27, 2022
hotfix-TestCaseParsingForHarness
fb093e39
·
Declaring interface for Valuation parsing
·
Oct 14, 2022
!2
feature-minimalityDiagnosis
66ea03c9
·
Adding minimality diagnosis
·
Nov 15, 2022
iterativeSolver
8c2d65e1
·
Fixing the oracle executable
·
Dec 13, 2022
feature-CI-to-cluster
97d8e4b3
·
Using arch linux image with z3 for `usage-demo cluster`
·
Dec 14, 2022
libsfsmtest_test-cloud_develop
4f869c2f
·
Merge branch 'libsfsmtest_test-cloud' of...
·
Jan 26, 2023
libsfsmtest_test-cloud
bb46e4c9
·
added .gitlab-ci
·
Jan 26, 2023
feature-PartialSfsms
5a1f01c1
·
STOP: DEAD END
·
Apr 14, 2023
develop
2a59b096
·
Reducing recalculation of stuff
·
Jun 13, 2023
!9
feature-ExpressionClusteringBySharedIdentifiers
54368132
·
Added clustering in eq. class partitioning
·
Jul 05, 2023
master
default
protected
97fe0ba1
·
Merge branch 'hotfix-TreeTraversalBugfix' into 'master'
·
Oct 25, 2023