4665 Commits (ccee1bb007f51cf955f47cdebfe81a5244f7f014)

Author SHA1 Message Date
Sebastian Junges 2ce145745a parameters from rewards are now also collected in wellformedness analysis 8 years ago
Sebastian Junges 378e2ee40f Better error message if expression parser fails 8 years ago
Matthias Volk 0913388cd3 Renamed ExplicitDFTModelBuilderApprox to ExplicitDFTModelBuilder 8 years ago
dehnert 8f95032d34 not logging exceeding precision in Kwek-Mehlhorn 8 years ago
dehnert bf727a28fd remove debug output and choose sylvan automatically in exact mode 8 years ago
Matthias Volk 87778a6775 Finally removed old DFTModelBuilder 8 years ago
dehnert 1f16008b75 added proper exception handling to sylvan-based sharpening 8 years ago
Matthias Volk 4456069e81 Fixed typo 8 years ago
Matthias Volk 88544a9ec7 Added assertion for turnRatesToProbabilities in MA 8 years ago
Matthias Volk 983e09fd63 Fixed possible problem with rates and exit rates in MA 8 years ago
dehnert d612337ebf added bunch of debug output for aliasing problem 8 years ago
dehnert 305f607507 fixed another parsing issue pointed out by Assistant Professor Dr. Nils Jansen 8 years ago
dehnert 49cc789ca2 symbolic minmax solver respecting linear equation solver problem format; fixed parsing bug pointed out by Dr. Nils Jansen 8 years ago
dehnert a427eae699 fixed severe bug in symbolic bisimulation minimization 8 years ago
Matthias Volk 91bd638c18 Fixed segfault 8 years ago
dehnert 45a4b63a2e fixed some issue in sylvan sharpen and forward minmax bounds to linear equation solver 8 years ago
TimQu 5ad60051c3 Region model checker can now also return a (quantitative) upper/lower bound for a given region 8 years ago
Matthias Volk 8a74be1b72 Refactored DFT settings 8 years ago
dehnert f2e581b3df rational search for symbolic linear equation solvers 8 years ago
Matthias Volk 9350e281c7 Renamed storm-dyftee to storm-dft 8 years ago
Matthias Volk 349e276c9b Removed include of cpp file in storm-pars-cli and storm-dft-cli 8 years ago
Matthias Volk 1a4bc33e5b Fixed setting of debug settings in storm-dft-cli 8 years ago
TimQu 73b23e133e DRN parser now supports state rewards 8 years ago
dehnert 086201ac43 corrected some output and adapted requirements of symbolic minmax solver 8 years ago
dehnert a8c6c62275 rational search working for symbolic MDPs 8 years ago
dehnert b09cb95254 fixed wrong call in sylvan double to rational number conversion 8 years ago
dehnert da02237769 work towards symbolic rational search 8 years ago
dehnert af60db2c38 work towards symbolic rational search 8 years ago
Sebastian Junges a42e8e965a more robust drn parser 8 years ago
dehnert 6e8465e9f1 started on symbolic rational search 8 years ago
dehnert 55c787e0d8 proper EC elimination in hybrid helper 8 years ago
Matthias Volk e5387ecc85 Deactivated conversion to CTMC for trivial non-determinism in MA as it is not correct at the moment 8 years ago
TimQu 6fa4e6b455 fixed SOR and gaussseidel linear equation solver methods 8 years ago
dehnert 694e6ba240 EC elimination for Pmax for hybrid MDP model checker 8 years ago
dehnert e557a8e069 started on EC elimination for hybrid engine 8 years ago
Matthias Volk 20a76f01e2 Better error output for jit 8 years ago
dehnert 58ca07584d rational search for native linear equation solver and several involved fixes 8 years ago
TimQu 20960d56e7 added missing 'this->'. Also avoid in-place matrix vector multiplication when extracting a scheduler 8 years ago
TimQu f83dbf741b fixed wrong template argument 8 years ago
TimQu 96f45fe77a fixed missing return statements 8 years ago
TimQu 1396de3c5f Enforce no end components when we want to compute a scheduler from a minmax equation system 8 years ago
TimQu 50ba6866eb checking solver requirements for PLA 8 years ago
dehnert df05711f3e finished rational search for MinMax solver, preparing rational search for NativeLinearEquationSolver 8 years ago
dehnert 0c8866203c tracking bugs, lots of debug output 8 years ago
dehnert afd2acd06b more work on Kwek-Mehlhorn approach 8 years ago
dehnert 254bc05e94 more work on RationalSearch 8 years ago
dehnert 088c2d8b15 fixed missing suffix 8 years ago
dehnert b3f0aa511e started on Kwek-Mehlhorn-based exact value computation 8 years ago
dehnert cb15db041c add missing include 8 years ago
dehnert 76fa67fd35 added missing include 8 years ago