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

Commit Graph

  • 72b09a693c More examples Mavo 2016-02-09 18:09:06 +0100
  • 64b24043c5 Dependencies working Mavo 2016-02-09 18:08:20 +0100
  • 87e51e04b5 Improved benchmark script Mavo 2016-02-09 14:01:35 +0100
  • 24cd1ec597 Vector output without template seems to work Mavo 2016-02-09 14:01:04 +0100
  • 46642f2bca CTMCs are working again Mavo 2016-02-09 13:11:57 +0100
  • 35f5f9de15 Small refactoring Mavo 2016-02-09 11:42:07 +0100
  • 32c52d2271 Parse PDEPs Mavo 2016-02-09 11:12:20 +0100
  • b9be8eb0be Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-09 09:43:01 +0100
  • d507eab7f3 Build Markov Automaton instead of CTMC Mavo 2016-02-09 09:42:57 +0100
  • 8896bc55dd Added probabilities for FDeps Mavo 2016-02-08 17:50:59 +0100
  • 4ece7e45a9 Added assertions Mavo 2016-02-08 17:15:09 +0100
  • c6663ba74a Added FDep bechmarks Mavo 2016-02-08 17:11:47 +0100
  • d45ea9cbde Improved cmdl options Mavo 2016-02-08 16:27:08 +0100
  • e38648f6a7 FDeps are parsed and constructed but not used yet Mavo 2016-02-08 16:26:07 +0100
  • ff69fcab98 refactored DFTElementType, fixed some minor things sjunges 2016-02-06 18:30:37 +0100
  • 224721f0a7 Merge branch 'future' into menu_games dehnert 2016-02-06 12:07:04 +0100
  • da90b5fcd0 Fixed benchmark script for new command line options Mavo 2016-02-05 20:31:43 +0100
  • 3b1c695b5d Another compile fix Mavo 2016-02-05 16:33:57 +0100
  • 739963cfe1 find independent subdfts sjunges 2016-02-05 16:28:36 +0100
  • 2adbc5e0aa Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-05 15:44:53 +0100
  • ecc41f7063 Require minimum boost version Mavo 2016-02-05 15:37:07 +0100
  • 824d026860 started to write outline of abstraction-refinement procedure dehnert 2016-02-05 15:29:27 +0100
  • 9e9e23a370 more preparation for game-based abstraction dehnert 2016-02-05 15:14:53 +0100
  • 50e37217de Fixed compile problem Mavo 2016-02-05 13:59:21 +0100
  • c83db93c55 made everything compile again after latest changes (CheckTasks) dehnert 2016-02-05 13:33:36 +0100
  • ed9ac339e6 dft isomorphism sjunges 2016-02-05 13:14:48 +0100
  • 11489a53f3 Merge branch 'future' into menu_games dehnert 2016-02-05 11:53:26 +0100
  • e5f9ddfbcc changed cli to create tasks that only compute the value for the initial state (if the model checker supports that) dehnert 2016-02-05 11:49:52 +0100
  • 1308b91fda adapted canHandle in model checker interface to CheckTask dehnert 2016-02-05 11:15:28 +0100
  • 52f071c74a fixed minor bug (apparently because of new boost version) in spirit error handling dehnert 2016-02-04 23:03:05 +0100
  • 4367bdb378 properly introduced CheckTask in all model checkers and made it compile again (+ functional tests working) dehnert 2016-02-04 21:48:21 +0100
  • 3cd5738bb7 more replacement work in interfaces dehnert 2016-02-04 19:28:48 +0100
  • 85adfe9df2 more replacement work in interfaces dehnert 2016-02-04 19:21:13 +0100
  • ecfff3d2f9 in the spirit of JP: up dehnert 2016-02-04 19:03:07 +0100
  • 9873d2c915 boost python cmake fix for debian sjunges 2016-02-04 18:18:42 +0100
  • e3c4f5fa72 more work on customizing checking process dehnert 2016-02-04 17:02:31 +0100
  • d88bc115c4 Use keywords for pctl properties Mavo 2016-02-04 14:23:57 +0100
  • 933194c155 Added debuglevel to benchmark script Mavo 2016-02-04 14:16:46 +0100
  • 957ce0193f Set log level from commandline Mavo 2016-02-04 14:00:39 +0100
  • efdd9f25ae Changed expected result Mavo 2016-02-04 14:00:18 +0100
  • d7e3d10272 Small refactoring Mavo 2016-02-04 13:45:08 +0100
  • 7dd1bb67ea Some refactoring Mavo 2016-02-04 13:38:02 +0100
  • 2c969eff3b Updated benchmark script for reachability probabilities Mavo 2016-02-03 18:04:45 +0100
  • b55cc3276e Reachability probabilities for CTMCs Mavo 2016-02-03 18:04:14 +0100
  • 280af18341 still introducing check settings dehnert 2016-02-03 17:01:37 +0100
  • 5dd2dff92a replace in model checker interface (part 3) dehnert 2016-02-03 11:14:39 +0100
  • 16be4f9adc replace in model checker interface (part 2) dehnert 2016-02-03 11:07:30 +0100
  • d459fb5b92 replace in model checker interface (part 1) dehnert 2016-02-03 11:06:30 +0100
  • 31703b67ee added reward model (name) to check settings dehnert 2016-02-03 10:50:52 +0100
  • 5b60585b8a replaced boost::optional<std::string>() by boost::none dehnert 2016-02-03 10:37:59 +0100
  • bd67b141fa a bit more work toward CheckSettings objects dehnert 2016-02-02 20:03:29 +0100
  • d6c141b336 started working on class to capture check-specific settings for model checkers dehnert 2016-02-02 16:59:56 +0100
  • 69a464d5ef Changed unordered_set to BitVectorHashMap for DFTState Mavo 2016-02-01 18:45:18 +0100
  • dd17955a3e Added functionality to BitVectorHashMap Mavo 2016-02-01 18:36:43 +0100
  • 4eaf8f8443 changed ration number to the boost version again (this time in the correct version) dehnert 2016-02-01 16:18:11 +0100
  • 2e8f74a700 First steps toward exact linear equation solver dehnert 2016-02-01 14:51:34 +0100
  • 0a21431c07 Use representant for usage flag in DFTBuilder Mavo 2016-02-01 11:00:00 +0100
  • ed6d299d46 Benchmark script for DFTs Mavo 2016-02-01 10:57:40 +0100
  • a781df35c2 Use passive failure rate if BE is not used Mavo 2016-01-31 17:21:13 +0100
  • 7997b0596d fixed brp (pMDP version) to also work with PRISM dehnert 2016-01-29 20:42:36 +0100
  • 4079a3f9cc Refactoring Mavo 2016-01-29 13:50:49 +0100
  • 8211b8091d Helpful comment Mavo 2016-01-29 13:31:17 +0100
  • 0775bdf549 Disabled some debug output Mavo 2016-01-29 12:11:32 +0100
  • e04cc99931 Removed debug output Mavo 2016-01-29 10:28:38 +0100
  • d6b7331a5c Fixed problem with multiple transitions to one state Mavo 2016-01-29 10:28:20 +0100
  • 62f7305bea No rewards for target states Mavo 2016-01-28 18:07:19 +0100
  • 3e4ddbea8c Integrated expected time on parametric CTMCs Mavo 2016-01-28 14:27:24 +0100
  • 2b320523b5 fixed displaying of non const states and transitions TimQu 2016-01-28 09:15:18 +0100
  • f0bf55404d Merge branch 'future' into python_api sjunges 2016-01-27 23:46:28 +0100
  • bb408b2b29 parser returns non-const formulae now sjunges 2016-01-27 23:46:18 +0100
  • 1a08e1177d some issues with const for formulae sjunges 2016-01-27 23:45:47 +0100
  • 79d07a6bbd .. TimQu 2016-01-27 18:26:07 +0100
  • bb55d04acb .. TimQu 2016-01-27 18:01:39 +0100
  • 9d942bc78f .. TimQu 2016-01-27 17:59:22 +0100
  • d6f65465d2 Number of non-const states and transitions TimQu 2016-01-27 17:51:25 +0100
  • 6f0b5ef690 Merge branch 'future' into python_api sjunges 2016-01-27 11:37:26 +0100
  • d8191d8c6a const formulae sjunges 2016-01-27 11:36:59 +0100
  • cddaf4ca2a python for const formulae sjunges 2016-01-27 11:36:28 +0100
  • 01a71ca5ac Merge branch 'future' into python_api sjunges 2016-01-26 23:05:01 +0100
  • 9b9bbe2a68 added isParametric to models sjunges 2016-01-26 23:04:43 +0100
  • aad97116e0 overwrite build model by some method which applies the downcast directly sjunges 2016-01-26 23:04:06 +0100
  • 3ff915c111 checking whether model is parametric and as_mdp added sjunges 2016-01-26 23:03:33 +0100
  • 977e722e6c Merge branch 'future' into python_api sjunges 2016-01-26 21:21:53 +0100
  • c2138a8f1d no, thou shall not check how stupid i've been here sjunges 2016-01-26 21:21:42 +0100
  • 2e3b3f4c8c Merge branch 'future' into python_api sjunges 2016-01-26 20:43:18 +0100
  • 524f3aa0c2 perform bisim wrt single formula sjunges 2016-01-26 20:43:03 +0100
  • fdc918e948 use single formula for bisim (not working) sjunges 2016-01-26 20:42:33 +0100
  • ae9374dba6 Merge branch 'future' into python_api sjunges 2016-01-26 20:23:14 +0100
  • e43fb0bbfb Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-01-26 20:23:01 +0100
  • 95c37244a2 reduced complexity of bisimulation and preprocess call sjunges 2016-01-26 20:22:52 +0100
  • fec12edbc3 Merge from future Mavo 2016-01-26 20:08:07 +0100
  • 3cb99627af bisim via python sjunges 2016-01-26 19:26:53 +0100
  • 728ac0e7ff Merge branch 'future' into menu_games dehnert 2016-01-26 18:36:15 +0100
  • 1c7f5dae56 fixed a bug pointed out by Matthias dehnert 2016-01-26 18:34:33 +0100
  • 0a1ebc2f73 Distinct error message for parametric model checking Mavo 2016-01-26 17:50:40 +0100
  • 32b2023b4b Merge branch 'future' into python_api sjunges 2016-01-26 17:25:13 +0100
  • ad01dfa611 refactored bisimulation a bit (mainly the entry point as well as hidden some options) sjunges 2016-01-26 17:25:00 +0100
  • c26cdc9012 Wrong assertion Mavo 2016-01-26 17:20:01 +0100
  • 9c1edef4a7 Parse Galileo representation of voting gate as '1of3' Mavo 2016-01-26 17:17:46 +0100
  • 8b59a26fe0 More dft files Mavo 2016-01-26 17:15:24 +0100