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

Commit Graph

  • cec2861a5d several extensions and fixes for jani data structures Sebastian Junges 2018-11-29 12:55:55 +0100
  • 65147aec12 expressions: operators changed to capital (breaks backward compatibility) Sebastian Junges 2018-11-29 12:54:35 +0100
  • 1b75c23257 updated formula operator access Sebastian Junges 2018-11-29 12:53:26 +0100
  • 297f5457a3 improved access to counterexamples Sebastian Junges 2018-11-29 12:52:17 +0100
  • 183f0cf843 extended environment Sebastian Junges 2018-11-29 11:39:42 +0100
  • 30f6b4395d model checking routines take optional environment Sebastian Junges 2018-11-29 11:39:16 +0100
  • 5aab3cbe3e support for properties and raw formulae in symbolic model creation Sebastian Junges 2018-11-29 11:37:15 +0100
  • 4f0981eb66 Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-10-27 13:30:40 +0200
  • c714cb68f5 Added documentation for engines Matthias Volk 2018-10-24 17:50:47 +0200
  • 4ab6277e3f Fixed some typos Matthias Volk 2018-10-24 17:50:26 +0200
  • befee6332f Added simple filtering for initial states Matthias Volk 2018-10-24 17:49:20 +0200
  • daad201f6c Merge branch 'wrap_highlevel' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy into wrap_highlevel Sebastian Junges 2018-10-09 11:12:10 +0200
  • 3ab8262f08 Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-10-09 11:12:03 +0200
  • 6b3033ca67 added missing file with description of exploration Sebastian Junges 2018-10-09 11:02:22 +0200
  • 233bf8b2ba some explanation for iterating over MDPs and POMDPs Sebastian Junges 2018-10-08 22:20:02 +0200
  • c73a5b77b3 explicit expression copies Sebastian Junges 2018-10-08 22:18:36 +0200
  • 8e19314044 some debugging facilities for jani model Sebastian Junges 2018-10-08 22:17:57 +0200
  • aa614b83dd Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-10-05 18:15:47 +0200
  • ad4ce3199f add some variants of prism to jani Sebastian Junges 2018-10-05 18:12:42 +0200
  • 1967781527 add (failing) prism to jani test Sebastian Junges 2018-10-05 17:48:37 +0200
  • d3b303872c support for chaning the build_temp folder sjunges 2018-10-04 22:39:27 +0200
  • 6a79cfdfa9 several further jani code wrapped, including a fix for actually returning automaton variables by reference Sebastian Junges 2018-10-04 22:51:23 +0200
  • 0e7a194f5b support for chaning the build_temp folder sjunges 2018-10-04 22:39:27 +0200
  • 350f5a09e1 several extensions to jani datastructures sjunges 2018-10-04 00:25:52 +0200
  • fdf8d8b86b several functions to build automata Sebastian Junges 2018-10-03 13:21:40 +0200
  • 3648aa6f76 model to dot string Sebastian Junges 2018-10-02 18:52:45 +0200
  • 9970aa391f toposort bindings Sebastian Junges 2018-10-02 18:52:14 +0200
  • b2b647203b add pomdp support to stormpy Sebastian Junges 2018-10-02 18:51:37 +0200
  • 0ef93e57b3 Adapted Jani bindings according to changes in Storm Matthias Volk 2018-09-28 13:25:42 +0200
  • 63d3e96283 Updated JaniPropery bindings according to changes in Storm Matthias Volk 2018-09-14 17:47:22 +0200
  • 8c8e46b8a3 Added elimination of reward accumulations in Jani Matthias Volk 2018-08-29 17:32:10 +0200
  • 69202f2ddf Added space Matthias Volk 2018-08-29 17:31:40 +0200
  • 4b48c4d75b get manager for an expression Sebastian Junges 2018-08-21 15:18:27 +0200
  • bef0a792d6 add init for probability operator Sebastian Junges 2018-08-21 10:13:21 +0200
  • 1c4e589a11 I/O tests for DFTs Matthias Volk 2018-08-08 15:10:31 +0200
  • 1308fe2e93 Changes according to DFT loading in Storm Matthias Volk 2018-08-08 13:48:00 +0200
  • 430ddf3371 Merge branch 'master' of stormpy Matthias Volk 2018-08-08 09:58:45 +0200
  • c9d4584dd4 some support for the solver environment Sebastian Junges 2018-08-07 21:12:59 -0700
  • 653144d415 counterexample support updated Sebastian Junges 2018-08-07 21:12:35 -0700
  • 944b5bd01c Updated test as TimeOperatorFormulas are now supported in Storm Matthias Volk 2018-08-07 11:04:50 +0200
  • 8dfd0b4332 First part of DFT documentation Matthias Volk 2018-08-06 15:19:15 +0200
  • 7821e72dac Fixed path in documentation Matthias Volk 2018-08-06 14:12:22 +0200
  • a7cc7b3086 Extended bindings for DFT class Matthias Volk 2018-08-06 13:59:11 +0200
  • acb1004c04 choice origins Sebastian Junges 2018-08-01 22:44:45 +0200
  • 134eae5741 extend capabilities for formulae Sebastian Junges 2018-08-01 22:44:03 +0200
  • 953c1551dc access reward names in reward operator Sebastian Junges 2018-07-23 11:05:35 +0200
  • eb3c7e8849 Get Choice Labeling Sebastian Junges 2018-07-20 14:02:00 +0200
  • 4efdb3db8c Started extending DFT bindings Matthias Volk 2018-08-01 17:59:57 +0200
  • 92b1ed72bc Adaptions to changes in Storm Matthias Volk 2018-08-01 17:45:22 +0200
  • 2ab55a3b30 Fixed number in doc test Matthias Volk 2018-07-19 17:00:09 +0200
  • b90e061665 Added missing include Matthias Volk 2018-07-19 16:58:26 +0200
  • d70f727c0b Updated BRP Jani file Matthias Volk 2018-07-19 16:58:14 +0200
  • ae8615533b Relaxed relative tolerance for some model checking results Matthias Volk 2018-07-19 16:18:47 +0200
  • 9b1c64860a Increase required storm version Matthias Volk 2018-07-19 15:42:27 +0200
  • 5a16a60038 fixed spacing Sebastian Junges 2018-07-18 16:42:23 +0200
  • 50f7e054f7 bindings for cex generator stats Sebastian Junges 2018-07-18 16:30:08 +0200
  • 2bb610885a initialise counterexample settings Sebastian Junges 2018-07-18 16:28:52 +0200
  • 38b4960d8f add precompute bindings Sebastian Junges 2018-07-18 16:25:06 +0200
  • fafe3e658a Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-07-18 16:00:14 +0200
  • 7bb7023e01 transformation: default no formulae given Sebastian Junges 2018-07-18 15:58:09 +0200
  • 4ef4844c30 std::chrono support in stormpy Sebastian Junges 2018-07-18 15:43:06 +0200
  • f08df44acf access to is prop operator, is reward operator in formulae Sebastian Junges 2018-07-18 15:42:31 +0200
  • db71b7e5fd fixed transformation after changes in storm Sebastian Junges 2018-07-18 15:41:43 +0200
  • c0ac30fcd2 access to: preserved label names during building Sebastian Junges 2018-07-18 15:41:17 +0200
  • 367fa419dd add some fields to counterexample options Sebastian Junges 2018-06-28 13:01:12 +0200
  • 2cd54a1e0d Updated CHANGELOG Matthias Volk 2018-06-21 10:38:25 +0200
  • 70a54e26c9 updated based on changes in storm sjunges 2018-06-10 21:29:45 +0200
  • 34ecebcb49 Merge branch 'master' into wrap_highlevel Sebastian Junges 2018-06-08 13:29:34 +0200
  • b649847363 extended access to prism/jani/expressions/formulae Sebastian Junges 2018-06-08 13:18:55 +0200
  • 2ac815b826 extended wrapper for counterexamples: Sebastian Junges 2018-06-08 13:17:56 +0200
  • 668753696a more building options Sebastian Junges 2018-06-08 13:17:09 +0200
  • 5f4bcfa61c switches for debug output Sebastian Junges 2018-06-08 13:15:50 +0200
  • 5cdc14bb0a Use find_library to search for storm libs Matthias Volk 2018-05-29 20:05:58 +0200
  • 3cced14e29 Typo Matthias Volk 2018-05-22 14:48:28 +0200
  • 5d4c344a9c Added missing include Matthias Volk 2018-05-22 12:55:59 +0200
  • 78a56cf732 Added missing include Matthias Volk 2018-05-22 11:04:39 +0200
  • c42ccaf644 Added missing include Matthias Volk 2018-05-22 10:30:48 +0200
  • 054df185c0 Transformation from symbolic model to sparse model Matthias Volk 2018-05-18 18:33:29 +0200
  • c30d5a1433 Symbolic bisimulation Matthias Volk 2018-05-18 17:47:02 +0200
  • 62f3d3630e Bindings for dd and hybrid model checking Matthias Volk 2018-05-18 15:02:13 +0200
  • 32f468e92c Added tests for symbolic parametric models Matthias Volk 2018-05-18 13:45:52 +0200
  • 54433ca8a3 Tests for symbolic model building Matthias Volk 2018-05-18 11:53:50 +0200
  • f5a014ed5e Bindings for symbolic model building Matthias Volk 2018-05-18 11:53:40 +0200
  • cfb6dfbf2f Better naming for sparse model building Matthias Volk 2018-05-18 11:53:00 +0200
  • 21ecfacc3b Bindings for symbolic models using Sylvan Matthias Volk 2018-05-17 17:49:44 +0200
  • 0072a3fc98 Refactoring for sparse models Matthias Volk 2018-05-17 17:35:48 +0200
  • d9b020b1bc Refactored sparse model bindings Matthias Volk 2018-05-17 15:36:54 +0200
  • b0132b4317 Travis: removed docker installation as the package is already present Matthias Volk 2018-05-16 15:21:09 +0200
  • 61a49dc20b Extended doc for build arguments Matthias Volk 2018-05-03 13:28:24 +0200
  • aad9747572 Fix for storm-dir Matthias Volk 2018-05-03 13:15:44 +0200
  • 4daa733727 Moved documentation for parametric models into own file Matthias Volk 2018-05-01 20:28:13 +0200
  • 89ed130335 Extended documentation Matthias Volk 2018-04-30 17:43:07 +0200
  • 4c40ab6ea3 Use pytest-runner Matthias Volk 2018-04-27 14:27:18 +0200
  • 5db3c69152 Updated setup.py Matthias Volk 2018-04-27 11:44:10 +0200
  • 0c62edfb0d Added missing package in setup.py Matthias Volk 2018-04-26 22:18:51 +0200
  • 19db78e038 Fixed typo Matthias Volk 2018-04-26 22:18:22 +0200
  • bef2feceb2 Removed fixed lib path in cmake Matthias Volk 2018-04-26 19:17:18 +0200
  • d0534cd066 Minor update in project description Matthias Volk 2018-04-25 17:44:07 +0200
  • a83e220621 Updated package information Matthias Volk 2018-04-25 17:30:57 +0200
  • 0b6dd8c0d8 Fix sphinx warning in comment Matthias Volk 2018-04-25 17:01:36 +0200