5842 Commits (d1641f09eba6bb99b7bae00d0fe3583bd7c58b4d)
 

Author SHA1 Message Date
TimQu 6fa4e6b455 fixed SOR and gaussseidel linear equation solver methods 7 years ago
TimQu fb21ffca63 Respected whether the linear equation solver wants the fix point or eq sys formulation 7 years ago
dehnert 694e6ba240 EC elimination for Pmax for hybrid MDP model checker 7 years ago
Matthias Volk 384f17e32e Workaround for jit and sylvan tests on travis 7 years ago
dehnert e557a8e069 started on EC elimination for hybrid engine 7 years ago
TimQu 64a804137e export of cdf's 7 years ago
TimQu a4a8bc2e69 accessing the epoch manager and the dimensions from the outside 7 years ago
Matthias Volk 20a76f01e2 Better error output for jit 7 years ago
TimQu 682a0483d2 helped gmm to converge... 7 years ago
TimQu 4da61d972c fixed correctly setting the result bounds for weight vector checker 7 years ago
dehnert 58ca07584d rational search for native linear equation solver and several involved fixes 7 years ago
TimQu b788c1b403 reuse scheduler from previous epoch as initial hint 7 years ago
TimQu 952f49fb10 fix for interval iteration in weight vector checkers 7 years ago
Matthias Volk fcf3d984fb 5th build stage in travis seems not to be needed anymore 7 years ago
Matthias Volk 4626aa0e69 Updated search for mathsat in cmake and fixed linker problem 7 years ago
Matthias Volk 57065bdabd glpk and hwloc now in homebrew/core 7 years ago
Matthias Volk ba9534da0a apple-clang was not recognized in travis 7 years ago
Matthias Volk bc0e432e11 Changed compilers in travis 7 years ago
Matthias Volk 1ec19a1e6c Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm 7 years ago
TimQu 36ffd2682d Merge branch 'master' into reward-bounded-multi-objective 7 years ago
TimQu 11da1ddc14 upper bounds for expected reward objectives 7 years ago
Matthias Volk 765890f3f2 Moved dockerfiles to own repository 7 years ago
TimQu 20960d56e7 added missing 'this->'. Also avoid in-place matrix vector multiplication when extracting a scheduler 7 years ago
TimQu f83dbf741b fixed wrong template argument 7 years ago
TimQu 96f45fe77a fixed missing return statements 7 years ago
TimQu 1396de3c5f Enforce no end components when we want to compute a scheduler from a minmax equation system 7 years ago
TimQu 50ba6866eb checking solver requirements for PLA 7 years ago
cdehnert a8d32eb0be Merge pull request #8 from kleinj/cmake-old-carl-fix 7 years ago
cdehnert 93a3bff8e0 Merge branch 'master' into cmake-old-carl-fix 7 years ago
dehnert df05711f3e finished rational search for MinMax solver, preparing rational search for NativeLinearEquationSolver 7 years ago
dehnert 0c8866203c tracking bugs, lots of debug output 7 years ago
TimQu c396ab0ca5 more solver requirements for multi-objective model checking 7 years ago
TimQu d58f751491 Merge branch 'master' into reward-bounded-multi-objective 7 years ago
TimQu 64ca58494d considered solver requirements for multiobjective model checking 7 years ago
dehnert afd2acd06b more work on Kwek-Mehlhorn approach 7 years ago
TimQu 4afaca7f84 fixed missing return statements 7 years ago
TimQu 3f6464c59d Enforce no end components when we want to compute a scheduler from a minmax equation system 7 years ago
TimQu 4991a3ec5e checking solver requirements for PLA 7 years ago
TimQu b3349dc344 fixed fill() method of bit vectors 7 years ago
TimQu 4a66ab2e57 Merge branch 'master' into reward-bounded-multi-objective 7 years ago
dehnert 254bc05e94 more work on RationalSearch 7 years ago
dehnert 088c2d8b15 fixed missing suffix 7 years ago
dehnert b3f0aa511e started on Kwek-Mehlhorn-based exact value computation 7 years ago
dehnert cb15db041c add missing include 7 years ago
dehnert 76fa67fd35 added missing include 7 years ago
dehnert c84a84cba4 corrected ms to s 7 years ago
dehnert 20afe3d48b Merge branch 'master' into conditional_optimizations 7 years ago
dehnert 2d41de479e added progress outputs to iterative solvers 7 years ago
TimQu 142d034765 New methods for the SparseMatrix: SetRowGroupIndices and filterEntries 7 years ago
dehnert d8d3404b87 fixed termination criteria and equipped interval value iteration methods with check whether the method converged for the relevant states 7 years ago