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

Commit Graph

  • 70ddde905f Renaming to PLAChecker Matthias Volk 2017-04-04 18:01:33 +0200
  • fd1c9a586e Add PLA support Matthias Volk 2017-04-04 17:58:09 +0200
  • 5fa6cf2fc7 Compatibility with refactor_pla branch Matthias Volk 2017-04-04 17:57:43 +0200
  • 3c7a4b49a5 PmcResult is CheckResult + constraints Matthias Volk 2017-03-31 08:15:07 +0200
  • cc837089aa Small fixes in tests Matthias Volk 2017-03-30 18:15:28 +0200
  • 7342428c5e Improved bisimulation test Matthias Volk 2017-03-30 18:08:47 +0200
  • c896e6a3ee Fixed usage of storm namespace Matthias Volk 2017-03-30 18:08:21 +0200
  • 4e20a21fd0 Add possibility to build from prism without formula Matthias Volk 2017-03-30 18:07:29 +0200
  • e1d15a9d96 Only build stormpy.dft when storm-dft library was found Matthias Volk 2017-03-30 18:06:36 +0200
  • 19a13e8e1f SparseMatrix: add hasTrivialRowGrouping accessor Tom Janson 2017-03-30 00:12:23 +0200
  • 2b9c4b61e7 fix version info binding Tom Janson 2017-03-13 10:45:24 +0100
  • f094216dce crudely sanity-check instance matrix content Tom Janson 2017-03-15 21:08:32 +0100
  • f91ba50800 use type aliases in model.cpp Tom Janson 2017-03-30 00:12:41 +0200
  • 0be192a0ae use type alias to improve readability of matrix.cpp Tom Janson 2017-03-17 19:26:47 +0100
  • dbfd243e50 add container API (index access w []) to BitVector Tom Janson 2017-03-17 18:09:24 +0100
  • 8d93227c72 fix & extract matrix row __str__ Tom Janson 2017-03-17 17:57:28 +0100
  • a97de7a078 add Matrix slicing Tom Janson 2017-03-17 17:38:23 +0100
  • 8c92b248db add various __str__ fcts Tom Janson 2017-03-15 20:59:05 +0100
  • 56ba8685d5 extract parametric prism program parse test Tom Janson 2017-01-02 20:40:42 +0100
  • 64701f79d0 more cosmetics Tom Janson 2017-03-13 10:48:55 +0100
  • 6652e4acf1 whitespace / PEP8 Tom Janson 2017-03-13 10:47:27 +0100
  • 8b46203e11 pybind update Sebastian Junges 2017-03-28 15:31:50 +0200
  • 20b1b01139 Bisimulation takes properties Matthias Volk 2017-03-28 14:01:29 +0200
  • 968901cca5 Change test for merged failed states Matthias Volk 2017-03-16 14:36:06 +0100
  • 9618b5ca31 Length for states and actions Matthias Volk 2017-03-16 14:16:55 +0100
  • ed2875eb7d Changed state and action for models Matthias Volk 2017-03-16 13:41:33 +0100
  • f646a70186 Added symred support Matthias Volk 2017-03-10 16:24:24 +0100
  • c017949d0c Use matrix instead of model for iterators Matthias Volk 2017-03-08 17:44:38 +0100
  • 26d2b90f44 Bindings for state labeling Matthias Volk 2017-03-07 19:09:01 +0100
  • 64c663a809 Started with Python bindings for storm-dft Matthias Volk 2017-03-06 16:57:26 +0100
  • 0b290d782f ModelInstantiator for CTMC and MA as well Matthias Volk 2017-03-02 23:26:24 +0100
  • db86de9443 Bindings for importing DRN files Matthias Volk 2017-03-02 13:25:38 +0100
  • 505594dbba Small comment Matthias Volk 2017-03-01 18:01:34 +0100
  • e025ddf8b5 examples to accompany our getting started guide Sebastian Junges 2017-02-01 12:07:43 +0100
  • 8def8dd30b extended getting started guide Sebastian Junges 2017-02-01 12:07:20 +0100
  • 5fa24f2f58 documentation update Sebastian Junges 2017-01-24 20:02:20 +0100
  • f27b2e4a1e contributors Sebastian Junges 2017-01-21 18:18:03 +0100
  • 4bfa6776ed prob01min and prob01max now map on prob01 for dtmcs sjunges 2017-01-18 23:25:48 +0100
  • ac9a233aaf ModelInstantiator for MDP & DTMC sjunges 2017-01-18 23:13:50 +0100
  • 9272bffea4 extended test Sebastian Junges 2017-01-18 18:41:46 +0100
  • 116245ecbb property constructor from formula Sebastian Junges 2017-01-18 18:21:26 +0100
  • 48c9f58722 subformula for unary formulae Sebastian Junges 2017-01-18 16:53:03 +0100
  • 0c67ef833d comments Sebastian Junges 2017-01-17 18:55:27 +0100
  • ed311bdd22 create signatures without c++ types Sebastian Junges 2017-01-17 18:54:51 +0100
  • 1d18652011 MdpInstantiator is now called PmdpInstantiator Sebastian Junges 2017-01-17 13:47:06 +0100
  • afddae71eb text about properties added Sebastian Junges 2017-01-17 13:46:46 +0100
  • 93a5346c70 Prob 01 states also on MDPs and parametric models Sebastian Junges 2017-01-17 13:46:07 +0100
  • 05eaaa4055 add header include in shortestPath for gcc support sjunges 2017-01-15 17:05:16 +0100
  • 2c09b0f436 gcc support: removed abstract methods in results.cpp from python bindings which werent that helpful sjunges 2017-01-15 17:04:50 +0100
  • ecf5725961 updated gitignore Sebastian Junges 2017-01-12 23:29:57 +0100
  • e7db19154d tests updated Sebastian Junges 2017-01-12 23:29:03 +0100
  • f06bd48dfb model checking and bisim adapted to properties Sebastian Junges 2017-01-12 23:26:56 +0100
  • 3140711d36 build symbolic models now is named accordingly Sebastian Junges 2017-01-12 23:06:05 +0100
  • b649a5c96b build_model now takes a list of properties, unified the interface around building models Sebastian Junges 2017-01-12 23:05:28 +0100
  • 8e7a71148e property is now added, boost::none is used to avoid confusion in parse_property definitions Sebastian Junges 2017-01-12 22:35:52 +0100
  • b3c5764c32 support for boost;:optional Sebastian Junges 2017-01-12 22:34:45 +0100
  • 299538b4e4 fixed mdp model instantiator, and added jani properties towards compatibility with current storm version Sebastian Junges 2017-01-12 19:52:49 +0100
  • 3c1a2082e5 mdp instantiation Sebastian Junges 2017-01-12 18:50:28 +0100
  • 95f83a7224 Binding for CheckResult Matthias Volk 2017-01-04 14:24:02 +0100
  • 93641ba97d Marked some bindings private Matthias Volk 2017-01-04 10:23:32 +0100
  • a493dd3c42 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2017-01-03 12:40:15 +0100
  • 01a529b46f cleaned the common.h Sebastian Junges 2017-01-03 11:40:38 +0100
  • 32eae51b16 first working test for model instantiator Sebastian Junges 2017-01-03 11:40:13 +0100
  • 7133a4e79e some support for getting parameters Sebastian Junges 2017-01-03 11:39:36 +0100
  • 3396141e13 updated installation docu Sebastian Junges 2017-01-03 11:06:02 +0100
  • 2cb060dd2a Moved results in own class Matthias Volk 2017-01-03 10:12:55 +0100
  • e75fd74c32 ksp: cosmetics Tom Janson 2017-01-02 17:05:34 +0100
  • 5707b5908a ksp: fix Model declaration Tom Janson 2017-01-02 17:04:48 +0100
  • 4ad1358a2a added first version of model instantiator Sebastian Junges 2016-12-30 22:03:18 +0100
  • a3663bfa40 fixed signature due to changed signature in storm / storm::buildSparseModel Sebastian Junges 2016-12-30 22:02:51 +0100
  • 724de252e4 1st version of computing prob01 states Matthias Volk 2016-12-23 11:57:57 +0100
  • 008a780a9d Added test cases for BitVector Matthias Volk 2016-12-23 11:43:25 +0100
  • 88451f656b fix overriding by setup.py such that install now works again Sebastian Junges 2016-12-21 14:35:11 +0100
  • 7304a1cb1b rm old unused src/CMakeLists Tom Janson 2016-12-20 18:04:50 +0100
  • bfea1cc06a Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2016-12-20 17:56:58 +0100
  • d0a0a6f2cc Run tests from setup.py Matthias Volk 2016-12-20 17:56:50 +0100
  • dccfbe611e specify lib out dir in CMakeLists (in addition to setup.py override) Tom Janson 2016-12-20 17:47:34 +0100
  • f0368b6aa2 Fixed problem with unknown storm_dir in setup.py Matthias Volk 2016-12-20 13:30:55 +0100
  • 9c8c7d0ed0 added missing file Sebastian Junges 2016-12-20 13:00:30 +0100
  • 417f9bc2be disable signature doc Sebastian Junges 2016-12-19 23:19:09 +0100
  • ad3ce95d10 setup.py: use (virtual) CPU count as make -j arg Tom Janson 2016-12-19 21:38:22 +0100
  • b70893c693 style changes in setup.py Tom Janson 2016-12-19 21:37:56 +0100
  • f6d68f4992 refactor stormpy module declaration in CMakeLists Tom Janson 2016-12-19 21:33:09 +0100
  • 3db62f4638 add k-shortest paths binding (ShortestPathsGenerator) Tom Janson 2016-12-18 02:33:42 +0100
  • 09b2bfcf67 add ShortestPathsGenerator method binding (and fancy test fixture) Tom Janson 2016-12-18 02:29:13 +0100
  • 5b782b5ca7 add ShortestPathsGenerator matrix/vector ctor bindings Tom Janson 2016-12-18 01:23:30 +0100
  • 1dd14e6e80 simplify KSP test fixture names Tom Janson 2016-12-18 01:08:40 +0100
  • b85f6ae1da fix KSP test model fixture scope Tom Janson 2016-12-18 01:05:54 +0100
  • 6f347ee354 add ShortestPathsGenerator binding (ctors, TODO: rest) Tom Janson 2016-12-18 00:37:05 +0100
  • d955bcb1c2 add BitVector binding Tom Janson 2016-12-18 00:02:43 +0100
  • e1472a258d use pybind11::literals namespace Tom Janson 2016-12-18 00:01:54 +0100
  • 77dff27866 Path (from storm::utility::ksp) pybind proof of concept Tom Janson 2016-12-15 00:09:40 +0100
  • 4f3c51fc4f add empty module Tom Janson 2016-12-14 21:47:16 +0100
  • fa58cf93c0 hide set_up() (now _set_up()), since it's implicitly called Tom Janson 2016-12-14 21:16:51 +0100
  • 2ff400683a updated the docu sjunges 2016-12-16 00:44:37 +0100
  • 461951c52e test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files sjunges 2016-12-16 00:01:12 +0100
  • 4bc07c7cd2 first version set in code Sebastian Junges 2016-12-14 00:33:28 +0100
  • 4327a876a3 first version of docu Sebastian Junges 2016-12-14 00:29:53 +0100
  • 86ca327316 Pytest is required Matthias Volk 2016-12-13 18:08:24 +0100
  • ba028a8e44 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy Matthias Volk 2016-12-13 18:05:50 +0100