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

Commit Graph

  • bb897a94c6 Moved ModelInstantiatorTest to storm-pars TimQu 2017-06-27 16:06:10 +0200
  • bc373475ff respecting state filters in bisimulation dehnert 2017-06-27 14:31:26 +0200
  • 3ffaa77193 first version of state filters in filter expressions dehnert 2017-06-27 14:27:16 +0200
  • 1dd8cc2d3f Added Validating Parameter Lifting region model checker TimQu 2017-06-27 12:40:12 +0200
  • 9350187895 Fixed tests TimQu 2017-06-27 12:39:47 +0200
  • 4191d17f1e Moved main testfiles into tests/storm/ and the storm-pars testfiles into tests/storm-pars TimQu 2017-06-27 12:39:28 +0200
  • 62d50b336b Moved parametric model simplification inside the Parameter lifting checker TimQu 2017-06-27 12:34:18 +0200
  • e5cbc25f00 properly installing dylib resulting from shipped carl build (now considers carl version) dehnert 2017-06-26 18:46:07 +0200
  • 3e7dd56def fixed static version information (used in the absence of git version information) dehnert 2017-06-26 18:24:20 +0200
  • 0542d66620 improved checking for git revision information dehnert 2017-06-26 18:22:24 +0200
  • 62dd371411 storm-pars cli TimQu 2017-06-26 14:22:22 +0200
  • c55a654c6c fixes and more settings for storm-pars TimQu 2017-06-26 14:22:10 +0200
  • e3f4476fa3 Decreased timeout for Linux again Matthias Volk 2017-06-26 14:07:23 +0200
  • 5982cf886d Introduce skip flag to avoid rerunning successful builds in later stages Matthias Volk 2017-06-26 13:05:12 +0200
  • c268df3da3 Increase timeout for Linux in travis Matthias Volk 2017-06-26 13:04:02 +0200
  • 9f82c34429 storm-pars library TimQu 2017-06-23 15:11:34 +0200
  • fef8f03a1a Changed travis helper for changed stages Matthias Volk 2017-06-23 10:31:48 +0200
  • 02fd731fa2 Discared specialized travis stages and just use 4 iterations for building Storm Matthias Volk 2017-06-23 10:20:32 +0200
  • c7b83ffb5f moved parameter lifting related code out of the main library/executable TimQu 2017-06-23 09:40:10 +0200
  • b3c8b92ea5 added model transformations to the api TimQu 2017-06-23 09:39:05 +0200
  • 9276cc355a Fixed issues in export of parametric result file Matthias Volk 2017-06-22 16:17:45 +0200
  • 4a743f1b20 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-22 12:54:57 +0200
  • 6ef8cf3042 Fixed compile problem with ull Matthias Volk 2017-06-22 12:52:29 +0200
  • e8fab0718c fixed issues in division operations of sylvan for rational numbers and rational functions (division by zero not correctly handled) dehnert 2017-06-21 20:37:24 +0200
  • 86d9b2e846 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-21 09:55:12 +0200
  • 9b40592932 Smaller timeout for Mac Matthias Volk 2017-06-20 16:45:14 +0200
  • 4827d2083c Renamed build scripts in travis Matthias Volk 2017-06-20 16:43:19 +0200
  • 4d61bc1e09 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-20 14:24:48 +0200
  • 8b29b71c46 added the option to build a model with state valuations to the api TimQu 2017-06-20 13:40:22 +0200
  • c28aebd52b improved output of scheduler a little TimQu 2017-06-20 13:39:45 +0200
  • b1f4dfd9d1 Fixed restoring the value of std::cout.fill() after setting it to '0' TimQu 2017-06-20 13:38:52 +0200
  • 2f49255db6 Improved storage::Scheduler. We can now consider arbitrary finite memory schedulers, potentially employing randomization. TimQu 2017-06-20 12:13:14 +0200
  • 16041bc936 Improved memory structure so that a memory update is triggered based on the transition that was taken (and not only the state that was reached) TimQu 2017-06-14 16:06:42 +0200
  • ada12204e1 fixed regression that did not define undefined constants properly dehnert 2017-06-20 14:20:05 +0200
  • c07fa77fda Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-14 16:51:26 +0200
  • cf79c053f9 replaced lambda default argument by Functor to make gcc 6.3 happy dehnert 2017-06-14 16:49:33 +0200
  • 6a2f810ccc Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-14 09:31:13 +0200
  • ecf3c7e996 reverted renaming of LabelSetGenerators to CommandSetGenerators. Potentially, these generators work for arbitrary sets of labels, not just for sets of Prism commands. TimQu 2017-06-14 09:29:16 +0200
  • 2794de2342 added missing include to make gcc happy dehnert 2017-06-13 16:28:17 +0200
  • c7d0bf5046 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-13 12:23:44 +0200
  • 35c9b58fda added a test case for SparseMatri::restrictRows and fixed it TimQu 2017-06-12 15:33:11 +0200
  • 15b61b6d0f Fixed missing return statement for continuousToDiscreteTimeModelTransformer TimQu 2017-06-12 12:09:34 +0200
  • dcd9319ba4 fixed a convertNumber instantiation TimQu 2017-06-12 12:08:54 +0200
  • 3fd72a11d8 Improved SparseMatrix::restrictRows so it can handle empty row groups TimQu 2017-06-12 12:07:27 +0200
  • 749f8e4186 Change ordering in travis to let MacOs run first as it takes longer Matthias Volk 2017-06-12 11:35:44 +0200
  • fb131a1616 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-12 09:42:33 +0200
  • 9cf3c67be9 added missing include of StandardRewardModel.h dehnert 2017-06-11 20:52:33 +0200
  • 44d582dc65 added more output about CArL when it's found on the system dehnert 2017-06-09 18:03:45 +0200
  • c2d4f5ea73 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-09 15:33:38 +0200
  • d893f5a19b Named variables in api Matthias Volk 2017-06-09 15:33:25 +0200
  • 535d70f427 Added missing include Matthias Volk 2017-06-09 15:32:50 +0200
  • d578fe4fd1 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-09 14:05:55 +0200
  • ac566a64c3 Removed some whitespace Matthias Volk 2017-06-09 14:02:52 +0200
  • 107bb2e083 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-09 10:32:53 +0200
  • cebd3d252d fixed include directory (cmake) for shipped carl dehnert 2017-06-08 23:05:24 +0200
  • e3eb667914 Merge branch 'master' into cli_refactoring dehnert 2017-06-08 11:21:01 +0200
  • f7248579a3 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-06 16:55:48 +0200
  • 818bf8e447 added gurobi70 to FindGurobi.cmake dehnert 2017-06-02 22:50:36 +0200
  • de2646b082 This commit fixes issue #5 related to Gurobi not being linked properly when requested. dehnert 2017-06-02 21:20:02 +0200
  • f746386512 slightly reverting Matthias last change (include of carl::Formula) dehnert 2017-06-02 20:50:58 +0200
  • 534bb43c5f Merge branch 'master' into cli_refactoring dehnert 2017-06-02 11:33:46 +0200
  • 06e9e2802d Fixed path in warning Matthias Volk 2017-06-02 11:31:57 +0200
  • 489c444a0b Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-02 11:31:12 +0200
  • 4e4edce9fe Moved include to avoid sylvan compile issue Matthias Volk 2017-06-02 11:30:53 +0200
  • 18c0bd1309 Merge remote-tracking branch 'origin/master' into cli_refactoring dehnert 2017-06-02 11:30:02 +0200
  • f7965cfc12 minor cleanup dehnert 2017-06-02 11:29:16 +0200
  • 179cd8308e remove old API files dehnert 2017-06-02 10:54:49 +0200
  • d746ff7154 remove superfluous entrypoints.h dehnert 2017-06-01 22:26:25 +0200
  • 620ef30529 Merge branch 'master' into cli_refactoring dehnert 2017-06-01 22:00:01 +0200
  • c9ff177552 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-01 16:00:10 +0200
  • f5c327a10e Boost must be set for shipped carl Matthias Volk 2017-06-01 15:59:57 +0200
  • ea02ea0838 started overhaul of cli/api dehnert 2017-06-01 14:55:07 +0200
  • ee901a7704 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-01 14:41:53 +0200
  • b76ee0210a Fixed setting cmake flags for building shipped carl Matthias Volk 2017-06-01 14:38:54 +0200
  • b695dd48fb Fixed assertion to allow timebound 0 Matthias Volk 2017-06-01 14:24:44 +0200
  • 857ffe1f14 Install z3 for travis Matthias Volk 2017-06-01 14:01:24 +0200
  • a9d6d80ef0 Warning in cmake if Z3 is not found Matthias Volk 2017-06-01 13:20:40 +0200
  • 5fb6dcc495 Fixed ordering in travis script Matthias Volk 2017-06-01 10:36:16 +0200
  • fe1f5258d1 Merge remote-tracking branch 'upstream/master' Matthias Volk 2017-06-01 10:35:33 +0200
  • aa158f5144 ContinuousToDiscreteTimeModelTransformer can now transform the model out-of-place as well TimQu 2017-05-31 20:17:43 +0200
  • 8aaa4b3bf7 Playing with exit codes Matthias Volk 2017-05-31 13:48:33 +0200
  • 13982b4116 Merge branch 'choicelabels' TimQu 2017-05-31 12:29:05 +0200
  • 433c05cc3e Fixed compiling under Linux TimQu 2017-05-31 11:27:29 +0200
  • 790ae46e4f Fixed explicit dft model builder. TimQu 2017-05-30 18:17:34 +0200
  • 0cdd32ff9f added two test cases for the drn parser TimQu 2017-05-30 17:00:07 +0200
  • 9f894667eb Fixed DRN exporter/parser: MAs are not supported as there is no indication for Markovian choices TimQu 2017-05-30 16:59:30 +0200
  • 36b38b10ee fixed smt minimal command set generator TimQu 2017-05-30 16:58:24 +0200
  • 8a3c9a3184 Merge remote-tracking branch 'origin/master' into choicelabels TimQu 2017-05-29 15:01:53 +0200
  • 8e26ceda5c fixed incorrect return value of isDeterministicModel TimQu 2017-05-29 14:31:34 +0200
  • f2ab549b36 fixed compiling storm-dft TimQu 2017-05-29 11:41:04 +0200
  • b4ad2718b0 fixed parser tests TimQu 2017-05-29 11:40:34 +0200
  • e7a8357ee6 Fixed some tests TimQu 2017-05-26 11:31:32 +0200
  • 88fc7fda0c fixed tests that used the prism model builder (reverted from commit f762491ce4) TimQu 2017-05-26 09:16:33 +0200
  • 576f92568e StateValuations and ChoiceOrigins are now members of a sparse::Model. A model can now be constructed by providing a modelComponents struct. TimQu 2017-05-26 09:16:15 +0200
  • 4f81f6a872 Merge remote-tracking branch 'origin/master' into symbolic_bisimulation dehnert 2017-05-25 09:57:59 +0200
  • f0f4cd7390 first version of sparse quotient extraction for dd bisimulation dehnert 2017-05-25 09:56:15 +0200
  • 464bdc389c improved state valuations class TimQu 2017-05-24 18:19:42 +0200
  • e7e4486cf4 Merge remote-tracking branch 'origin/master' into choicelabels TimQu 2017-05-24 18:05:01 +0200
  • 1ce122a0d6 fixed compile issue related to ambiguous call of operator<< TimQu 2017-05-24 17:59:48 +0200
  • a8e877d016 fixed capitalization. TimQu 2017-05-24 17:06:33 +0200