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.
5571 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Tree: ef7b25d65c
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'ef7b25d65c'
${ noResults }
tempest/src/storm
dehnert 03489be59f
sligh FNV1a hash improvement 		8 years ago
..
abstraction started optimizing some DdManager methods 8 years ago
adapters resolved ambiguity to make gcc happy 8 years ago
analysis parameters from rewards are now also collected in wellformedness analysis 8 years ago
api split IOSettings in BuildSettings and IOSettings, refactored some dependencies on settings object away if it doesnt hurt too much, moved GSPN and PGCL settings to their own libs 8 years ago
builder some optimizations in explicit model building 8 years ago
counterexamples fixed bug in MaxSMT-based counterexample generation pointed out by Milan Ceska 8 years ago
exceptions converted some assertions into exceptions in bit vector hash map 8 years ago
generator applying the same performance improvements for explicit JANI model building 8 years ago
logic remove debug output 8 years ago
modelchecker fixed bug in hybrid engine when using interval iteration 8 years ago
models Merge branch 'master' into rationalsearch 8 years ago
parser split IOSettings in BuildSettings and IOSettings, refactored some dependencies on settings object away if it doesnt hurt too much, moved GSPN and PGCL settings to their own libs 8 years ago
permissivesched moved application of permissive scheduler to an own transformer 8 years ago
settings several optimizations related to explicit model building 8 years ago
solver split IOSettings in BuildSettings and IOSettings, refactored some dependencies on settings object away if it doesnt hurt too much, moved GSPN and PGCL settings to their own libs 8 years ago
storage sligh FNV1a hash improvement 8 years ago
transformer Merge remote-tracking branch 'origin/master' into symbolic_bisimulation 8 years ago
utility some fixes to handle large parameters 8 years ago
CMakeLists.txt move cli stuff from storm lib to an own small lib 8 years ago
storm.cpp move cli stuff from storm lib to an own small lib 8 years ago