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

Commit Graph

  • 5d41f02e16 state valuations.get_state() by reference, and simple valuations __str__ now only has optional arguments Sebastian Junges 2020-04-14 09:41:55 -0700
  • c3959267c2 model.is_sink_state(state) Sebastian Junges 2020-04-14 09:40:51 -0700
  • 38189e7004 first version of a model simulator Sebastian Junges 2020-04-12 22:02:39 -0700
  • e30b7da2e9 StateGenerator: add simulate function Philipp Schröer 2019-11-07 18:19:05 +0100
  • 81703b7851 flags for: a model is discrete_time, a model is nondeterministic Sebastian Junges 2020-04-12 16:20:38 -0700
  • 620d2e4094 StateGenerator: update test Philipp Schröer 2020-04-09 09:58:47 +0200
  • 45c6415eaa StateGenerator: expose choice origins Philipp Schröer 2019-12-13 19:29:28 +0100
  • 3531da5424 Jani: Added new fields of InformationObject. Tim Quatmann 2020-03-10 15:28:53 +0100
  • 86b7c033f0 Adapted jani bindings to changes in Storm Tim Quatmann 2020-03-10 15:13:26 +0100
  • 5ae552ee59 Minor improvements Matthias Volk 2020-03-10 14:19:36 +0100
  • 78c5ccb2b1 Adapted tests to changes in storm Matthias Volk 2020-03-10 14:19:26 +0100
  • 1a8ec096bc Use header file for all environments Matthias Volk 2020-03-10 14:19:06 +0100
  • b14ec6fc40 Add installation step for pytest in doc Matthias Volk 2020-03-09 13:57:39 +0100
  • 049f614759 Disable deprecation warnings for now. Otherwise the pybind11 compilation output is too cluttered. Matthias Volk 2020-03-09 13:57:26 +0100
  • d94317b17e Enable function signatures in documentation by default Matthias Volk 2020-03-04 17:46:35 +0100
  • 2df513f66e Updated documentation for new releases Matthias Volk 2020-03-04 17:46:06 +0100
  • 27fbfa6e52 Increased required Storm version Matthias Volk 2020-02-20 16:15:06 +0100
  • ae036cfad5 Adapted state space sizes in tests as Storm improvements lead to smaller models Matthias Volk 2020-02-20 16:14:29 +0100
  • 2ac4805554 added options for the DRN parser, reflects recent changes in storm Sebastian Junges 2020-02-07 15:20:31 +0100
  • d8c4bca6a7 added jani collector bindings Sebastian Junges 2020-02-06 14:32:14 +0100
  • 106e1146b6 Bindings for elimination of chains of non-Markovian states Matthias Volk 2020-01-22 16:32:42 +0100
  • 5a61c88b6d Tests for scheduler application and MA->CTMC translation Matthias Volk 2020-01-21 23:33:48 +0100
  • 9e31a5b83a Fixed __str__ of models Matthias Volk 2020-01-21 22:50:42 +0100
  • 7ae4d0806e expression conjucntion and disjunction Sebastian Junges 2019-12-19 13:07:20 +0100
  • 1e7a1e171f Updated CHANGELOG Matthias Volk 2019-12-19 12:18:04 +0100
  • 232a5c8dc4 Fixed missing import Matthias Volk 2019-12-19 12:15:13 +0100
  • cc24dbcd88 latest release badge Sebastian Junges 2019-12-18 16:03:38 +0100
  • 5ebb83b1ea new stormpy version 1.4.1 Sebastian Junges 2019-12-18 15:54:35 +0100
  • c2f86067d8 license GPLv3, as storm is also under that license Sebastian Junges 2019-12-18 15:50:26 +0100
  • da97ba1590 a bit better examples Sebastian Junges 2019-12-18 15:48:30 +0100
  • 74fa68bbcd updated changelog Sebastian Junges 2019-12-18 15:47:15 +0100
  • f1ec4763c8 Require Storm version 1.4.1 Matthias Volk 2019-12-14 19:55:44 +0100
  • 1bbf1f108e Adaption to changes in Storm Matthias Volk 2019-12-06 10:48:11 +0100
  • 300902a5cd support for getting results for a particular state with symbolic model checking Sebastian Junges 2019-12-03 17:12:58 +0100
  • 1ff8ba5fe5 Renamed classes for PrismVariables from Prism_Variable to PrismVariable etc. Sebastian Junges 2019-12-02 23:16:24 +0100
  • d1c3be5dba slightly awkward example to change probabilities Sebastian Junges 2019-12-02 18:31:53 +0100
  • 8589e9be9c Added missing file that illustrates some ways to explore parametric models Sebastian Junges 2019-12-02 18:03:11 +0100
  • 8a4e964ed9 updated changelog to reflect latest changes Sebastian Junges 2019-12-02 17:53:39 +0100
  • dff5e65b93 new information on using different model checking techniques Sebastian Junges 2019-12-02 17:53:25 +0100
  • 64ec557309 stormpy.model_checking(...) now supports both sparse and dd based models. Sebastian Junges 2019-12-02 17:37:04 +0100
  • fbff51a096 check whether the model is sparse or symbolic represented Sebastian Junges 2019-12-02 17:36:24 +0100
  • 2f8c8c6be9 topological sort added to examples Sebastian Junges 2019-12-02 17:31:51 +0100
  • 3f06963172 extended description of changing model checking environments Sebastian Junges 2019-12-02 16:14:50 +0100
  • 52b88c3710 A new example showing that one can change the analysis method Sebastian Junges 2019-12-02 16:01:50 +0100
  • feb279c7d1 Environment extended to select the model checking algorithm for Markov chains Sebastian Junges 2019-12-02 16:00:43 +0100
  • 752522aa9f new example on parametric models Sebastian Junges 2019-12-02 15:11:15 +0100
  • 1930a6d612 generic parse_properties for simpler code Sebastian Junges 2019-11-29 23:52:30 +0100
  • c9bcbb3343 remove spurious file Sebastian Junges 2019-11-29 23:49:48 +0100
  • 0a7f94f0b7 updated changelog Sebastian Junges 2019-11-29 18:02:54 +0100
  • bb8dbb3a2c Bump required Storm version Matthias Volk 2019-11-18 15:24:44 +0100
  • 35fc0699ee Bindings for InstantiationModelchecker with RationalNumber Matthias Volk 2019-11-08 11:18:38 +0100
  • d96249096e Adaptions to changes in Storm Matthias Volk 2019-11-05 15:04:45 +0100
  • c1f2c83e1f StateGenerator Philipp Schröer 2019-10-25 12:15:39 +0000
  • a526933814 Modified pybind support for C++17 to fix issues with Xcode 11 Matthias Volk 2019-10-04 15:18:56 +0200
  • 76870b61be building models with valuations Sebastian Junges 2019-10-03 14:21:47 +0200
  • 4f19598e49 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Sebastian Junges 2019-10-03 14:20:53 +0200
  • c05c08baa3 Travis: fix directories Matthias Volk 2019-10-02 12:56:30 +0200
  • 71e8e3f569 Travis: consistent naming of virtual environment Matthias Volk 2019-10-01 13:49:25 +0200
  • 61b68b521b added example file for parametric brp Sebastian Junges 2019-09-30 21:35:41 +0200
  • ca5d901052 Travis: allow multiple tasks Matthias Volk 2019-09-30 21:26:19 +0200
  • 583d00012e Fixed loading of build config Matthias Volk 2019-09-30 20:31:45 +0200
  • 59ab38c1ea Travis: deploy to Docker Hub Matthias Volk 2019-09-30 18:31:12 +0200
  • 13ac8218b0 Travis: build carl-parser as dependency Matthias Volk 2019-09-30 18:29:46 +0200
  • 3bf516f08e Changed constructor of ParameterRegion to take a valuation. Matthias Volk 2019-08-13 14:48:51 +0200
  • 3606edfa96 Test for symbolic parametric bisimulation Matthias Volk 2019-08-05 10:01:32 +0200
  • de7aaa3fff Set Storm settings Matthias Volk 2019-07-29 17:05:39 +0200
  • e831ae36c5 Binding for preprocessing prism models Matthias Volk 2019-07-24 13:56:50 +0200
  • c7e9ff14b9 binding for evaluate_as_rational (expressions) Kevin Batz 2019-07-05 14:36:21 +0200
  • 92275c3960 tests for prism programs and expressions Kevin Batz 2019-07-02 12:38:40 +0200
  • a762b28b63 additional bindings for expressions and prism programs Kevin Batz 2019-07-02 10:46:39 +0200
  • 7641c433a9 Adaptions to changes in Storm Matthias Volk 2019-05-21 15:10:43 +0200
  • c0c0a4b547 Merge from master Matthias Volk 2019-05-21 15:02:23 +0200
  • 2bd53218ad Adaptions to changes in Storm-dft Matthias Volk 2019-04-17 23:43:29 +0200
  • 65cd8f4787 Adaption to changes in Storm-dft Matthias Volk 2019-04-12 11:05:25 +0200
  • 0595ee1d64 Added documentation for MA scheduler extraction Matthias Volk 2019-04-05 11:51:08 +0200
  • 72bbb161b3 Removed print statement in tests Matthias Volk 2019-04-05 11:50:01 +0200
  • 341bd544e3 Added tests for MAs: scheduler extraction and transformation to MDPs Matthias Volk 2019-04-05 11:47:10 +0200
  • 37d82d4e0c Fixed typo in doc Matthias Volk 2019-04-04 17:04:07 +0200
  • e148fbcd6a Added documenation for schedulers Matthias Volk 2019-04-04 17:03:56 +0200
  • aae472389e Added test for scheduler Matthias Volk 2019-04-04 17:03:25 +0200
  • 2908ac1b70 Get all parameters from sparse or symbolic model Matthias Volk 2019-02-19 15:21:16 +0100
  • e9ddc058f6 instantiation checker for mdps Sebastian Junges 2019-02-15 12:43:24 +0100
  • 2e218a14b3 add instantiation checker (for pDTMCs) Sebastian Junges 2019-02-06 23:00:12 +0100
  • fdf566876e Increment required Storm version Matthias Volk 2019-02-06 15:14:20 +0100
  • 333804b208 Transformation from CTMCs to DTMCs Matthias Volk 2019-01-29 21:14:34 +0100
  • 6233fc5f82 Set correct pycarl version in CHANGELOG Matthias Volk 2019-01-02 18:57:16 +0100
  • 57f4dfc344 Require newest pycarl version Matthias Volk 2019-01-02 17:57:33 +0100
  • 7268fc1472 Set version in doc automatically Matthias Volk 2019-01-02 17:54:52 +0100
  • b30cae0d6d Updated CHANGELOG Matthias Volk 2019-01-02 17:54:29 +0100
  • abe5c8d69e Require Storm version >= 1.3.0 Matthias Volk 2018-12-11 15:08:18 +0100
  • 5eb7af76b1 Travis: use new Storm release 1.3.0 Matthias Volk 2018-12-11 13:42:37 +0100
  • e35f390414 copy sparse models Sebastian Junges 2018-12-07 15:06:40 +0100
  • 7c8110f38d extra example file listed Sebastian Junges 2018-12-07 15:05:12 +0100
  • aaf22508a1 update changelog in preparation of release Sebastian Junges 2018-12-07 14:12:59 +0100
  • bdff55242e setting stormpy version to 1.3.0 in preparation of release Sebastian Junges 2018-12-07 14:12:47 +0100
  • 910e24a73e fixed tests based on changes in storm Sebastian Junges 2018-12-07 14:04:29 +0100
  • 98e61814f8 fix test to use new capitalised operators Sebastian Junges 2018-12-07 13:12:02 +0100
  • af5872d633 Fixed conversion to raw_formula for properties Matthias Volk 2018-12-06 18:48:19 +0100
  • 9317d54083 extended support for mdps Sebastian Junges 2018-11-29 12:59:58 +0100
  • 2e1f60a3c0 support for submodel construction Sebastian Junges 2018-11-29 12:56:55 +0100