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

Commit Graph

  • 273c2cb732 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-24 18:18:44 +0100
  • 4d174724c4 Merge Mavo 2016-02-24 18:18:38 +0100
  • d32d90de5b Fixed some compile warnings Mavo 2016-02-24 18:18:19 +0100
  • 5b6dcd0eed UsageIndex is number of used child now Mavo 2016-02-24 18:14:18 +0100
  • 08bed36579 fixed an issue in performance tests and renamed all remaining LOG4CPLUS macro invocations to that of storm dehnert 2016-02-24 17:31:18 +0100
  • 084bc26a5f fixed some things with respect to SEQs sjunges 2016-02-24 16:34:44 +0100
  • 6b166952e8 output operators for element type sjunges 2016-02-24 16:33:20 +0100
  • 4c6fe9ba7c Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-24 15:30:42 +0100
  • 91970cea72 intermediate commit sjunges 2016-02-24 15:28:58 +0100
  • 490f232d7a Example for possible pdep symmetry Mavo 2016-02-24 14:28:24 +0100
  • 1e9fedb7ba Order symmetries in decreasing order Mavo 2016-02-24 13:55:24 +0100
  • ea2fe4a19a First working version of symmetry reduction Mavo 2016-02-24 13:39:28 +0100
  • 8a77228e32 Set value in BitVectorHashMap Mavo 2016-02-24 13:28:13 +0100
  • d340ea7425 Helper function for replacing columns in SpareMatrix Mavo 2016-02-24 13:09:21 +0100
  • 865345c7bf a little morning code dehnert 2016-02-24 10:27:52 +0100
  • 8a0bd32b55 tearing apart explicit model builder and 'next-state generation' dehnert 2016-02-23 22:31:01 +0100
  • cce39fbd5d Helper function for symmetry ordering on bitvector Mavo 2016-02-23 18:57:41 +0100
  • 7ce969b312 started working on more flexible model generation using next-state-generators dehnert 2016-02-23 17:59:00 +0100
  • d148272386 Forgot const Mavo 2016-02-23 14:24:44 +0100
  • 2e8460548b Failed spares set use index to own id Mavo 2016-02-23 13:52:48 +0100
  • 1e4dbb1e58 More preparations for counting abstraction Mavo 2016-02-23 13:52:06 +0100
  • fb0cdf336b some benchmarking scripts and example regions... TimQu 2016-02-23 13:34:55 +0100
  • 6685b358f0 Symmetry mirrored in state vector Mavo 2016-02-22 18:31:52 +0100
  • a44d38e0bf Symmetries are given to StateGenerationInfo Mavo 2016-02-22 15:48:50 +0100
  • fa4a1aa68f Fixed bug with filtering reward vector Mavo 2016-02-22 15:44:37 +0100
  • f89cc46576 two more small examples sjunges 2016-02-22 00:05:27 +0100
  • dde9af6c44 mergeFailedStates and some updates for SEQs sjunges 2016-02-22 00:05:05 +0100
  • 211994bff9 removed debug output dehnert 2016-02-21 21:35:09 +0100
  • 9dd2a71f2f towards state space construction for SEQs sjunges 2016-02-21 20:59:45 +0100
  • a6f389fce2 SEQ in the parser sjunges 2016-02-21 20:59:08 +0100
  • 3c19fc5b74 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-21 19:36:24 +0100
  • 16c8945eb5 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-21 19:36:01 +0100
  • 371ba87f1c Fixed activation of spares Mavo 2016-02-21 19:35:20 +0100
  • 615882c6b3 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-21 19:26:03 +0100
  • 2a2eefa956 towards restrictions sjunges 2016-02-21 19:25:38 +0100
  • 74b512a76e Consider dependencies in DFS for state generation info Mavo 2016-02-21 16:05:03 +0100
  • 98f91262ed Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-21 15:53:19 +0100
  • 7bcbbe75fa Set dont care for children if parent gate fails Mavo 2016-02-21 15:53:14 +0100
  • 450167ad73 Merge branch 'future' into dtmc_conditional_rewards dehnert 2016-02-20 11:37:21 +0100
  • 5ce72a85ce added small test for conditional probability and conditional rewards dehnert 2016-02-19 20:04:11 +0100
  • b3483211ff alpha version of conditional rewards for dtmc dehnert 2016-02-19 19:41:16 +0100
  • 8755e75a60 towards a new element (and actually added a folder) sjunges 2016-02-19 18:13:05 +0100
  • 854f0b45ac Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-19 17:36:47 +0100
  • 0156b12764 Fixed compile problem under gcc Mavo 2016-02-19 17:36:35 +0100
  • b46ee5425e started to implement conditional rewards for dtmcs dehnert 2016-02-19 17:00:41 +0100
  • 1d0debc79c Merge branch 'future' into monolithic-dft sjunges 2016-02-19 16:21:09 +0100
  • 2dfb296811 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future sjunges 2016-02-19 16:20:49 +0100
  • 17a3dabfc5 fix in weak bisim for ctmcs sjunges 2016-02-19 16:20:45 +0100
  • b93f5c2f62 refactored a bit, plus bisimulation is now done sjunges 2016-02-19 16:19:36 +0100
  • 8d591a391b Merge Mavo 2016-02-19 15:52:39 +0100
  • 2754450f91 Refactored DFS search into own method Mavo 2016-02-19 15:47:57 +0100
  • d160bb1b13 Use only state ids instead of complete data structure Mavo 2016-02-19 15:47:16 +0100
  • 102602dea2 some refactoring sjunges 2016-02-19 15:29:27 +0100
  • 6ae403a264 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft sjunges 2016-02-19 13:57:44 +0100
  • c25889bc3e minor sjunges 2016-02-19 13:57:38 +0100
  • 20242e10e5 Small fix Mavo 2016-02-19 13:08:37 +0100
  • e12ac36249 Fixed problem with usageInfoBits for only one element Mavo 2016-02-19 11:41:34 +0100
  • 00dda74ba8 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-19 11:15:24 +0100
  • 3f70a69d6e Added argument for timebound Mavo 2016-02-19 11:15:17 +0100
  • 99c87182e4 Fixed missing include for gcc Mavo 2016-02-19 11:10:06 +0100
  • e40cc65117 added tests for fragment checker dehnert 2016-02-19 11:08:41 +0100
  • b8ff542b7b One conversion less for MA Mavo 2016-02-19 09:47:03 +0100
  • 689acfa28b Removed debug assertions Mavo 2016-02-19 09:29:22 +0100
  • a89a728f6d Moved benchmark script to SVN Mavo 2016-02-18 23:28:35 +0100
  • b9f747ffc1 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-18 23:23:03 +0100
  • 0d3687cf5e Refactored and sorted bitvector Mavo 2016-02-18 23:23:00 +0100
  • 7b643fe166 tests working again dehnert 2016-02-18 23:15:35 +0100
  • 2ab4417ed4 symmetry also check deps for roots now sjunges 2016-02-18 21:52:05 +0100
  • 130fa1328a function returns independent symmetries sjunges 2016-02-18 21:39:43 +0100
  • 11f01cdf52 towards using symred for counting abstr sjunges 2016-02-18 21:09:12 +0100
  • 2dbcd260e4 symred is now an option sjunges 2016-02-18 19:00:37 +0100
  • aaec1fd3bd isomorphism runs through first tests :) sjunges 2016-02-18 18:56:36 +0100
  • 30df7c0bda Convenience info about bijectioncandidates sjunges 2016-02-18 18:44:26 +0100
  • 7663c29c5d Fix in SubDFT computation. sjunges 2016-02-18 18:13:10 +0100
  • dc8a5b11e0 more refactoring regarding fragment checking dehnert 2016-02-18 18:04:15 +0100
  • ca77078a9c Deterministic Building for DFTs sjunges 2016-02-18 18:03:57 +0100
  • 7bf6dbbaab outgoingDependencies in c++ style :) sjunges 2016-02-18 16:45:45 +0100
  • cc92085a15 bijection check for homomorphism sjunges 2016-02-18 16:40:44 +0100
  • 5da88d5d52 Small refactoring Mavo 2016-02-18 16:32:45 +0100
  • 8ecd75d0e9 Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft Mavo 2016-02-18 16:12:45 +0100
  • 2e4afbc69b Ingoing and outgoing dependencies Mavo 2016-02-18 16:12:37 +0100
  • d00b32b548 fix of static parents and fixed warning in element types sjunges 2016-02-18 16:04:32 +0100
  • c0dfaef066 DFTElement: hasOnlyStaticParents Former-commit-id: 449222f331 sjunges 2016-02-18 15:45:18 +0100
  • cd3af54bb5 Dftelementstype: is static gate Former-commit-id: a7b82e8ea9 sjunges 2016-02-18 15:44:54 +0100
  • 8d0046a9a7 Dftelements: equalType Former-commit-id: 77b9b38246 sjunges 2016-02-18 15:44:31 +0100
  • 3874ddfa76 remove old cudd version dehnert 2016-02-18 10:36:41 +0100
  • af6dc174dd Merge branch 'future' into cudd3 dehnert 2016-02-18 10:35:07 +0100
  • 2cf42d1acf Merge branch 'exact_equation_solver' into monolithic-dft sjunges 2016-02-18 00:19:16 +0100
  • ce7bfed321 Merge branch 'future' into exact_equation_solver sjunges 2016-02-18 00:18:59 +0100
  • ac1efc7efd minor fix of a superfluous cmake include sjunges 2016-02-18 00:18:07 +0100
  • 7bdd85e97f add a comment that a file is autogenerated sjunges 2016-02-18 00:16:56 +0100
  • 391556cac1 work towards sym checks for dfts sjunges 2016-02-18 00:16:21 +0100
  • 6677316c57 Merge branch 'future' into monolithic-dft sjunges 2016-02-18 00:14:16 +0100
  • 40aea6c929 replaced Cudd_CountMinterm by old version to fix what appears to be bug (sent mail to Fabio Somenzi) dehnert 2016-02-17 23:56:51 +0100
  • fceb653b4c Merge branch 'future' into cudd3 dehnert 2016-02-17 22:11:41 +0100
  • 559142919d hotfix for segfaults, compile storm and log4cplus static sjunges 2016-02-17 22:07:45 +0100
  • dd0813b8c4 cudd3 now working, but tests segfaulting dehnert 2016-02-17 21:40:48 +0100
  • f9b930bfa5 Merge branch 'future' into cudd3 sjunges 2016-02-17 21:37:34 +0100
  • e83147ed42 include storm version only once sjunges 2016-02-17 21:37:20 +0100
  • 81e12ada93 fix path for cudd3 lib sjunges 2016-02-17 20:56:27 +0100