8023 Commits (7cbddfeef639a1ec76e57f3d65a48fbadfbc66f1)
 

Author SHA1 Message Date
Tim Quatmann 48dbaa6fbd Fixed a test 5 years ago
Tim Quatmann 16aee7c386 fixed a typo 5 years ago
Matthias Volk 9e63a89db7 Fixed operator precedence for power and modulo operator thanks to help from Joachim Klein. 5 years ago
Matthias Volk d05b132dde Better error output 5 years ago
Tim Quatmann 4578e06555 Merge branch 'master' into deterministicScheds 5 years ago
Tim Quatmann 900da9e556 Fixed EndComponentEliminatorTest 5 years ago
Tim Quatmann aabb63846a Merge branch 'master' into deterministicScheds 5 years ago
Tim Quatmann 2cb7b5769e Jit: Fixed issues when CLN and/or GMP is installed via carl 5 years ago
Tim Quatmann f83c0fa606 MultiObjectivePreprocesso: Fix for new preprocessing in case of multi-dimensional bounded until formulas. 5 years ago
Tim Quatmann 9e510560c9 MultiobjectivePreprocessor: Fixed removal of irrelevant states. 5 years ago
Tim Quatmann 9526720a9c Merge branch 'master' into deterministicScheds 5 years ago
Tim Quatmann b1b429e8d2 EndComponentEliminatorTest: Made the test more stable with respect to different orders in the result. 5 years ago
Tim Quatmann 925f72f754 More testcases for multi-objective model checking with scheduler restrictions (including fixes). 5 years ago
Jip Spel b308f4e1d0 Initialize region before creating sample points 5 years ago
Jip Spel 12e0ef537c Small fixes 5 years ago
Tim Quatmann 1f68e1d05e Multi-objectivePreprocessor: identify a subset of the states that can be made absorbing. 5 years ago
Tim Quatmann 92dd97b06a Merge branch 'master' into deterministicScheds 5 years ago
Tim Quatmann 492348542f SubsystemBuilder: Fix deadlocks with a selfloop (if requested) 5 years ago
Tim Quatmann 0b1b0d97e2 utility/graph: fixed behavior of getReachableStates when an initial state is not in the constrained set. 5 years ago
Tim Quatmann 3e8f53f640 Added test cases for multi-objective scheduler restriction checker. 5 years ago
Tim Quatmann 2aa385905b DetSchedsLpChecker: Switch to gurobi by default (if installed) 5 years ago
Tim Quatmann 88c62d20bf SchedulerClass: setter return a reference to *this 5 years ago
Tim Quatmann 38795a67b4 PolytopeTree: Better union of childs 5 years ago
Jip Spel e0b2869bd5 Fix region check 5 years ago
Jip Spel 08d2893b2c Renamed Lattice -> Order 5 years ago
Jip Spel 1c5d6b7237 Clean up lattice creation code 5 years ago
Jip Spel 8214c5758e Use parameter lifting for initial ro construction 5 years ago
Alexander Bork adf07416dc Added preservation of time bounded until formulae 5 years ago
TimQu 34dd9673f1 More statistics. 5 years ago
radioGiorgio 2a39f8db5d Merge branch 'deterministicScheds' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm into deterministicScheds 5 years ago
radioGiorgio 3820b994c5 product indices getter debugged 5 years ago
radioGiorgio ad34cbb951 testing 5 years ago
TimQu a0b7eea500 DetScheds: Print model statistics. 6 years ago
Tim Quatmann b848796852 Nativepolytope: Fixed a bug in quickhull when invoked on just a single point. 6 years ago
Matthias Volk 174c1a86c0 DRNParser: Parse labels with and without quotation marks (thanks to pair programming and regex magic 6 years ago
Matthias Volk 779e5ce5ae DRNParser: Check if target state is valid 6 years ago
Sebastian Junges 976f85cc25 drn export for labels with whitespace is now put into quotation marks 6 years ago
Alexander Bork 450e074c5b Integrated non-Markovian state elimination into Storm MA modelchecking 6 years ago
Alexander Bork 7b038db6d5 Fixed missing part for label preservation and added formula preservation check 6 years ago
Sebastian Junges 31b50d76e9 clearer error message 6 years ago
Tim Quatmann f2dc42e71c ObjectiveHelper: Fixed wrong rewards with Markov Automata. 6 years ago
Tim Quatmann a94bc4e284 NativePolytope: More efficient clean operation. 6 years ago
Tim Quatmann e71033e0e0 LpChecker: Fixed validation of lp results where an objective has weight zero. 6 years ago
Sebastian Junges 3efee0d35d changelog update: export of mtbdds 6 years ago
Sebastian Junges 9ad8209a65 clarify that a formula needs to be added to do anything in storm-pomdp 6 years ago
Tim Quatmann 8838643f98 NativePolytope: Silencing a STORM_LOG_WARN in release mode 6 years ago
Tim Quatmann 78237e8bb1 LpChecker: Only build the LP model if it is actually needed. 6 years ago
Alexander Bork a73c2691b6 Integration of the new settings in the DFT analysis 6 years ago
Tim Quatmann 533206974b proper implemented encoding types. 6 years ago
Alexander Bork 5aa19c9a58 Added settings for non-Markovian state elimination 6 years ago