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

Commit Graph

  • ddfcde4c3a
         fixed typo hannah 2020-08-25 13:35:32 +0200
  • 3b73800008
         binder badge hannah 2020-08-25 13:32:40 +0200
  • 06c08e42ef
         binder badge hannah 2020-08-25 13:27:21 +0200
  • 9bc48bbf3a
         replaced rst files hannah 2020-08-25 10:28:06 +0200
  • b978d933ee
         binder hannah 2020-08-02 23:36:49 +0200
  • 8f4039fefe
         modified Dockerfile hannah 2020-08-02 23:25:24 +0200
  • 532c56ea65
         documentation tests hannah 2020-08-02 23:22:03 +0200
  • 523e2ff713
         documentation tests hannah 2020-08-02 23:17:29 +0200
  • 6619a5f64c
         documentation tests hannah 2020-08-02 22:54:23 +0200
  • 56be31201f update changelog with timeouts Sebastian Junges 2020-09-30 20:29:23 -0700
  • 3f1fddc847 add support for timeouts Sebastian Junges 2020-09-30 20:27:48 -0700
  • f22bab577b extend example Sebastian Junges 2020-09-26 12:33:43 -0700
  • 470fed52a1 Fix in the Maze MDP (Thanks to Patrick Wienhöft) Sebastian Junges 2020-09-26 12:02:23 -0700
  • 8aec0f5eff fixed missing instantiation for parametric systems Sebastian Junges 2020-09-26 11:57:34 -0700
  • 84dca993d2 updates in the monitoring API Sebastian Junges 2020-09-26 11:57:10 -0700
  • 9919a4f309 support for partially observable models, and better model-dependent creation Sebastian Junges 2020-09-25 15:20:21 -0700
  • 58da4df1c3 support for exact arithmetic Sebastian Junges 2020-09-25 15:19:34 -0700
  • 1e6fb8740a collect some stats Sebastian Junges 2020-09-23 12:01:21 -0700
  • efe450e91e Merge branch 'master' into monitoring Sebastian Junges 2020-09-21 15:23:43 -0700
  • e1daceccd0 extend prism command interface Sebastian Junges 2020-09-21 15:23:31 -0700
  • 18dd4f1c4b more operators on (bounded) until formulae Sebastian Junges 2020-09-21 15:23:05 -0700
  • 5996961b7f better trace unfolder Sebastian Junges 2020-09-16 09:06:52 -0700
  • 83c6df1878 reduce Sebastian Junges 2020-09-16 09:06:07 -0700
  • 53e7e102c8
         Stormpy version 1.6.2 Matthias Volk 2020-09-11 10:55:49 +0200
  • 618b0b5b5e
         Updated CHANGELOG Matthias Volk 2020-09-07 14:23:40 +0200
  • 760c6e9f56
         Require Storm version 1.6.2 Matthias Volk 2020-09-07 14:08:17 +0200
  • 7a2082eb54
         Updated CHANGELOG Matthias Volk 2020-09-07 14:04:25 +0200
  • 5005226750 Merge branch 'master' into monitoring Sebastian Junges 2020-09-03 10:40:31 -0700
  • 642779e56f precision for native solver Sebastian Junges 2020-09-02 20:11:38 -0700
  • 92268776fd set seed for the simulator after initialization Sebastian Junges 2020-09-02 09:22:32 -0700
  • 689083010f support for unfolding Sebastian Junges 2020-09-02 09:21:53 -0700
  • 1319397cb9 added observation valuations Sebastian Junges 2020-08-27 15:05:10 -0700
  • 694904b4c2 convenience functions on prism programs Sebastian Junges 2020-08-26 21:50:42 -0700
  • 7cee208518 keep state valuations Sebastian Junges 2020-08-24 23:41:57 -0700
  • 75ad72a574 add_memory_labels for memory unfolding added Sebastian Junges 2020-08-24 22:26:00 -0700
  • ddc8181113 nondet tracker Sebastian Junges 2020-08-24 21:49:38 -0700
  • d62aac24b1 model checking fully observable (due to auto downcasting, this needs a separate function Sebastian Junges 2020-08-24 21:48:53 -0700
  • 321f7bdcc0 random step Sebastian Junges 2020-08-24 21:48:17 -0700
  • e3467a4bb9 simulator does not crash on dtmcs Sebastian Junges 2020-08-24 21:47:30 -0700
  • acd5a897f1
         Adaption to changes of relevant events in Storm Matthias Volk 2020-08-21 09:52:34 +0200
  • d771a2118d update changelog Sebastian Junges 2020-08-17 21:11:29 -0700
  • 89f3924b8c finding explicit states in models Sebastian Junges 2020-08-17 21:10:30 -0700
  • 2cfa252278
         Fixed rounding problem in doctest Matthias Volk 2020-08-07 18:00:37 +0200
  • 77fe824f0a
         Compute FDEP conflicts to avoid non-determinism in DFT analysis Matthias Volk 2020-07-30 13:47:10 +0200
  • 432893aa55
         Bindings for DFT transformations Matthias Volk 2020-07-29 16:38:50 +0200
  • 0d756c42f1
         Binding for computing relevant events in DFTs Matthias Volk 2020-07-22 16:14:16 +0200
  • 27a97f313d
         Get DFT elements by name Matthias Volk 2020-07-22 14:48:47 +0200
  • b8ce2f8fe4
         Disable DC for relevant events per default Matthias Volk 2020-07-22 14:47:51 +0200
  • 2f8781f6e2
         Set numpy as optional dependency Matthias Volk 2020-07-24 11:24:50 +0200
  • 99aa2bc2ae
         Consistent use of literal blocks in doc Matthias Volk 2020-07-24 11:14:30 +0200
  • dbeb079789
         Skip tests if numpy is unavailable Matthias Volk 2020-07-24 11:10:43 +0200
  • 100ac4d4ff
         Typo in doc Matthias Volk 2020-07-23 22:23:32 +0200
  • 5cb023544f
         Updated list of contributors Matthias Volk 2020-07-23 22:06:37 +0200
  • 4ac88e934f
         Skip some checks in doctests because the generated output is not deterministic Matthias Volk 2020-07-23 21:36:11 +0200
  • cc1cd0dce7
         Minor changes in documentation for model building Matthias Volk 2020-07-23 17:35:52 +0200
  • 84f83e47dd
         Changed order of models in tests Matthias Volk 2020-07-23 15:48:21 +0200
  • c85fad69e5
         Improved some descriptions Matthias Volk 2020-07-23 15:47:07 +0200
  • cb1ffad4c9
         small corrections hannah 2020-07-01 00:13:18 +0200
  • ef93bdd541
         completed documentation for dtmc, ctmc, mdp and ma hannah 2020-06-28 22:51:18 +0200
  • 0ccd7de0e9
         simplified examples hannah 2020-06-28 13:52:21 +0200
  • 00c460ce8b
         simplified examples hannah 2020-06-28 13:51:56 +0200
  • afc8af220e
         doc ctmcs example hannah 2020-06-27 17:39:29 +0200
  • 049dc9b6d3
         doc ctmcs hannah 2020-06-27 17:38:49 +0200
  • 3c29f467aa
         doc dtmcs hannah 2020-06-27 16:03:26 +0200
  • db6a247fcc
         completed tests for ma, mdp, pomdp hannah 2020-06-26 21:04:29 +0200
  • 3523b97e46
         completed ma tests hannah 2020-06-26 14:05:32 +0200
  • f4b3169c0d
         completed ctmc tests hannah 2020-06-26 12:42:10 +0200
  • 7bc0168775
         completed dtmc tests hannah 2020-06-26 11:28:38 +0200
  • ab06826b80
         Default arguments for StateValuationsBuilder.add_state() Matthias Volk 2020-06-16 17:57:14 +0200
  • 04d0737f69
         state_valuations hannah 2020-06-14 00:45:40 +0200
  • 1a4dc644b6
         choiceOrigins tests hannah 2020-06-13 19:20:16 +0200
  • bb59710e6e
         tests for dtmc from mdoel_components hannah 2020-06-13 16:40:36 +0200
  • 7a274add6e
         PrismChoiceOrigins bindings hannah 2020-06-13 09:35:40 +0200
  • f64d5e8c4e
         some constructors hannah 2020-06-12 22:17:18 +0200
  • c038a82e3e
         cleaned hannah 2020-06-04 19:51:04 +0200
  • b20bd741d2
         tests hannah 2020-06-04 00:15:15 +0200
  • c0a1eb7a32
         some tests hannah 2020-05-31 20:22:39 +0200
  • f958d0915b
         changed name to SparseModelComp and added to storage hannah 2020-05-31 01:43:39 +0200
  • 5b16b6075e
         added constructors hannah 2020-05-30 00:22:27 +0200
  • aa93129347
         added constructors hannah 2020-05-29 23:37:35 +0200
  • 9114729959
         constructor for modelComp hannah 2020-05-27 22:35:36 +0200
  • dbd4929b8c
         created bindings for struct modelComponents hannah 2020-05-26 23:13:14 +0200
  • a966938095 refactoring in storm requires new includes in stormpy Sebastian Junges 2020-07-21 21:47:23 -0700
  • 039ae24cb6 missing expression operations for divide and modulo added Sebastian Junges 2020-07-21 16:42:58 -0700
  • 32e8f09a43 dd meta variable types Sebastian Junges 2020-07-21 16:42:33 -0700
  • 935910f27d pomdp/drn example Sebastian Junges 2020-07-21 16:42:06 -0700
  • 5f194b6774 inspect prob0-dds Sebastian Junges 2020-07-19 18:10:22 -0700
  • 8993523719 variable from expression manager by name Sebastian Junges 2020-07-17 09:20:55 -0700
  • 13ab5a3635 partial instantiators Sebastian Junges 2020-07-16 23:41:08 -0700
  • 03605b44c4
         Renamed preprocess_prism_program to preprocess_symbolic_input Matthias Volk 2020-07-13 22:28:21 +0200
  • 4c3b5c9784
         GSPN to Jani translation Matthias Volk 2020-07-13 14:53:58 +0200
  • d8fd39cdc5 fix problem by clearing variable pools? Sebastian Junges 2020-07-13 21:21:54 -0700
  • 02364bb262 prevent problematic code Sebastian Junges 2020-07-13 20:55:47 -0700
  • 0f5a052040
         Typo in parse_properties Matthias Volk 2020-07-13 15:04:35 +0200
  • 4df93b1685 update changelog 1.6.0 and 1.6.1 regarding POMDPs Sebastian Junges 2020-07-09 22:59:36 -0700
  • b181e807b3 example for UAI18 now with comments Sebastian Junges 2020-07-09 22:59:02 -0700
  • 9fefa1ac82 export options for DRN: allow or not allow placeholders Sebastian Junges 2020-07-09 22:51:43 -0700
  • f04311f968 rename parameter to i to make it more clear in the example Sebastian Junges 2020-07-09 22:50:58 -0700
  • bea345313c python bindings for our UAI18 paper on POMDP + FSC -> PMC Sebastian Junges 2020-07-09 21:59:59 -0700
  • cba659ec7a build ppomdps Sebastian Junges 2020-07-09 20:55:38 -0700