TimQu
511c2d7987
Changelog: Update.
6 years ago
TimQu
5e3506a0e1
GeneralSettings: Issue a warning when precision is set via --general:precision and not --precision.
6 years ago
TimQu
208854bf02
settings: Detect whether an option was set with or without the module prefix.
6 years ago
TimQu
5d40880883
Flagging a few more options as advanced.
6 years ago
TimQu
b6a5fcfd84
Settings: Do not hard-code executable name in help message.
6 years ago
TimQu
bb0c2282b3
Fixed levenshtein distance
6 years ago
TimQu
f453b2bddd
storm-conv: also don't print the help message in case of errors in storm-conv.
6 years ago
TimQu
d6e91183d7
cli: don't print the whole help message when an error occurred during option parsing.
6 years ago
TimQu
0a02fecd6b
settings/modules: Flagged several options as advanced.
6 years ago
TimQu
8807bb5a0b
Settings: Added facilities to flag options as advanced and only display them with '--help all'.
6 years ago
TimQu
e8cd922552
utility/string.h: Added method to check whether a string is considered similar.
6 years ago
TimQu
777d6001a1
SettingsManager: Better error message when an option argument can not be parsed.
6 years ago
Matthias Volk
0070b7762a
Merge branch 'master' into dft_iso
6 years ago
Matthias Volk
9ebd1af737
Removed unused method again
6 years ago
Matthias Volk
65a310dc8b
Test for allUntilProbabilities
6 years ago
TimQu
fcb5f094dc
Fixed a tybo.
6 years ago
Matthias Volk
c361d59d65
Merge branch 'master' into dft_iso
6 years ago
Alexander Bork
28a878f154
Adjusted lower bound correction to new BE distinction
6 years ago
TimQu
f9b06e7eaf
Updated changelog.
6 years ago
TimQu
70b9398b90
storage/Scheduler: Fixed a constructor.
6 years ago
Matthias Volk
7995100441
Small fixes in DFT tests
6 years ago
Matthias Volk
521461737a
Adaption to changes in BEs
6 years ago
Matthias Volk
23f1e73137
Merge from branch 'dft'
6 years ago
Tim Quatmann
63a9b4485b
FormulaParserGrammar: Adding support for time-bounded formulas with exact time-bound, e.g., F=12 "target"
6 years ago
Alexander Bork
f37bcea1ea
Added test for bound correction
6 years ago
Tim Quatmann
b4f652bbc8
Reducing the nesting when creating a expression::sum(...).
6 years ago
Tim Quatmann
a829c52a0d
ExpressionParser can now parse round expressions.
6 years ago
Tim Quatmann
66a7bd5954
implemented creation of round expression.
6 years ago
Tim Quatmann
b70f28b10e
Ensured that utility function for rounding always rounds towards infinity.
6 years ago
Tim Quatmann
0e18046934
Fixed translating ceil(x) to mathsat expressions.
6 years ago
Tim Quatmann
d201580d92
Refactored simplification of UnaryNumericalFunctionExpression.
6 years ago
Tim Quatmann
a34037bff4
Added utility function for rounding.
6 years ago
Alexander Bork
d42dea79c3
Added comments to explain the query
6 years ago
Alexander Bork
74d1bf3c7e
Merge remote-tracking branch 'origin/dftSMT' into dftSMT
6 years ago
Alexander Bork
948485c226
Reworked lower bound computation
6 years ago
Alexander Bork
eeccb2092a
Added variables for trigger and resolution timepoints of dependencies
6 years ago
Matthias Volk
426c293090
Travis: disable installation of carl-parser
6 years ago
Matthias Volk
2d20365674
Travis: support for Ubuntu 19.04
6 years ago
Matthias Volk
75cfa17966
Fixed compile issue on Linux
6 years ago
Matthias Volk
5729066add
Merge branch 'master' into dft
6 years ago
Matthias Volk
a35735a630
Fixed computation of all until probabilities
6 years ago
Matthias Volk
161c3ac6bf
Test case for transient probabilities
6 years ago
Matthias Volk
e1af4158ae
Removed unused argument
6 years ago
Matthias Volk
da6704139b
Merge from master
6 years ago
Tim Quatmann
3a11a4b3eb
Introducing a TBB adapter that #undefs TRUE and FALSE.
6 years ago
Tim Quatmann
fe658ee787
Reverting the previous fix since the jit builder wasn't happy about the carl/formula/Formula.h include.
6 years ago
Tim Quatmann
dd1d53046c
utility/constants.cpp: Fixing unknown 'isnan'
6 years ago
Tim Quatmann
7881512a17
Removed ConstraintType<ValueType> definition out of RationalFunctionAdapter to make things more consistent.
6 years ago
Tim Quatmann
70112b7315
Fixed a name clash that sometimes occurred when compiling Storm on macOS with TBB.
6 years ago
Tim Quatmann
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