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

7183 Commits (8865857f21024631ef5d55155b24df0f46938dde)
 

Author SHA1 Message Date
TimQu 8865857f21 Fixed awkward printing of eventually formulas with reward accumulations.
7 years ago
Matthias Volk 2779d13d2c Fix for FindDoxygen with CMake 3.12
7 years ago
Matthias Volk 49570eb92d Travis: install correct package for dot
7 years ago
Matthias Volk 719baa58f5 Set some more options for Doxygen
7 years ago
Matthias Volk b27e7774af Travis: install dot for doxygen generation
7 years ago
Matthias Volk 9b74bc393f Travis: updated scripts and incorporated doxygen deployment
7 years ago
Matthias Volk 51d4652a25 Updated generation of Doxygen documentation
7 years ago
Matthias Volk da31ca2952 Main page info of Storm for Doxygen
7 years ago
TimQu 511c2d7987 Changelog: Update.
7 years ago
TimQu 5e3506a0e1 GeneralSettings: Issue a warning when precision is set via --general:precision and not --precision.
7 years ago
TimQu 208854bf02 settings: Detect whether an option was set with or without the module prefix.
7 years ago
TimQu 5d40880883 Flagging a few more options as advanced.
7 years ago
TimQu b6a5fcfd84 Settings: Do not hard-code executable name in help message.
7 years ago
TimQu bb0c2282b3 Fixed levenshtein distance
7 years ago
TimQu f453b2bddd storm-conv: also don't print the help message in case of errors in storm-conv.
7 years ago
TimQu d6e91183d7 cli: don't print the whole help message when an error occurred during option parsing.
7 years ago
TimQu 0a02fecd6b settings/modules: Flagged several options as advanced.
7 years ago
TimQu 8807bb5a0b Settings: Added facilities to flag options as advanced and only display them with '--help all'.
7 years ago
TimQu e8cd922552 utility/string.h: Added method to check whether a string is considered similar.
7 years ago
TimQu 777d6001a1 SettingsManager: Better error message when an option argument can not be parsed.
7 years ago
Matthias Volk 0070b7762a Merge branch 'master' into dft_iso
7 years ago
Matthias Volk 9ebd1af737 Removed unused method again
7 years ago
Matthias Volk 65a310dc8b Test for allUntilProbabilities
7 years ago
TimQu fcb5f094dc Fixed a tybo.
7 years ago
Matthias Volk c361d59d65 Merge branch 'master' into dft_iso
7 years ago
TimQu f9b06e7eaf Updated changelog.
7 years ago
TimQu 70b9398b90 storage/Scheduler: Fixed a constructor.
7 years ago
Tim Quatmann 63a9b4485b FormulaParserGrammar: Adding support for time-bounded formulas with exact time-bound, e.g., F=12 "target"
7 years ago
Tim Quatmann b4f652bbc8 Reducing the nesting when creating a expression::sum(...).
7 years ago
Tim Quatmann a829c52a0d ExpressionParser can now parse round expressions.
7 years ago
Tim Quatmann 66a7bd5954 implemented creation of round expression.
7 years ago
Tim Quatmann b70f28b10e Ensured that utility function for rounding always rounds towards infinity.
7 years ago
Tim Quatmann 0e18046934 Fixed translating ceil(x) to mathsat expressions.
7 years ago
Tim Quatmann d201580d92 Refactored simplification of UnaryNumericalFunctionExpression.
7 years ago
Tim Quatmann a34037bff4 Added utility function for rounding.
7 years ago
Matthias Volk 426c293090 Travis: disable installation of carl-parser
7 years ago
Matthias Volk 2d20365674 Travis: support for Ubuntu 19.04
7 years ago
Matthias Volk 75cfa17966 Fixed compile issue on Linux
7 years ago
Matthias Volk a35735a630 Fixed computation of all until probabilities
7 years ago
Matthias Volk 161c3ac6bf Test case for transient probabilities
7 years ago
Matthias Volk e1af4158ae Removed unused argument
7 years ago
Matthias Volk da6704139b Merge from master
7 years ago
Tim Quatmann 3a11a4b3eb Introducing a TBB adapter that #undefs TRUE and FALSE.
7 years ago
Tim Quatmann fe658ee787 Reverting the previous fix since the jit builder wasn't happy about the carl/formula/Formula.h include.
7 years ago
Tim Quatmann dd1d53046c utility/constants.cpp: Fixing unknown 'isnan'
7 years ago
Tim Quatmann 7881512a17 Removed ConstraintType<ValueType> definition out of RationalFunctionAdapter to make things more consistent.
7 years ago
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