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

7230 Commits (9780ffeb1e3f2f955c5bc9e1efc109913f08774c)
 

Author SHA1 Message Date
Matthias Volk 9780ffeb1e Git ignore for any dir with infix 'build'
6 years ago
Matthias Volk 47344f9080 Removed unused flat_set includes
6 years ago
Matthias Volk 6a4c18e4a2 Use custom FlatSet to account for allocator changes in flat_set in Boost 1.70.
6 years ago
Matthias Volk 1e3686480a is_equal_to_one() is not used in Boost 1.70
6 years ago
Tim Quatmann bc623d1203 MinMaxLinearEquationSolver: Added a flag 'hasNoEndComponent' that is true if the system is known to have no end components. This decides if policy iteration does require a valid initial scheduler.
6 years ago
Matthias Volk 820b48354d Silenced warning
6 years ago
Matthias Volk 24d0576009 Merge from master
6 years ago
Matthias Volk 9c28ed990e Use isBasicElement() instead of type
6 years ago
Matthias Volk 51b210a1d6 Test case for symmetry reduction
6 years ago
Matthias Volk 08859bd3e6 Fixed bug in computation of symmetry groups.
6 years ago
Matthias Volk 0dcb271866 Added assertions for better debugging
6 years ago
Matthias Volk 3033d5444c Refactoring
6 years ago
Tim Quatmann c8ea0f60da JaniBuilder: Fixed several issues that occurred with branch reward expressions over non-transient variables, including GitHub issue #47
6 years ago
Tim Quatmann ce9d784c35 QCVBS: Fixed models with empty 'open-paremeter-values' entry.
6 years ago
TimQu 8865857f21 Fixed awkward printing of eventually formulas with reward accumulations.
6 years ago
Matthias Volk 2779d13d2c Fix for FindDoxygen with CMake 3.12
6 years ago
Matthias Volk 49570eb92d Travis: install correct package for dot
6 years ago
Matthias Volk 719baa58f5 Set some more options for Doxygen
6 years ago
Matthias Volk b27e7774af Travis: install dot for doxygen generation
6 years ago
Matthias Volk 9b74bc393f Travis: updated scripts and incorporated doxygen deployment
6 years ago
Matthias Volk 51d4652a25 Updated generation of Doxygen documentation
6 years ago
Matthias Volk da31ca2952 Main page info of Storm for Doxygen
6 years ago
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