5288 Commits (ea7843d64bd29b6e1b514682bdc20113d3db6bd7)
 

Author SHA1 Message Date
dehnert 44d582dc65 added more output about CArL when it's found on the system 8 years ago
Matthias Volk c2d4f5ea73 Merge remote-tracking branch 'upstream/master' 8 years ago
Matthias Volk d893f5a19b Named variables in api 8 years ago
Matthias Volk 535d70f427 Added missing include 8 years ago
Matthias Volk d578fe4fd1 Merge remote-tracking branch 'upstream/master' 8 years ago
Matthias Volk ac566a64c3 Removed some whitespace 8 years ago
Matthias Volk 107bb2e083 Merge remote-tracking branch 'upstream/master' 8 years ago
dehnert cebd3d252d fixed include directory (cmake) for shipped carl 8 years ago
dehnert e3eb667914 Merge branch 'master' into cli_refactoring 8 years ago
Matthias Volk f7248579a3 Merge remote-tracking branch 'upstream/master' 8 years ago
dehnert 818bf8e447 added gurobi70 to FindGurobi.cmake 8 years ago
dehnert de2646b082 This commit fixes issue #5 related to Gurobi not being linked properly when requested. 8 years ago
dehnert f746386512 slightly reverting Matthias last change (include of carl::Formula) 8 years ago
dehnert 534bb43c5f Merge branch 'master' into cli_refactoring 8 years ago
Matthias Volk 06e9e2802d Fixed path in warning 8 years ago
Matthias Volk 489c444a0b Merge remote-tracking branch 'upstream/master' 8 years ago
Matthias Volk 4e4edce9fe Moved include to avoid sylvan compile issue 8 years ago
dehnert 18c0bd1309 Merge remote-tracking branch 'origin/master' into cli_refactoring 8 years ago
dehnert f7965cfc12 minor cleanup 8 years ago
dehnert 179cd8308e remove old API files 8 years ago
dehnert d746ff7154 remove superfluous entrypoints.h 8 years ago
dehnert 620ef30529 Merge branch 'master' into cli_refactoring 8 years ago
Matthias Volk c9ff177552 Merge remote-tracking branch 'upstream/master' 8 years ago
Matthias Volk f5c327a10e Boost must be set for shipped carl 8 years ago
dehnert ea02ea0838 started overhaul of cli/api 8 years ago
Matthias Volk ee901a7704 Merge remote-tracking branch 'upstream/master' 8 years ago
Matthias Volk b76ee0210a Fixed setting cmake flags for building shipped carl 8 years ago
Matthias Volk b695dd48fb Fixed assertion to allow timebound 0 8 years ago
Matthias Volk 857ffe1f14 Install z3 for travis 8 years ago
Matthias Volk a9d6d80ef0 Warning in cmake if Z3 is not found 8 years ago
Matthias Volk 5fb6dcc495 Fixed ordering in travis script 8 years ago
Matthias Volk fe1f5258d1 Merge remote-tracking branch 'upstream/master' 8 years ago
TimQu aa158f5144 ContinuousToDiscreteTimeModelTransformer can now transform the model out-of-place as well 8 years ago
Matthias Volk 8aaa4b3bf7 Playing with exit codes 8 years ago
TimQu 13982b4116 Merge branch 'choicelabels' 8 years ago
TimQu 433c05cc3e Fixed compiling under Linux 8 years ago
TimQu 790ae46e4f Fixed explicit dft model builder. 8 years ago
TimQu 0cdd32ff9f added two test cases for the drn parser 8 years ago
TimQu 9f894667eb Fixed DRN exporter/parser: MAs are not supported as there is no indication for Markovian choices 8 years ago
TimQu 36b38b10ee fixed smt minimal command set generator 8 years ago
TimQu 8a3c9a3184 Merge remote-tracking branch 'origin/master' into choicelabels 8 years ago
TimQu 8e26ceda5c fixed incorrect return value of isDeterministicModel 8 years ago
TimQu f2ab549b36 fixed compiling storm-dft 8 years ago
TimQu b4ad2718b0 fixed parser tests 8 years ago
TimQu e7a8357ee6 Fixed some tests 8 years ago
TimQu 88fc7fda0c fixed tests that used the prism model builder (reverted from commit f762491ce4) 8 years ago
TimQu 576f92568e StateValuations and ChoiceOrigins are now members of a sparse::Model. 8 years ago
TimQu 464bdc389c improved state valuations class 8 years ago
TimQu e7e4486cf4 Merge remote-tracking branch 'origin/master' into choicelabels 8 years ago
TimQu 1ce122a0d6 fixed compile issue related to ambiguous call of operator<< 8 years ago