Commit Graph

  • 71070cb281 Implemented expected time on CTMC by reduction to DTMC with rewards Mavo 2016-01-26 16:19:32 +0100
  • 65bb496bb9 Activate expected time in FormulaParser Mavo 2016-01-26 10:40:49 +0100
  • 545dad861b Mini change Mavo 2016-01-25 18:13:02 +0100
  • ed66cb2daf Merge branch 'future' into python_api sjunges 2016-01-25 16:51:46 +0100
  • 3bdd87e7a7 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-01-25 16:51:17 +0100
  • 93be84a4a8 fix in get parameters from model sjunges 2016-01-25 16:51:14 +0100
  • 8e07f5855d shared stormlib, added variables from model sjunges 2016-01-25 16:50:30 +0100
  • 3cda2d153a Fixed MathsatExpressionAdapter.h, where the adaption of std::hash was already wrapped in "namespace std" but the definition used std:: again. PBerger 2016-01-25 16:42:44 +0100
  • f0f3e8cbb3 Fixed test/functional/permissiveschedulers/SmtPermissiveSchedulerTest.cpp when MathSAT support is unavailable. PBerger 2016-01-25 16:01:55 +0100
  • ebfd6aba39 Merge branch 'future' into python_api sjunges 2016-01-25 16:00:59 +0100
  • 5e9c42f2af intermediate commit sjunges 2016-01-25 15:32:19 +0100
  • 8eec3f2306 Fixed issue in ExplicitPrismModelBuilder.cpp when CARL is not available. PBerger 2016-01-25 15:31:07 +0100
  • 9b9468fbfd Fixed issues in graph.cpp when CARL is not available. PBerger 2016-01-25 15:18:34 +0100
  • 8c607c015d Merge branch 'future' into python_api sjunges 2016-01-25 13:22:16 +0100
  • 6cd3cdcd6b fixed missing template instantations sjunges 2016-01-25 13:21:40 +0100
  • 60701e8d09 Merge branch 'future' into menu_games dehnert 2016-01-25 13:07:19 +0100
  • 756ac1cad7 added timeout and memout flags. memout is, however, not supported by Mac OS dehnert 2016-01-25 13:05:17 +0100
  • ef256993b9 Merge branch 'future' into python_api sjunges 2016-01-25 12:16:14 +0100
  • 0730d8bcd3 Merge branch 'future' into python_api sjunges 2016-01-25 12:15:37 +0100
  • 64e7cd63f5 removed obsolete menu-game model checker class dehnert 2016-01-25 12:14:11 +0100
  • bfe7354b22 fixed a double extern declaration sjunges 2016-01-25 12:02:11 +0100
  • cb08583881 another script for remaining benchmarks TimQu 2016-01-24 13:59:08 +0100
  • cf15015421 some more work on games dehnert 2016-01-22 17:56:55 +0100
  • 84ca3fbfdf Some comments Mavo 2016-01-22 17:14:31 +0100
  • 93c5a3bcf3 build info added to py api sjunges 2016-01-22 16:30:27 +0100
  • 421b454abd Merge branch 'future' into python_api sjunges 2016-01-22 15:49:10 +0100
  • 22a6165264 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-01-22 15:29:41 +0100
  • 6618109c0a Multi-core make Mavo 2016-01-22 14:43:16 +0100
  • c8c731dc4f Merge branch 'future' into menu_games dehnert 2016-01-22 14:24:51 +0100
  • fe136165b4 Merge branch 'future' into TimParamSysAndSMT dehnert 2016-01-22 13:47:58 +0100
  • fdf2d81c61 added missing template parameter dehnert 2016-01-22 13:47:50 +0100
  • 34977d09b8 Merge remote-tracking branch 'origin/future' into TimParamSysAndSMT TimQu 2016-01-22 13:36:25 +0100
  • 0f7e54c526 Merge branch 'future' into menu_games dehnert 2016-01-22 13:28:18 +0100
  • e20942393e added some primes dehnert 2016-01-22 13:23:59 +0100
  • d13aca1109 Fixed problem with const initializer Mavo 2016-01-22 11:37:19 +0100
  • 7c1cfdcdf1 .. TimQu 2016-01-21 17:52:01 +0100
  • ea828243ee .. TimQu 2016-01-21 17:49:14 +0100
  • 1e6dc2a6e0 .. typo TimQu 2016-01-21 17:31:04 +0100
  • cfe1bf9b3b printing model information in csv format TimQu 2016-01-21 17:27:29 +0100
  • 6484e431f5 modified selection of benchmarks TimQu 2016-01-21 17:10:52 +0100
  • cf93d75450 renamed variable partition to local expression information dehnert 2016-01-21 16:59:18 +0100
  • 08d0eb6001 Merge branch 'future' into menu_games dehnert 2016-01-21 16:50:32 +0100
  • 0f8bd82125 corrected clang pragma dehnert 2016-01-21 16:50:14 +0100
  • c73cfd7826 Merge branch 'future' into menu_games dehnert 2016-01-21 16:49:16 +0100
  • ebbd03c15b fixed some warning-related stuff. introduced abstraction-refinement engine in options and entrypoints that currently only throws not-implemented exception dehnert 2016-01-21 16:48:06 +0100
  • 7c3333497a Merge branch 'future' into menu_games dehnert 2016-01-21 11:34:46 +0100
  • ea479fd909 Merge branch 'python_api' of https://sselab.de/lab9/private/git/storm into python_api Mavo 2016-01-21 09:19:29 +0100
  • 9791070a6a Added PmcResult containing the model checking results Mavo 2016-01-21 09:19:26 +0100
  • 5cd8254263 use better version of FindGMP for sylvan as well dehnert 2016-01-20 22:57:34 +0100
  • 24b3ae2591 Merge branch 'TimParamSysAndSMT' of https://sselab.de/lab9/private/git/storm into TimParamSysAndSMT Christian Dehnert (i2 Assi)Christian DehnertHans Christian Dehnert (Hiwi Viet Yen) 2016-01-20 19:11:54 +0100
  • ff8332bd62 display model statistics before bisimiulation TimQu 2016-01-20 18:55:12 +0100
  • 7cf2446501 minimal version for stormpy expressions, some questions should be resolved first (regarding to manager) sjunges 2016-01-20 17:32:51 +0100
  • 8ff8eedbcf Merge branch 'python_api' of https://sselab.de/lab9/private/git/storm into python_api sjunges 2016-01-20 16:07:52 +0100
  • 21e678b59c stormpy logic and using dynamic boost::python version sjunges 2016-01-20 16:07:47 +0100
  • c4a8b571c3 Merge branch 'future' into TimParamSysAndSMT Christian Dehnert (i2 Assi)Christian DehnertHans Christian Dehnert (Hiwi Viet Yen) 2016-01-20 14:58:48 +0100
  • d9b734e6d7 forgot something TimQu 2016-01-20 14:54:45 +0100
  • 5f678f96ae parallel execution of benchmarks and larger models TimQu 2016-01-20 14:42:04 +0100
  • 2ea5fd7418 fix in sylvan, minor changes to cmake list dehnert 2016-01-20 14:41:00 +0100
  • a01e46779f CMake now requiring hwloc for sylvan under linux dehnert 2016-01-20 13:57:31 +0100
  • 5f6dc2f944 Output for model checking result Mavo 2016-01-20 10:25:53 +0100
  • 717c7073e8 cleaning stormpy a bit before extending further sjunges 2016-01-19 23:54:59 +0100
  • 1f7f72ef36 added some convenience functions for handling shared pointers and derived classes, next big-step(tm) towards stormpy sjunges 2016-01-19 22:21:12 +0100
  • 5fd7f91774 changed names to be more pythonic sjunges 2016-01-19 19:04:28 +0100
  • da7462b922 Added helper for shared_pointer conversion, refactored a bit. Still some open questions though sjunges 2016-01-19 18:52:11 +0100
  • 56be3c183b implemented refinement of regions plus benchmarks TimQu 2016-01-19 18:19:28 +0100
  • 30db5fb1c3 removed spurious comma which made cmake behave like a 5-year old sjunges 2016-01-19 18:05:08 +0100
  • 0e645a1fa5 Merge branch 'python_api' of https://sselab.de/lab9/private/git/storm into python_api sjunges 2016-01-19 17:50:01 +0100
  • ae18ef8003 refactored construction of python modules sjunges 2016-01-19 17:49:54 +0100
  • 5f99e86c38 Next step toward success Mavo 2016-01-19 17:40:36 +0100
  • dfa8d6a8e5 started working on games again dehnert 2016-01-19 16:57:28 +0100
  • c08bd2bd87 Typo Mavo 2016-01-19 16:17:25 +0100
  • ed526f2e0a Initialized settings in build model Mavo 2016-01-19 16:12:41 +0100
  • 37596d575a Settings always initialized now Mavo 2016-01-19 14:35:07 +0100
  • 46466ea4b6 an unhappy intermediate commit, not worth celebrating sjunges 2016-01-19 10:08:50 +0100
  • 3ce8643d96 Added benchmarks TimQu 2016-01-17 16:32:09 +0100
  • fcdaab2642 Merge branch 'future' into TimParamSysAndSMT sjunges 2016-01-16 17:20:21 +0100
  • 8297c51d73 Fixed a bug that was not yet fixed for some reason... Approximation is now also used if a non-linear function is detected. This is a quick 'solution' to allow functions of the form p times q. TimQu 2016-01-16 17:02:09 +0100
  • 09a1fecdf3 small changes to python interface sjunges 2016-01-16 15:51:53 +0100
  • 46fbea16e5 Merge branch 'future' into python_api sjunges 2016-01-16 14:39:48 +0100
  • e4725aa4a1 Instead of returning the program, return the prepared formulas sjunges 2016-01-16 14:16:03 +0100
  • 2d44d4f822 getUndefinedConstantsAsString added to storm::prism::program sjunges 2016-01-15 19:10:52 +0100
  • 9f61f75231 error when build fails during setup, as well as some extensions to the python interface sjunges 2016-01-15 17:40:01 +0100
  • 9a41b4a95e examples... TimQu 2016-01-15 15:31:55 +0100
  • f86c4f65f7 examples and small fix regarding changes of elimination model checker TimQu 2016-01-15 15:12:53 +0100
  • 3392fcf095 Merge branch 'future' into TimParamSysAndSMT TimQu 2016-01-14 19:52:47 +0100
  • 9c6ac2d136 Merge branch 'future' into python_api sjunges 2016-01-14 17:52:04 +0100
  • c32b1530f4 extended gitignore to hide clion project description sjunges 2016-01-14 17:51:13 +0100
  • e45ce6f293 replaced stdpair by struct for model,program pairs sjunges 2016-01-14 17:50:21 +0100
  • a365ce7a0b further work on python api sjunges 2016-01-14 17:25:25 +0100
  • c151eca6ac Merge branch 'future' into menu_games dehnert 2016-01-14 14:21:46 +0100
  • 194db381b4 now ignoring .log and .DS_Store files dehnert 2016-01-14 14:21:30 +0100
  • c431cbe375 merge sjunges 2016-01-14 12:46:45 +0100
  • 83561a319f merge sjunges 2016-01-14 12:46:06 +0100
  • c94906ebb5 Merge branch 'future' into menu_games and make everything compile again. dehnert 2016-01-10 20:02:11 +0100
  • aa621916d6 Merge branch 'future' into python_api sjunges 2016-01-09 12:18:24 +0100
  • e024f314eb Added dft examples Mavo 2016-01-09 11:59:30 +0100
  • 3b9a48136c Sort transitions before building them Mavo 2016-01-09 11:53:46 +0100
  • c8d2cf1724 Better distinction between parametric and non-parametric DFTs Mavo 2016-01-09 11:23:36 +0100
  • 20a5d8e96f Side conditions for rational functions cannot be checked directly Mavo 2016-01-09 11:20:18 +0100
  • f38eeff1ef First try on parsing of rational functions Mavo 2016-01-09 11:19:34 +0100