sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
5449 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Tree: 8e56efed3a
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '8e56efed3a'
${ noResults }
tempest/src/storm/abstraction
TimQu 8e56efed3a
reduced the number of states in the product model 		9 years ago
..
jani fixing more warnings related to struct vs. class forward declarations 9 years ago
prism fixing more warnings related to struct vs. class forward declarations 9 years ago
AbstractionInformation.cpp started optimizing some DdManager methods 9 years ago
AbstractionInformation.h fix for decomposition 9 years ago
BottomStateResult.cpp fixing more warnings related to struct vs. class forward declarations 9 years ago
BottomStateResult.h post-merge fixes 9 years ago
ExpressionTranslator.cpp fixed more warnings 9 years ago
ExpressionTranslator.h work on location support for JANI abstraction 9 years ago
GameBddResult.cpp fixing more warnings related to struct vs. class forward declarations 9 years ago
GameBddResult.h first version of jani menu-game abstraction 9 years ago
LocalExpressionInformation.cpp work on location support for JANI abstraction 9 years ago
LocalExpressionInformation.h fixed abstraction by considering related predicates for all sources. started on command decomposition 9 years ago
MenuGame.cpp Merge branch 'master' into symbolic_bisimulation 9 years ago
MenuGame.h post-merge fixes 9 years ago
MenuGameAbstractor.cpp started overhaul of cli/api 9 years ago
MenuGameAbstractor.h fix for decomposition 9 years ago
MenuGameRefiner.cpp started overhaul of cli/api 9 years ago
MenuGameRefiner.h reworked argument validators for settings 9 years ago
QualitativeResult.h factored out helper classes into their own files in preparation of refiner interface 9 years ago
QualitativeResultMinMax.h factored out helper classes into their own files in preparation of refiner interface 9 years ago
QuantitativeResult.h improved detection for early result detection in game based engine 9 years ago
QuantitativeResultMinMax.h factored out helper classes into their own files in preparation of refiner interface 9 years ago
RefinementCommand.cpp introduced refinement command to capture a specific refinement 9 years ago
RefinementCommand.h introduced refinement command to capture a specific refinement 9 years ago
StateSetAbstractor.cpp started overhaul of cli/api 9 years ago
StateSetAbstractor.h work on location support for JANI abstraction 9 years ago
ValidBlockAbstractor.cpp enabled different invalid block detection strategies 9 years ago
ValidBlockAbstractor.h forgot to add file 9 years ago