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

Commit Graph

  • 79ba044c49 prints Timo Philipp Gros 2017-12-12 13:34:47 +0100
  • 5378adf99a Merge branch 'master' into sound-vi TimQu 2017-12-11 16:51:04 +0100
  • ebc3f61b82 Fixed wrong size of state reward vector during conditional reward computation TimQu 2017-12-11 16:50:36 +0100
  • 46074aa8bc fixed chain size computation TimQu 2017-12-11 16:41:33 +0100
  • 35fbb86af4 fixed topological:eqsolver option: it should require module name prefix TimQu 2017-12-11 16:01:45 +0100
  • bff609961f fixed wrong computation of chain sizes TimQu 2017-12-11 16:01:12 +0100
  • 3b7b60aa6c topological linear equation solver now respects sound computations TimQu 2017-12-11 14:57:40 +0100
  • 636d2638a5 added missing switch case TimQu 2017-12-11 14:54:06 +0100
  • 1cff0fcbbb improved interface of solver environment TimQu 2017-12-11 14:53:39 +0100
  • 304b8e32c6 introduced topological equation solver settings TimQu 2017-12-11 14:52:28 +0100
  • bc524b0f48 fixes for topological linear equation solver TimQu 2017-12-11 11:29:49 +0100
  • fcd91ecb30 fixed typo Timo Philipp Gros 2017-12-10 15:11:53 +0100
  • 4b2ddf3c6f leaving probloop deletion Timo Philipp Gros 2017-12-09 16:06:55 +0100
  • ce4d75b142 Merge branch 'master' into sound-vi TimQu 2017-12-09 15:56:45 +0100
  • a982af3348 setting lower bounds for equation solvers via move-reference TimQu 2017-12-09 15:56:20 +0100
  • eae92517e8 test for topological linear equation solver TimQu 2017-12-09 15:22:18 +0100
  • f89236100b Added topological linear equation solver TimQu 2017-12-09 15:21:46 +0100
  • 9bc82f58a3 temporarily extending the set of target states for reward computations TimQu 2017-12-08 14:53:34 +0100
  • bb0c0bbeb6 implemented gauss-seidl multiplications and relative termination for quick power iteration TimQu 2017-12-08 14:46:31 +0100
  • b33a31ee21 merge Sebastian Junges 2017-12-08 12:02:41 +0100
  • 905ae821f3 extended SMT-based minimal label set generator so that it can deal with lower-bounded properties (however loosing the minimality property in some sense) dehnert 2017-12-08 11:47:16 +0100
  • df86b6c815 fixing issue related to relevant value restriction in conditional properties dehnert 2017-12-06 19:57:38 +0100
  • 4e34754ac1 Updated release steps for setting tag on GitHub Matthias Volk 2017-12-06 17:29:13 +0100
  • 240899d32d Storm release 1.2.0 Matthias Volk 2017-12-06 16:49:05 +0100
  • 90a42d775f Use markdown in CHANGELOG Matthias Volk 2017-12-06 16:32:55 +0100
  • 24c0e23db2 Added checklist for new release Matthias Volk 2017-12-06 16:25:25 +0100
  • 0481ca3855 Fixed deprecated getType() Matthias Volk 2017-12-06 15:36:08 +0100
  • dbcc49f48f Use new carl release 17.12 Matthias Volk 2017-12-06 14:39:40 +0100
  • 945e360bcf Increased minimal carl version to 17.10 Matthias Volk 2017-12-06 14:39:22 +0100
  • c1102209e8 update changelog Sebastian Junges 2017-12-06 11:32:57 +0100
  • f6eadc14ca adding proper carl_DIR when using shipped carl dehnert 2017-12-06 09:43:12 +0100
  • a8caaf83c2 made passing carl to sylvan more robust dehnert 2017-12-05 16:28:14 +0100
  • b55e92bef7 Make quick power iteration respect the relevant Values TimQu 2017-12-04 11:46:27 +0100
  • 7148319243 typo Timo Philipp Gros 2017-12-02 16:44:25 +0100
  • f5a9a51511 removed logfileprints Timo Philipp Gros 2017-12-02 16:41:12 +0100
  • d79b4caf9e new implementation of relReachability to avoid waste of memory Timo Philipp Gros 2017-12-02 16:19:58 +0100
  • e67c04d2d6 update changelog dehnert 2017-12-02 13:09:43 +0100
  • cd34e3d67e fixed issue in rational search preventing convergence in many cases dehnert 2017-12-02 13:08:14 +0100
  • a77b0267f8 using the new version of FoxGlynn Timo Philipp Gros 2017-12-01 20:10:48 +0100
  • 4484cea360 fixing quick power iteration TimQu 2017-12-01 15:21:39 +0100
  • 382bc61d6b some fixes related to introduction of environments dehnert 2017-12-01 14:23:56 +0100
  • e0b5fa51c4 new FoxGlynn not included yet Timo Philipp Gros 2017-12-01 13:26:26 +0100
  • 4b39c507ef solved merge conflict Timo Philipp Gros 2017-12-01 13:13:04 +0100
  • 5600e65067 Merge branch 'foxglynn' dehnert 2017-12-01 11:20:21 +0100
  • 70818dd9dd finished c++ifying David Jansen's implementation of Fox-Glynn dehnert 2017-12-01 11:20:04 +0100
  • 3c65a4a10a added a missing assertion TimQu 2017-12-01 10:18:56 +0100
  • 27558e2140 started c++ifying David Jansen's implementation of Fox-Glynn dehnert 2017-11-30 22:23:11 +0100
  • 45b6f3452f Merge remote-tracking branch 'origin/master' into sound-vi TimQu 2017-11-30 17:30:45 +0100
  • b42aa5f473 initial implementation for quick and sound vi for DTMCs TimQu 2017-11-30 17:30:24 +0100
  • 85533018a1 added missing , ... TimQu 2017-11-30 17:26:59 +0100
  • 48b0a40d8a fix typo dehnert 2017-11-30 16:44:58 +0100
  • b0fd3c1730 started to rework Fox-Glynn dehnert 2017-11-30 16:34:56 +0100
  • 5951870046 Updated changelog Matthias Volk 2017-11-30 13:02:00 +0100
  • 1bef8564d1 enabling a test that previously was disabled TimQu 2017-11-30 12:55:43 +0100
  • 37bca625e5 Some of the tests still did not compile with cln as rational number TimQu 2017-11-30 11:36:39 +0100
  • 78fb458154 updated changelog dehnert 2017-11-29 20:38:39 +0100
  • 68ec4ca0ce Various fixes for the case STORM_USE_CLN_EA=ON TimQu 2017-11-29 20:11:15 +0100
  • 2a1487dc39 back to copied version of foxglynn, leaving too small values Timo Philipp Gros 2017-11-29 20:05:25 +0100
  • d2b14cfac2 skript for easier running one singe instance Timo Philipp Gros 2017-11-29 17:58:43 +0100
  • 535a6017e3 fixed use of FoxLynn after CutOff Timo Philipp Gros 2017-11-29 17:56:58 +0100
  • 6956da4938 updated changelog TimQu 2017-11-29 16:41:25 +0100
  • 1460e8f969 proper forwarding of Boost include directories to sylvan CMakeLists.txt dehnert 2017-11-29 09:13:53 +0100
  • 7db58c6374 using existing fox glynn now Timo Philipp Gros 2017-11-28 17:22:30 +0100
  • e99e5bf6bf Fixed typo leading to wrong variables in SMT encoding Matthias Volk 2017-11-28 15:56:50 +0100
  • 0d18886966 re-enabling conversion of MA to CTMC if the MA only has Markovian states dehnert 2017-11-28 11:21:11 +0100
  • f5b1259f3c fixed issue related to Markov automata without proababilistic states dehnert 2017-11-28 11:06:05 +0100
  • 0d78367b9a Catching empty selection in getSubmatrix pointed out by Timo Gros dehnert 2017-11-28 08:53:24 +0100
  • 7d464f5807 SMT encoding for voting gate via or/and construction Matthias Volk 2017-11-27 18:54:43 +0100
  • 2e69c59c78 references for poisson Timo Philipp Gros 2017-11-27 13:36:43 +0100
  • 7cdff07841 back copz fox glznn ' Timo Philipp Gros 2017-11-27 13:06:42 +0100
  • 43cba580a2 Fixed linear equation solver selection when ValueType is RationalFunction TimQu 2017-11-27 10:33:22 +0100
  • b155abc099 fixed stupid, big bug. add exit for stock-case Timo Philipp Gros 2017-11-26 18:55:17 +0100
  • 4b43a1c42c catching case psiStates=probStates, logprints still included Timo Philipp Gros 2017-11-26 18:15:22 +0100
  • 8565e81035 leaving some Log prints" Timo Philipp Gros 2017-11-26 15:06:39 +0100
  • 42e650362b fixed the sife of result vector MDP approach, add selfLoop deletion Timo Philipp Gros 2017-11-25 15:44:25 +0100
  • ec41a5e661 reorganised and modulised storm Timo Philipp Gros 2017-11-25 14:39:55 +0100
  • 7287272457 added another missing include TimQu 2017-11-24 21:14:00 +0100
  • f466301c55 Fixed compiling error raised by CD TimQu 2017-11-24 20:49:37 +0100
  • a32cfb0d7f Fixed uninitialized variables TimQu 2017-11-24 20:48:50 +0100
  • 3987458ed8 Fixed bug in claiming by only considering spare parents Matthias Volk 2017-11-24 20:00:45 +0100
  • 0b4c093e81 Throw exception for VOT gates Matthias Volk 2017-11-24 19:46:01 +0100
  • b31aa5d463 SMT support for POR gate Matthias Volk 2017-11-24 19:41:19 +0100
  • fe95a4e4a7 fixed some number conversions that did not work for CLN numbers TimQu 2017-11-24 19:32:13 +0100
  • 269686ef03 added two missing includes and reenabled test TimQu 2017-11-24 19:30:46 +0100
  • b665117381 updated changelog TimQu 2017-11-24 15:14:04 +0100
  • ccee1bb007 Added last constraint 11 for Fdeps Matthias Volk 2017-11-24 19:21:35 +0100
  • 1c90f3829f Added constraints 10 Matthias Volk 2017-11-24 18:46:50 +0100
  • e8a950d9d7 Support for conjunction over empty set Matthias Volk 2017-11-24 18:27:32 +0100
  • 0efa16876b Started on encoding for FDEPs by implementing constraint (9) Matthias Volk 2017-11-24 18:08:01 +0100
  • 89984abdaf Fixed spare claiming problem by asserting that only operational elements can be claimed Matthias Volk 2017-11-24 17:50:27 +0100
  • 6042588baf fixed one of two issues raised by TQ dehnert 2017-11-24 17:27:31 +0100
  • dd8ada13cd creating solver only once Timo Philipp Gros 2017-11-24 14:56:03 +0100
  • bf17e475db Merge branch 'environment' TimQu 2017-11-24 13:14:58 +0100
  • dedb48fac1 temporarily disabled test that is currently failing TimQu 2017-11-24 13:14:01 +0100
  • 285b2c71b9 renamed some files/classes TimQu 2017-11-24 13:10:44 +0100
  • b90e88c365 first version, seems to be working, need to check more Timo Philipp Gros 2017-11-24 12:48:14 +0100
  • 149fc2e009 The solution to the minmax equation system becomes unique after eliminating end components. TimQu 2017-11-24 11:54:09 +0100
  • 3898931540 Some sanity checks regarding linear equation solver requirements TimQu 2017-11-24 11:27:27 +0100
  • 776ce4c8bb Checking requirements of a linear equation solver now depends on whether we want to do multiplication or equation solving. This was necessary to get the correct requirements of a MinMaxSolver that only uses the underlying linear equation solver for multiplication. TimQu 2017-11-24 11:07:07 +0100
  • f675d60ccc Added assertion Matthias Volk 2017-11-24 10:32:24 +0100