sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
7128 Commits
2 Branches
0 Tags
187 MiB
Tree: 70112b7315
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '70112b7315'
${ noResults }
Commit Graph

6003 Commits (70112b7315bec504a61b65077f83f1d71f40df65)

Author SHA1 Message Date
Tim Quatmann 70112b7315 Fixed a name clash that sometimes occurred when compiling Storm on macOS with TBB.
7 years ago
Tim Quatmann cc02383591 GurobiLpSolver: Improved interface by
7 years ago
Tim Quatmann 4c911791e1 NativePolytope: Improved clean() operation on empty polytopes.
7 years ago
Tim Quatmann e7454cd494 ArgumentValidators: added factory for UnsignedIntRangeValidatorIncluding
7 years ago
Matthias Volk 15dadf1bc3 Fixed imprecision in comparison for MA
7 years ago
Tim Quatmann bce641319f Fixed computation of maximal total expected rewards for MDPs with end components.
7 years ago
Tim Quatmann 60ae342677 NativePolytope: Fixed affineTransformation of the universal polytope.
7 years ago
Tim Quatmann 3836fd42c0 utility/vector: Added hasZeroEntry and hasInfinityEntry
7 years ago
Tim Quatmann 3714fc3bf2 MinMaxSolverEnvironment: Removed unused method declarations.
7 years ago
Tim Quatmann ca9102616b ExpressionManager: Asserted that when getting a variable with declareOrGetVariable, the returned type is as expected (part 2...).
7 years ago
Tim Quatmann 91951f6714 GurobiLpSolver: Fixed an issue when popping and pushing variables with the same name.
7 years ago
Tim Quatmann adaba03648 ExpressionManager: Asserted that when getting a variable with declareOrGetVariable, the returned type is as expected.
7 years ago
Tim Quatmann 160c6a67f4 Added missing method in case z3 lp solver is not available.
7 years ago
Tim Quatmann 4322d00034 FilteredRewardModel: added create method that works without a checkout.
7 years ago
TimQu c72b97dfca Cleared unused variable warning.
7 years ago
TimQu 76cabb8287 geometry: Fixed a merge issue.
7 years ago
Tim Quatmann cf25f2f941 SparseMatrix: Create a pretty string of the matrix dimensions.
7 years ago
Tim Quatmann 138e0f2cee solver: Implemented incremental support for LP solvers (Z3 and Gurobi)
7 years ago
Tim Quatmann 1eee9a89bd storage/geometry/polytopes: New Methods: setminus and clean
7 years ago
Tim Quatmann 3a21ce8009 utility/vector: buildVectorForRange now gets the type of the vector as a template parameter.
7 years ago
Matthias Volk f2840f3a66 Explore relevant events further even if the DFT has already failed
7 years ago
Matthias Volk 944c5ac0fe Only set operational BEs as failable
7 years ago
Matthias Volk f1c91d9280 Test case for SEQ bug
7 years ago
Matthias Volk 32dc2dbcc0 Fixed bug where children of SEQ gates were not properly enabled
7 years ago
Matthias Volk 0f1b05f28c Added support for '_dc' label suffix
7 years ago
Matthias Volk c272e65d30 Changed suffix label for failed elements to '_failed'
7 years ago
Matthias Volk 92d05ec368 Fixed handling of relevant events from properties
7 years ago
Matthias Volk 534d2cf51b Fixed concatenation of multiple properties
7 years ago
Matthias Volk 0a1ed0270a Output relevant events for better debugging
7 years ago
Matthias Volk 9398832ce8 Add formula in parse exception for easier debugging
7 years ago
Matthias Volk b77009897f Ensure unique names in JSON Parser
7 years ago
Matthias Volk 2b8cf84c97 Adapted tests to changes
7 years ago
Matthias Volk f2c902eedb Set labels, dont care propagation and unique failed state according to relevant events
7 years ago
Matthias Volk 51959d4334 Set labels in property as relevant events as well
7 years ago
Matthias Volk ef08ddd2f7 Small refactoring for ElementState
7 years ago
Matthias Volk 9bf4348677 Test cases for DFT model building with relevant events
7 years ago
Matthias Volk 10f01f66e2 Ignore relevant events for Don't care propagation
7 years ago
Matthias Volk 2cf53af750 Proper handling of disabling/enabling events for SEQ and MUTEX
7 years ago
Matthias Volk 9ce3f9f58d Added tests for mutex
7 years ago
Matthias Volk 9c226f8336 Added support for MUTEX (but without DC support)
7 years ago
Matthias Volk 1b8d0a23ed Allow empty choices due to restrictions in state exploration
7 years ago
Matthias Volk b38b28679f Fixed seqfault when no property was given
7 years ago
Matthias Volk 7ff1511570 Updated some TODOS
7 years ago
Matthias Volk 256137b080 Some refactoring
7 years ago
Matthias Volk 972371c9a2 Started on the notion of 'relevant events' for DFT analysis
7 years ago
Matthias Volk 8090448564 Some more refactoring
7 years ago
Matthias Volk 9d81730fe3 Fixed JSON import after changes in BEs
7 years ago
Matthias Volk 365b7e7673 Removed mChildren in DFTRestriction
7 years ago
Matthias Volk 723caeb56e Removed mChildren in DFTGate
7 years ago
Matthias Volk 56636fc4b0 Added missing break statement
7 years ago