sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
1362 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Tree: 01cefbb2c0
tempest/test/functional
dehnert 01cefbb2c0
Modified the multiplication of a sparse matrix with a dense vector to only use the parallel version if available and the number of nonzero entries exceeds a certain threshold. 		11 years ago
..
adapter Made Storm compile again without Z3: guarded some header inclusions and function definitions/implementations. Also guarded the tests that require certain libraries (like Gurobi, glpk, Z3), so that tests do not fail any more when the libraries are not available. 11 years ago
modelchecker Removed two erronous keywords. 11 years ago
parser Merge branch 'refactorFormulas' 11 years ago
solver Made Storm compile again without Z3: guarded some header inclusions and function definitions/implementations. Also guarded the tests that require certain libraries (like Gurobi, glpk, Z3), so that tests do not fail any more when the libraries are not available. 11 years ago
storage Extended DD interface by methods to generate explicit row-grouped matrices from DDs. 11 years ago
storm-functional-tests.cpp Introduced a new Object called InternalOptionMemento to handle required settings for tests which auto-reset after the test is done 12 years ago