e8cd922552
utility/string.h: Added method to check whether a string is considered similar.
6 years ago
777d6001a1
SettingsManager: Better error message when an option argument can not be parsed.
6 years ago
0070b7762a
Merge branch 'master' into dft_iso
6 years ago
9ebd1af737
Removed unused method again
6 years ago
65a310dc8b
Test for allUntilProbabilities
6 years ago
fcb5f094dc
Fixed a tybo.
6 years ago
c361d59d65
Merge branch 'master' into dft_iso
6 years ago
f9b06e7eaf
Updated changelog.
6 years ago
70b9398b90
storage/Scheduler: Fixed a constructor.
6 years ago
63a9b4485b
FormulaParserGrammar: Adding support for time-bounded formulas with exact time-bound, e.g., F=12 "target"
6 years ago
b4f652bbc8
Reducing the nesting when creating a expression::sum(...).
6 years ago
a829c52a0d
ExpressionParser can now parse round expressions.
6 years ago
66a7bd5954
implemented creation of round expression.
6 years ago
b70f28b10e
Ensured that utility function for rounding always rounds towards infinity.
6 years ago
0e18046934
Fixed translating ceil(x) to mathsat expressions.
6 years ago
d201580d92
Refactored simplification of UnaryNumericalFunctionExpression.
6 years ago
a34037bff4
Added utility function for rounding.
6 years ago
426c293090
Travis: disable installation of carl-parser
6 years ago
2d20365674
Travis: support for Ubuntu 19.04
6 years ago
75cfa17966
Fixed compile issue on Linux
6 years ago
a35735a630
Fixed computation of all until probabilities
6 years ago
161c3ac6bf
Test case for transient probabilities
6 years ago
e1af4158ae
Removed unused argument
6 years ago
da6704139b
Merge from master
6 years ago
3a11a4b3eb
Introducing a TBB adapter that #undefs TRUE and FALSE.
6 years ago
fe658ee787
Reverting the previous fix since the jit builder wasn't happy about the carl/formula/Formula.h include.
6 years ago
dd1d53046c
utility/constants.cpp: Fixing unknown 'isnan'
6 years ago
7881512a17
Removed ConstraintType<ValueType> definition out of RationalFunctionAdapter to make things more consistent.
6 years ago
70112b7315
Fixed a name clash that sometimes occurred when compiling Storm on macOS with TBB.
6 years ago
cc02383591
GurobiLpSolver: Improved interface by
* adding settings MIPFocus (to switch between solving strategies) and ConcurrentMIP (to spawn multiple MIP solvers)
* allowing to set the desired and get the achieved gap between lower- and upper bound when solving MIP models
* retrieving other solutions found during optimization.
6 years ago
4c911791e1
NativePolytope: Improved clean() operation on empty polytopes.
6 years ago
e7454cd494
ArgumentValidators: added factory for UnsignedIntRangeValidatorIncluding
6 years ago
15dadf1bc3
Fixed imprecision in comparison for MA
6 years ago
bce641319f
Fixed computation of maximal total expected rewards for MDPs with end components.
6 years ago
60ae342677
NativePolytope: Fixed affineTransformation of the universal polytope.
6 years ago
3836fd42c0
utility/vector: Added hasZeroEntry and hasInfinityEntry
6 years ago
3714fc3bf2
MinMaxSolverEnvironment: Removed unused method declarations.
6 years ago
ca9102616b
ExpressionManager: Asserted that when getting a variable with declareOrGetVariable, the returned type is as expected (part 2...).
6 years ago
91951f6714
GurobiLpSolver: Fixed an issue when popping and pushing variables with the same name.
6 years ago
adaba03648
ExpressionManager: Asserted that when getting a variable with declareOrGetVariable, the returned type is as expected.
6 years ago
160c6a67f4
Added missing method in case z3 lp solver is not available.
6 years ago
4322d00034
FilteredRewardModel: added create method that works without a checkout.
6 years ago
c72b97dfca
Cleared unused variable warning.
6 years ago
76cabb8287
geometry: Fixed a merge issue.
6 years ago
cf25f2f941
SparseMatrix: Create a pretty string of the matrix dimensions.
6 years ago
138e0f2cee
solver: Implemented incremental support for LP solvers (Z3 and Gurobi)
6 years ago
1eee9a89bd
storage/geometry/polytopes: New Methods: setminus and clean
6 years ago
3a21ce8009
utility/vector: buildVectorForRange now gets the type of the vector as a template parameter.
6 years ago
f2840f3a66
Explore relevant events further even if the DFT has already failed
6 years ago
944c5ac0fe
Only set operational BEs as failable
6 years ago
TimQu
Matthias Volk