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

Commit Graph

  • a7540171ba Bindings for simplification of parametric models Matthias Volk 2017-08-11 14:42:40 +0200
  • 3ac4086369 Added space Matthias Volk 2017-08-11 14:19:55 +0200
  • 5a26d0e99f Test for building MDP Matthias Volk 2017-08-11 14:19:21 +0200
  • f47f8ee4ed Uppercase Storm in documentation Matthias Volk 2017-08-11 11:24:25 +0200
  • fae092dbad Small updated in README Matthias Volk 2017-08-11 11:13:02 +0200
  • d89282b517 Moved build status to top in README Matthias Volk 2017-08-11 11:08:03 +0200
  • 54e6989ebc Update stormpy version Sebastian Junges 2017-08-10 15:45:50 +0200
  • 1426510b57 We depend on the latest storm version and pycarl version (delayed update) Sebastian Junges 2017-08-10 15:45:30 +0200
  • 06e397f9f9 support model checking from formulas (instead of just from properties) Sebastian Junges 2017-08-10 10:54:19 +0200
  • 6e55f64a14 Add constructor for BooleanLiteralFormula Sebastian Junges 2017-08-10 10:53:39 +0200
  • bbbdbd6c69 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2017-08-09 16:54:22 +0200
  • 19f8d47202 Fixed import problem in tests when storm-pars is not available Matthias Volk 2017-08-09 16:54:16 +0200
  • 716c6be910 extended getting started with the model type Sebastian Junges 2017-08-09 15:55:40 +0200
  • a96fda66fc Fix installation guide Sebastian Junges 2017-08-09 13:38:28 +0200
  • 14eedd6ca3 Skip tests if submodules are not supported Matthias Volk 2017-08-08 15:47:53 +0200
  • d365b00de8 Raise StormError Matthias Volk 2017-08-08 15:26:55 +0200
  • 70e1985ad0 Raise StormError if symbolic description has undefined constants Matthias Volk 2017-08-08 15:24:54 +0200
  • 1197155d8d Binding for undefined_constants_are_graph_preserving Matthias Volk 2017-08-08 14:34:31 +0200
  • d26202c402 Base class for storm exceptions Matthias Volk 2017-08-08 14:33:45 +0200
  • ddae1c8c80 Test (currently) unsupported jani property Matthias Volk 2017-08-04 10:34:40 +0200
  • 24571195cd Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2017-08-03 18:29:55 +0200
  • 5021d8b8ea Updated changelog Matthias Volk 2017-08-03 18:29:11 +0200
  • fda8003bc5 Tests for model checking jani file Matthias Volk 2017-08-03 18:28:51 +0200
  • 29cfa574b8 Bindings for instantiating constants in SymbolicModelDescriptions Matthias Volk 2017-08-03 18:16:44 +0200
  • e1ad468963 extended example 06 Sebastian Junges 2017-08-03 17:53:33 +0200
  • 36b16e0ccb Fix indention in getting started docs Sebastian Junges 2017-08-03 17:35:15 +0200
  • 219b342da5 Test for jani property Matthias Volk 2017-08-03 17:39:24 +0200
  • 6e126e5641 Bindings for JANI Matthias Volk 2017-08-03 17:33:26 +0200
  • 77debd6847 Install sphinx_bootstrasp_theme in travis for generating docs Matthias Volk 2017-08-03 14:00:27 +0200
  • 25e222ded0 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2017-08-03 11:54:35 +0200
  • 400f02d3e1 add link to examples folder Sebastian Junges 2017-08-03 11:48:53 +0200
  • c66c6552c8 added links in getting started Sebastian Junges 2017-08-03 11:47:38 +0200
  • a6712ba672 05 getting started should be 06 getting started Sebastian Junges 2017-08-03 11:34:58 +0200
  • d78cf41b96 Change to bootstrap theme Sebastian Junges 2017-08-03 11:34:34 +0200
  • 2c81318030 Bindings for storm versions Matthias Volk 2017-08-03 11:29:43 +0200
  • a2903b197b include imported members Sebastian Junges 2017-08-02 18:48:33 +0200
  • 1513c2162c example for iterating over the matrix Sebastian Junges 2017-08-02 18:48:06 +0200
  • 9f9b704611 slightly extended test in model instantiator Sebastian Junges 2017-08-02 18:47:38 +0200
  • 8c122e11cb Run all tests in travis Matthias Volk 2017-08-02 18:23:23 +0200
  • 7d5fa6edc5 Updated changelog Matthias Volk 2017-08-02 18:16:56 +0200
  • 039427b541 Check storm version Matthias Volk 2017-08-02 18:16:05 +0200
  • 72cb102013 Test for model instantiation Matthias Volk 2017-08-02 18:04:22 +0200
  • e13df9b2ec Formatted tests according to PEP Matthias Volk 2017-08-02 18:04:00 +0200
  • f6f28b4621 Make config from info available Matthias Volk 2017-08-02 18:03:02 +0200
  • 9a73e0cd45 Use stormpy definitions of pycarl types in tests Matthias Volk 2017-08-02 18:01:26 +0200
  • d78c86a746 Removed type in getting_started Matthias Volk 2017-08-02 17:36:58 +0200
  • 12b934267e Refactored documentation examples according to PEP Matthias Volk 2017-08-02 17:36:33 +0200
  • 8b2a11ad42 Added docs to methods in lib Matthias Volk 2017-08-02 17:30:26 +0200
  • 3fda6ba227 Get stormpy version similar to pycarl Matthias Volk 2017-08-02 17:20:48 +0200
  • 2459fdfab9 Link to travis with a build passing image. Sebastian Junges 2017-08-02 14:53:56 +0200
  • 13d8d6f5ca run doctest on getting started Sebastian Junges 2017-08-02 14:51:09 +0200
  • 9dfd1b3615 getting started can now be checked by doctest Sebastian Junges 2017-08-02 14:50:58 +0200
  • aed4dffd13 make sure that examples are run when running tests Sebastian Junges 2017-08-02 14:19:39 +0200
  • 201aaa115d make sure examples run through again Sebastian Junges 2017-08-02 14:19:08 +0200
  • 2b12983572 Updated Changelog Matthias Volk 2017-08-01 15:03:54 +0200
  • 66da4e5463 Made expression module part of storage module Matthias Volk 2017-08-01 15:03:41 +0200
  • e4c53a47c9 Changed README Matthias Volk 2017-07-27 14:27:35 +0200
  • 540a3f4e0c Refactored constraint collector Matthias Volk 2017-07-19 15:05:26 +0200
  • e27a6f5265 Added bindings for RegionResultHypthesis Matthias Volk 2017-07-14 11:45:46 +0200
  • ed1a7723fd Fixed some links in documentation Matthias Volk 2017-07-04 13:44:47 +0200
  • 02672f91bb Automatically generate gh-pages in travis Matthias Volk 2017-07-04 11:54:00 +0200
  • 921e88f0da Remove mail address in travis Matthias Volk 2017-07-04 10:30:49 +0200
  • ac86bb8c4a Fixed typo in travis Matthias Volk 2017-07-04 10:13:04 +0200
  • 30e0deeb8f Use deprecated images in travis Matthias Volk 2017-07-04 10:08:19 +0200
  • 4c64f2a0fe Use PYBIND11_MODULE instead of PYBIND11_PLUGIN Matthias Volk 2017-07-03 23:57:18 +0200
  • d62afb248b Started on travis for stormpy Matthias Volk 2017-07-03 17:44:17 +0200
  • 0c146601f0 Updated to new pybind version Matthias Volk 2017-06-30 20:58:00 +0200
  • ecd1b1f528 Import not needed in test Matthias Volk 2017-06-30 20:57:31 +0200
  • 979844a698 Gitignore for generated files Matthias Volk 2017-06-30 20:21:10 +0200
  • 1c846ad3fa Updated changelog Matthias Volk 2017-06-30 18:15:15 +0200
  • 21e9bbf34a Python bindings for storm-pars Matthias Volk 2017-06-30 18:13:10 +0200
  • a175c16c09 Create missing dir in setup.py Matthias Volk 2017-06-30 14:00:51 +0200
  • 480c268679 Bindings for graph constraints Matthias Volk 2017-06-23 15:18:50 +0200
  • b6061cc620 Updated bindings to new api Matthias Volk 2017-06-07 17:56:21 +0200
  • c780ce6a0e Updated labeling bindings to new data structures Matthias Volk 2017-06-02 15:35:29 +0200
  • ed4fba1277 Updated tests as matrix does not contain 0-transitions anymore Matthias Volk 2017-06-02 15:34:51 +0200
  • c7b3fae4d0 Binding for exporting into DRN format Matthias Volk 2017-05-31 17:36:30 +0200
  • 8f252c20d4 Added setup.py flags --jobs and --debug Matthias Volk 2017-05-31 17:33:28 +0200
  • d1b797a126 fixes after updated pycarl and storm Sebastian Junges 2017-05-17 21:11:01 +0200
  • e960b41315 fixed tests to be compatible with pycarl v2 Sebastian Junges 2017-05-02 18:32:38 +0200
  • b30c9877a9 generated config files should not be part of the git Sebastian Junges 2017-05-02 18:32:13 +0200
  • fa52b1b7eb alias stormpy types for rationals and rational functions Sebastian Junges 2017-05-02 18:31:56 +0200
  • 601be9876c Check for storm version. Sebastian Junges 2017-04-28 00:30:05 +0200
  • f9c008c965 more stable import of information from storm via cmake, more flags Sebastian Junges 2017-04-27 20:38:15 +0200
  • 9dab81b6cf pybind somehow was duplicated in stormpy/resources Sebastian Junges 2017-04-27 20:37:02 +0200
  • 0ee8d1ba07 Merge branch 'pla_bindings' Matthias Volk 2017-04-26 17:44:31 +0200
  • bab9d366d4 Fixed PLA bindings after updates Matthias Volk 2017-04-26 17:41:59 +0200
  • 49101d906b Jani Model Bindings Sebastian Junges 2017-04-26 12:32:56 +0200
  • 2e45a11873 Gather derivatives for PLA Matthias Volk 2017-04-20 12:04:41 +0200
  • b913f216b4 Smaller bisimulation model which takes less time Matthias Volk 2017-04-07 14:03:01 +0200
  • 790c62a48a Check if DFT support was built Matthias Volk 2017-04-07 13:49:34 +0200
  • 3df8f71c0a Use given storm-dir for checking if dft is available Matthias Volk 2017-04-07 11:54:19 +0200
  • ca7f40f975 Fixed bisimulation test Matthias Volk 2017-04-07 11:50:32 +0200
  • 312b69e31c Merge from dft_bindings Matthias Volk 2017-04-07 11:50:18 +0200
  • 86d5ddd8fd unwrap threshold expressions (2nd Ed.) Tom Janson 2017-04-05 19:28:43 +0200
  • 3d56c32992 unwrap threshold expression Tom Janson 2017-04-05 19:17:51 +0200
  • 1aee92553e Make all arguments available for analyzeRegion Matthias Volk 2017-04-05 18:14:23 +0200
  • f14d8f3b7c import pycarl.Variable for parametric stuff Tom Janson 2017-04-05 17:40:26 +0200
  • 9fdd155e05 add pycarl dependencey to setup.py Tom Janson 2017-04-05 16:16:33 +0200
  • c70b5bf7e6 add missing namespace alias in model.cpp Tom Janson 2017-04-05 16:13:10 +0200