sp
/
tempestpy
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 95da370b4a Improve distribution Matthias Volk 2018-04-25 16:10:22 +0200
  • da81f6cf1a Raise ImportError when using python 2.x Matthias Volk 2018-04-25 15:10:13 +0200
  • 9b57e37ee4 Updated gitignore Matthias Volk 2018-04-25 15:08:56 +0200
  • bb3b2a8f5e Travis: use absolute path Matthias Volk 2018-04-20 17:55:52 +0200
  • aa5c8fb6fe Travis: minor change in travis script Matthias Volk 2018-04-20 16:51:17 +0200
  • a1d7266567 Travis: change docker repo Matthias Volk 2018-04-20 16:50:50 +0200
  • 8de8570d11 - more expression handling - smt wrap Sebastian Junges 2018-04-19 15:03:34 +0200
  • 1ac1066325 Increased required Storm version Matthias Volk 2018-04-18 20:39:02 +0200
  • d6056d71fa Travis: try to fix allow_failures Matthias Volk 2018-04-18 20:31:44 +0200
  • 5ba71f81b5 Travis: test against stable version of Storm as well Matthias Volk 2018-04-18 17:52:16 +0200
  • 717fa454d2 Updated example drn file Matthias Volk 2018-04-18 15:15:39 +0200
  • b78772e560 Binding for computing all forward probabilities Matthias Volk 2018-04-08 22:11:18 +0200
  • d53ca206b3 Binding for transient probabilities Matthias Volk 2018-04-04 00:11:25 +0200
  • e7e474bebc support for JANI Sebastian Junges 2018-04-02 17:25:00 +0200
  • 3332c66b2c contains variable Sebastian Junges 2018-04-02 17:24:11 +0200
  • 166cae8499 cloning formulae Sebastian Junges 2018-04-02 17:23:34 +0200
  • 2cedd7fe1e counterexamples updated to reflect code change in storm Sebastian Junges 2018-03-28 18:53:05 +0200
  • 704345cab8 Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-03-28 18:25:00 +0200
  • a7191e24ba support for queries on schedulers Sebastian Junges 2018-03-28 18:15:20 +0200
  • 11b2a219a7 support for extraction of schedulers Sebastian Junges 2018-03-28 17:17:41 +0200
  • 9da3bc8053 Test case for MDP model checking Matthias Volk 2018-03-28 17:01:44 +0200
  • 8694ab9a7e Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-03-28 14:44:01 +0200
  • 606305ca72 pla: get split estimates Sebastian Junges 2018-03-08 23:54:52 +0100
  • 5e5247840a Travis: small fix Matthias Volk 2018-02-19 10:05:06 +0100
  • 8d9494e1a4 Travis: set storm directory Matthias Volk 2018-02-16 13:56:50 +0100
  • 8ebc0ffce4 Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-02-02 16:26:54 +0100
  • 74f71c1ee7 Use travis docker images Matthias Volk 2018-01-31 10:25:41 +0100
  • b98ac4efa1 at for qualitative check results Sebastian Junges 2018-01-30 21:23:05 +0100
  • 010e95e925 apt-get update in travis Matthias Volk 2018-01-29 13:07:31 +0100
  • 8b81d0d1a0 state action rewards convenience function added Sebastian Junges 2018-01-28 20:02:37 +0100
  • 3b2036465e towards support for more info from prism programs sjunges 2017-12-18 22:23:45 +0100
  • 777a24f29e bindings for expression type sjunges 2017-12-18 22:23:08 +0100
  • 8db0759f58 optimality type for formulae Sebastian Junges 2018-01-27 19:15:24 +0100
  • 04f70bd706 Additional tests for PLA bindings Sebastian Junges 2018-01-19 14:24:07 +0100
  • 474b5a8cbc fix for pla Sebastian Junges 2018-01-19 14:23:52 +0100
  • 75ac1a3e25 get state reward directly Sebastian Junges 2018-01-19 14:23:38 +0100
  • d9ff33a9e0 extended pla bindings for latest additions in PLA and to build PLA checker directly Sebastian Junges 2018-01-12 23:38:58 +0100
  • 0a8482d068 Computing model checking result only for inital states Matthias Volk 2018-01-12 18:10:43 +0100
  • b27b26f2b7 row group start and row group end for iteration over matrices Sebastian Junges 2018-01-08 15:55:27 +0100
  • 10eea677e9 Add support for integer cast from state objects Sebastian Junges 2018-01-08 15:54:57 +0100
  • 326c64a953 reward models from drn files Sebastian Junges 2018-01-08 14:21:01 +0100
  • 58dd78c791 Left and right subformulae of binary path formula Sebastian Junges 2018-01-08 14:11:29 +0100
  • 80b4be4467 cleaned the example a bit Sebastian Junges 2018-01-03 15:34:01 +0100
  • e002b5938b Model Building: First example for substitution of existing parametric models Sebastian Junges 2018-01-03 15:21:47 +0100
  • 5873ac24b2 more prismprogram functionality sjunges 2017-12-21 00:40:10 +0100
  • 10eccdced3 builder options wrapped sjunges 2017-12-21 00:39:36 +0100
  • 703034660f high level counterexamples sjunges 2017-12-21 00:39:14 +0100
  • 0248454856 exploring prism programs Sebastian Junges 2017-12-20 21:39:28 +0100
  • b9c5ff5a63 SubstituteConstants in PrismProgram Sebastian Junges 2017-12-20 18:33:17 +0100
  • f98575d82c ExpressionParser Sebastian Junges 2017-12-20 18:33:00 +0100
  • a2f23e38d4 QualitatitiveCheckResult, convenient at. Sebastian Junges 2017-12-20 18:29:44 +0100
  • 5c1f29bca6 expression handling (wip) sjunges 2017-12-19 08:57:10 +0100
  • cb9145ca6a example sjunges 2017-12-19 08:56:55 +0100
  • 9e42f73015 towards support for more info from prism programs sjunges 2017-12-18 22:23:45 +0100
  • 68b2b7166b bindings for expression type sjunges 2017-12-18 22:23:08 +0100
  • 9b59663baa Moved some parametric tests into tests/pars/ dir Matthias Volk 2017-12-13 19:58:06 +0100
  • bcab426bd5 Added missing cases for CTMC and MA in model building Matthias Volk 2017-12-13 19:47:58 +0100
  • 6c729cabf7 New stormpy version 1.2.0 Matthias Volk 2017-12-11 16:23:12 +0100
  • e9ad0264a1 Updated changelog Matthias Volk 2017-12-11 14:20:58 +0100
  • eb7bc95c02 Fixed typo in travis script Matthias Volk 2017-12-08 17:27:25 +0100
  • 0bf4c731ba Use configured build type in Travis Matthias Volk 2017-12-08 17:08:09 +0100
  • 543f5d3529 Updated Changelog Matthias Volk 2017-12-07 18:12:24 +0100
  • 979bc4646c Increased version numbers of dependencies Matthias Volk 2017-12-07 17:47:39 +0100
  • 1501f7313e Added checklist for new release Matthias Volk 2017-12-07 17:33:26 +0100
  • de2c4ad8e5 reward model docu Sebastian Junges 2017-12-07 17:29:57 +0100
  • feadda0d86 Extended setup.py script similar to pycarl one Matthias Volk 2017-12-07 14:33:02 +0100
  • befecb4761 convenience functions for prob01 states Sebastian Junges 2017-11-30 17:42:39 +0100
  • b012d0143c Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Sebastian Junges 2017-11-28 13:44:08 +0100
  • a7e623d29b Updated bindings for PLA after environment change Matthias Volk 2017-11-26 16:05:07 +0100
  • 06ec360c86 Bindings for storm environments Matthias Volk 2017-11-26 16:04:35 +0100
  • d9fe8be10c Add a comment about labels and initial states in parametric models, thanks Nils Jansen. Sebastian Junges 2017-11-24 18:26:35 +0100
  • 70232816b6 printing initial states in example Sebastian Junges 2017-11-24 18:24:16 +0100
  • d581a95c65 examples and docu for building models Sebastian Junges 2017-11-24 18:23:47 +0100
  • a8fdb88c3e moved doc for shortest paths and the corresponding example Sebastian Junges 2017-11-24 18:13:16 +0100
  • 049752a791 Additionally test storm-debug in travis Matthias Volk 2017-11-15 18:00:57 +0100
  • ef38b73227 Added binding for SparseMatrix::getSubmatrix Matthias Volk 2017-11-15 17:27:44 +0100
  • d93c6a0c26 Removed restriction to DTMCs in gatherDerivatives Matthias Volk 2017-11-09 17:20:12 +0100
  • f798efa0cc Merge branch 'ksp-docs' Sebastian Junges 2017-11-07 11:09:58 +0100
  • 6f64af5acf some minor changes to the documentation tree Sebastian Junges 2017-11-07 11:09:12 +0100
  • a130406d4c Merge branch 'master' into develop sjunges 2017-11-03 19:27:44 +0100
  • 35c64948de changes in parse prism program due to changes in storm, not yet tested due to segfaults sjunges 2017-11-03 00:21:26 +0100
  • dd71882ee8 document basic functionality of ShortestPathsGenerator Tom Janson 2017-10-30 18:17:52 +0100
  • fee6da4d30 Get PLA bounds Sebastian Junges 2017-10-23 12:34:48 +0200
  • 76d22b1afc Disabled LTO to avoid segfaults Matthias Volk 2017-10-20 14:17:51 +0200
  • aacb202fb3 Updated dft bindings after Storm-dft refactoring Matthias Volk 2017-10-17 11:14:16 +0200
  • f2607fbdcb Fixed typo in documentation Matthias Volk 2017-10-12 17:44:07 +0200
  • 4dae2007d6 Added 05-getting-started Matthias Volk 2017-10-12 17:13:16 +0200
  • c3d026544d Check if storm-pars is supported in examples Matthias Volk 2017-10-12 11:42:43 +0200
  • 28684a078e Build full model if no formula is given Matthias Volk 2017-10-02 11:23:33 +0200
  • 2528daeb40 Removed old test code Matthias Volk 2017-10-02 10:42:36 +0200
  • 9911824e49 Fixed typo in doc Matthias Volk 2017-09-28 11:11:10 +0200
  • a163ccc3aa Fixed tab/space issue in getting_started Matthias Volk 2017-09-28 11:09:44 +0200
  • 44bcad9779 Fixed bindings for ModelBase::as Matthias Volk 2017-08-28 16:08:49 +0200
  • cb8c309d5d Constraint collector: general constructor Sebastian Junges 2017-08-20 21:52:27 +0200
  • 5a01fb35bd add missing reduce to state based rewards for parametric models Sebastian Junges 2017-08-14 15:37:18 +0200
  • a9c4e1ee8c merge Sebastian Junges 2017-08-14 15:36:53 +0200
  • 916706d06d parametric reward model Sebastian Junges 2017-08-13 16:12:23 +0200
  • 8dfbefd676 reduce to state based rewards Sebastian Junges 2017-08-13 16:12:10 +0200
  • a568ea27dd Moved the model instantiator to parameters, as this is now part of stormpy.pars Sebastian Junges 2017-08-13 15:54:46 +0200
  • d1a94d427f rewards for dtmcs Sebastian Junges 2017-08-13 14:19:01 +0200