Commit Graph

  • 3b5c27acba more test-files included, two small fixes in parser sjunges 2016-05-24 17:53:27 +0200
  • 3f36c95baf JaniParser Constant expressions are now parsed sjunges 2016-05-24 17:21:44 +0200
  • b64dc408ac test case for die.jani parsing sjunges 2016-05-24 17:20:49 +0200
  • 70a0e3f547 preliminary version of parsing variables, stub for parsing expressions. sjunges 2016-05-24 13:19:55 +0200
  • ef24368fcc JaniParser: model extended with version and name, fix in prel. automaton parsing. sjunges 2016-05-23 21:17:31 +0200
  • 926d7730e5 JaniParser: return model with type and actions sjunges 2016-05-23 21:05:50 +0200
  • 39fc4f4f2f Modeltype: updated options string to modeltype sjunges 2016-05-23 21:05:16 +0200
  • 2901269909 Model: -Actions -Const correctness -Constructor takes a name sjunges 2016-05-23 16:09:06 +0200
  • 670ab6e241 added a simple example TimQu 2016-05-23 16:00:54 +0200
  • 63da45018e Added support for multi objective formulas TimQu 2016-05-23 15:22:26 +0200
  • 91f8ecf17c Small class for actions sjunges 2016-05-23 14:46:01 +0200
  • db4fdd473c JaniParser: parse automaton name and locations sjunges 2016-05-23 14:28:12 +0200
  • 7fcf598e86 Automaton: Retrieve location id by name sjunges 2016-05-23 14:27:35 +0200
  • 435bf79c2d some minor extension sjunges 2016-05-20 23:43:49 +0200
  • 0c2ed877b6 merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support sjunges 2016-05-20 23:43:15 +0200
  • 121cfe4d93 rough skeleton for the parser, v1 sjunges 2016-05-20 23:06:10 +0200
  • 568cda29ed more jani modelling stuff dehnert 2016-05-20 23:02:14 +0200
  • 4df9984b87 added bare minimum for parser calls sjunges 2016-05-20 22:15:10 +0200
  • afbc4aff2a unsupported model exception added to exceptions sjunges 2016-05-20 22:13:56 +0200
  • ae759d0496 Fixed compile error in output function sjunges 2016-05-20 22:06:47 +0200
  • f1eaa92a1b added constants, added custom iterator to variable set dehnert 2016-05-20 18:58:46 +0200
  • d38e7d5eb9 started working on jani data structures dehnert 2016-05-20 16:50:22 +0200
  • 7d03f0e4d0 improved error checking for custom parallel composition. added small tests. dehnert 2016-05-19 14:57:37 +0200
  • bf65ef726c system composition in PRISM appears to be working dehnert 2016-05-19 13:50:58 +0200
  • a4687ad230 json parser 3rdparty sjunges 2016-05-18 22:46:24 +0200
  • 8ca362848c stubs for model and automatons sjunges 2016-05-18 22:45:42 +0200
  • cd2a24ba2d src group for storage/jani sjunges 2016-05-18 22:45:20 +0200
  • 20511b142a json parser added to link path sjunges 2016-05-18 22:44:55 +0200
  • 9a841a2bde Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support sjunges 2016-05-18 22:33:03 +0200
  • 16e20ced0b stub for jani parser sjunges 2016-05-18 22:32:59 +0200
  • 4c4e830a4c started on supporting renaming/hiding in PRISM models dehnert 2016-05-18 22:18:51 +0200
  • 1df8a5c7cc parallel composition (full, restricted, interleaving) for PRISM appears to work, added some more sanity checks for parallel composition dehnert 2016-05-18 19:54:45 +0200
  • 4e97d294b3 fixed bug in composition dehnert 2016-05-18 19:03:48 +0200
  • ebb47aaa13 working on making model composition in PRISM work again dehnert 2016-05-18 17:53:43 +0200
  • 330bbfcf5e jani examples sjunges 2016-05-18 17:57:43 +0200
  • 621dbbb925 Merge branch 'future' into jani_support sjunges 2016-05-18 17:49:41 +0200
  • a0cd149054 Introduced setting for DFT approximation Mavo 2016-05-18 17:01:21 +0200
  • c4260d3d5a First try on approximation Mavo 2016-05-18 16:29:28 +0200
  • 493407f74f Started with SMT encoding for DFTs Mavo 2016-05-18 16:27:48 +0200
  • fb5db51595 Missing include Mavo 2016-05-18 14:53:58 +0200
  • bc10291680 STORM_DEVELOPER mode introduced Mavo 2016-05-18 14:53:37 +0200
  • e49582c7cf Replaced assert with STORM_LOG_ASSERT Mavo 2016-05-18 14:49:04 +0200
  • eeb0f620ec STORM_DEVELOPER mode introduced Mavo 2016-05-18 14:16:57 +0200
  • 929a694a64 Fixed typo Mavo 2016-05-18 11:10:40 +0200
  • cf1c0a6009 got rid of some spirit warnings dehnert 2016-05-17 22:37:04 +0200
  • c8521f0de3 Changed more assert to STORM_LOG_ASSERT Mavo 2016-05-17 18:24:38 +0200
  • 5eaa46c7de More refactoring Mavo 2016-05-17 18:05:03 +0200
  • 1b6137cc5d Changed some assert to STORM_LOG_ASSERT Mavo 2016-05-17 17:04:14 +0200
  • 9db10e7849 added all composition operators of PRISM dehnert 2016-05-17 16:37:29 +0200
  • fc255c4aa3 Merge from future Mavo 2016-05-17 15:00:45 +0200
  • 8f4d019c22 Merge branch 'future' into TimParamSysAndSMT sjunges 2016-05-17 13:49:02 +0200
  • 6f35091c16 Merge branch 'future' into jani_support dehnert 2016-05-17 13:16:01 +0200
  • 81b4fa6b9b added composition specification to PRISM program dehnert 2016-05-17 13:08:13 +0200
  • 9d3dd10008 Merge branch 'future' into python_pybind Mavo 2016-05-17 10:15:07 +0200
  • cdab073305 Model checking binding Mavo 2016-05-13 16:19:36 +0200
  • 24955d1111 Binding for labels Mavo 2016-05-13 16:02:58 +0200
  • 2243b02845 cout -> LOG Mavo 2016-05-13 14:34:53 +0200
  • f2ad4781fe Distincting between supportsParameters and hasParameters Mavo 2016-05-13 14:20:37 +0200
  • ea17205278 Merge branch 'future' into TimParamSysAndSMT sjunges 2016-05-13 12:20:50 +0200
  • 2ab398068c Merge branch 'TimParamSysAndSMT' of https://sselab.de/lab9/private/git/storm into TimParamSysAndSMT sjunges 2016-05-12 19:35:35 +0200
  • 366eb181e7 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-05-12 19:32:29 +0200
  • 22053e63a9 Bisimulation Mavo 2016-05-12 19:11:14 +0200
  • e9c657f88c SetUp when importing stormpy Mavo 2016-05-12 19:02:53 +0200
  • 4e86667b46 Refactoring Mavo 2016-05-12 17:53:55 +0200
  • f500600ee6 Removed old python bindings Mavo 2016-05-12 15:05:43 +0200
  • 78b85d9f84 Merge branch 'future' into python_pybind Mavo 2016-05-12 14:46:01 +0200
  • 7b2b270579 Binding for constraints Mavo 2016-05-12 14:43:10 +0200
  • 31a548fed4 Use shared_ptr<const> Mavo 2016-05-11 10:57:09 +0200
  • a0d659f2da always use shared_ptr<Formula const> Mavo 2016-05-11 10:49:39 +0200
  • fc1567d27e Merge remote-tracking branch 'origin/future' into future dehnert 2016-05-08 20:50:37 +0200
  • 1d56cf0430 backported a bugfix dehnert 2016-05-07 18:19:39 +0200
  • dfbcdead76 Merge commit '5934a428980fb37cf0994a90621cc1c084e1013a' as 'resources/3rdparty/sylvan' dehnert 2016-05-06 19:23:57 +0200
  • 5934a42898 Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac dehnert 2016-05-06 19:23:57 +0200
  • 818760e0ad removed sylvan version from resources dehnert 2016-05-06 19:17:24 +0200
  • c0c5bdcae1 Pybind for bisimulation and state elimination Mavo 2016-05-06 18:14:39 +0200
  • 317d1dfdad More tests for formulas Mavo 2016-05-06 15:56:03 +0200
  • 7780b22fad Temporary pybind for formula Mavo 2016-05-06 15:06:41 +0200
  • 9396ed4a2e Fixed python after merge Mavo 2016-05-03 15:14:58 +0200
  • db6df1e880 Merge from future Mavo 2016-05-03 14:49:02 +0200
  • 37043fd745 Current status of core Mavo 2016-05-03 14:17:28 +0200
  • 86c233f3df fixed bug in sylvan dehnert 2016-05-02 18:18:58 +0200
  • 395fabe867 Set_up Mavo 2016-04-29 17:00:36 +0200
  • 6763871140 Current status Mavo 2016-04-29 16:47:18 +0200
  • 0ed3714c90 Added test cases Mavo 2016-04-29 16:34:59 +0200
  • c3f9d4cfe0 Includes for successful compiling from python Mavo 2016-04-29 16:30:14 +0200
  • 322e470c89 Removed unnecessary std::moves Mavo 2016-04-29 14:51:59 +0200
  • 5fc36c291c Fixed possible infinite recursion Mavo 2016-04-29 14:49:05 +0200
  • fa21792846 Started with logic Mavo 2016-04-28 18:04:29 +0200
  • 217aacb5dc Transfered expressions Mavo 2016-04-28 17:39:45 +0200
  • 4620bd3ca2 Refactored info module Mavo 2016-04-28 17:14:59 +0200
  • f3ba29271f Started with transfer to pybind11 Mavo 2016-04-28 16:58:45 +0200
  • 59344ada71 Remove empty file hbruintjes 2016-04-22 10:30:26 +0200
  • 2aaa519dfa Temproary workaround for clang/gcc problem: Wrap std::function in a lambda for std::sort hbruintjes 2016-04-21 16:44:37 +0200
  • 335ad68564 Fix cudd autoreconf command hbruintjes 2016-04-21 16:44:01 +0200
  • 382c167c10 Print package version information hbruintjes 2016-04-21 16:43:41 +0200
  • 4c0053d5e7 Make the Ginac find package more standard compliant hbruintjes 2016-04-21 16:43:22 +0200
  • 7b27fcd68b cudd use autoreconf, set min version to 13.4 which still works hbruintjes 2016-04-21 16:24:14 +0200
  • 80430906f0 Use GMP is CLN is not found for RationalNumber hbruintjes 2016-04-21 16:21:16 +0200
  • a3fff6b8f6 Look for CLN and GiNaC, enable them if found hbruintjes 2016-04-21 16:20:04 +0200
  • fb216e18d1 fixed another issue in expression evaluation dehnert 2016-04-18 21:14:31 +0200