dehnert
|
8e565a2930
|
forcing boost to use old optional implementation to prevent bug in spirit in boost 1.61; everyone can finally update and we take out the option as soon as this is resolved on the boost side of things
Former-commit-id: 92bc4796a0
|
8 years ago |
sjunges
|
ba81925c1d
|
renamed smt2smtsolver to smtlibsmtsolver and cleaned make files
Former-commit-id: 78c74dc9a5
|
8 years ago |
|
sjunges
|
ae9073ac50
|
moved cpplint in 3rdparty
Former-commit-id: abccea7438
|
8 years ago |
|
sjunges
|
fdbc0bf694
|
moved doxygen generation file to the resources
Former-commit-id: 445879a8bf
|
8 years ago |
|
sjunges
|
b8adc74ef9
|
gspn branch compiles and links with cln now
Former-commit-id: 962ffb9334
|
8 years ago |
|
sjunges
|
cfd6926add
|
a bit of progress
Former-commit-id: bbbb7ff21b
|
8 years ago |
|
sjunges
|
a36b8ede7b
|
minimal compiler versions, otherwise an error :)
Former-commit-id: 8f638492ed
|
8 years ago |
|
sjunges
|
5148cd71ea
|
marked several CMAKE_VARIABLES as advanced to avoid cluttering ccmake
Former-commit-id: ff9248b055
|
8 years ago |
|
sjunges
|
cae5f04d2b
|
first in a series of refactoring the library inclusion to be more adequate
Former-commit-id: e68ada137e
|
8 years ago |
|
sjunges
|
e0e5cd9f0e
|
progress on support for gmp, with cln everything should be fine
Former-commit-id: c91b5a7cef
|
8 years ago |
Mavo
|
2b399c887b
|
Doxygen not required
Former-commit-id: a5599d681d
|
8 years ago |
|
sjunges
|
5faebdff86
|
constants in header
Former-commit-id: 281e490873
|
8 years ago |
|
sjunges
|
0ed499a47f
|
use cln
Former-commit-id: f84ad5842f
|
8 years ago |
|
sjunges
|
0e6db25188
|
fix in STORM_USE_CLN_NUMBERS
Former-commit-id: 5e11e5d4c5
|
8 years ago |
|
sjunges
|
7bb65dbb22
|
fix a problem with cln used/unused
Former-commit-id: 2c6a2447a9
|
8 years ago |
hbruintjes
|
067b43525b
|
Add l3pp as project
Former-commit-id: 2ea4009282
|
9 years ago |
|
dehnert
|
99b9f11d49
|
removed eigen-3.2.6
Former-commit-id: 74fc9f0dbe
|
9 years ago |
|
dehnert
|
002bd58b2d
|
added shipped version of Eigen to CMakeList
Former-commit-id: b262c2023e
|
9 years ago |
|
sjunges
|
20511b142a
|
json parser added to link path
Former-commit-id: e2ef4871ea
|
9 years ago |
|
Mavo
|
eeb0f620ec
|
STORM_DEVELOPER mode introduced
Former-commit-id: 2749e19eab
|
9 years ago |
|
dehnert
|
5934a42898
|
Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac
git-subtree-dir: resources/3rdparty/sylvan
git-subtree-split: d91f6acb55
|
9 years ago |
|
hbruintjes
|
382c167c10
|
Print package version information
Former-commit-id: 08484d5cc7
|
9 years ago |
|
hbruintjes
|
a3fff6b8f6
|
Look for CLN and GiNaC, enable them if found
Former-commit-id: 45cb58477c
|
9 years ago |
|
dehnert
|
3476df75e8
|
finally removed log4cplus and affected code parts
Former-commit-id: 2beea8195e
|
9 years ago |
|
hbruintjes
|
7507175795
|
Fix some problems with REQUIRED
Former-commit-id: 26a47b9c4b
|
9 years ago |
|
hbruintjes
|
1bb2be74d4
|
Update CMake files
Former-commit-id: 9752e504e9
|
9 years ago |
|
sjunges
|
8c2cb4887f
|
Cmake option to disable debug and trace outputs
Former-commit-id: 9758862579
|
9 years ago |
|
sjunges
|
abac11ab50
|
sylvan build stuff in 3rd party folder now
Former-commit-id: 3ea163dfed
|
9 years ago |
|
sjunges
|
e0980de0ba
|
first version of storm without log4cplus as a dependency
Former-commit-id: 5aa64fabd7
|
9 years ago |
|
sjunges
|
559142919d
|
hotfix for segfaults, compile storm and log4cplus static
Former-commit-id: c4b18d9c83
|
9 years ago |
|
sjunges
|
a46ab2f631
|
use dynamic version of cudd
Former-commit-id: 5e3a12fdca
|
9 years ago |
|
sjunges
|
52268103e6
|
use shared version of log4cplus
Former-commit-id: b2f7e5f1fc
|
9 years ago |
|
sjunges
|
eaaa36928a
|
prevent xercesc from being linked when no xml support is required
Former-commit-id: 63bf3c1a71
|
9 years ago |
|
sjunges
|
167cbbe04f
|
updates for cudd inclusion - Warning: This does not compile
Former-commit-id: 8bb08265c1
|
9 years ago |
|
sjunges
|
faafff06d8
|
removed cudd 2.5 from cmake
Former-commit-id: 05c3239893
|
9 years ago |
|
sjunges
|
fc1dd999b2
|
only build xercesc if xml input format support is required
Former-commit-id: ce58e72eed
|
9 years ago |
|
sjunges
|
596ad8f7a3
|
Link directories are not the way to go.
Former-commit-id: 135296a5f3
|
9 years ago |
|
sjunges
|
a82904a5a8
|
GLPK: Dynamic lib
Former-commit-id: d47eeb1e88
|
9 years ago |
|
sjunges
|
0380997e1d
|
removed eigen3
Former-commit-id: 2e7e5b5253
|
9 years ago |
|
sjunges
|
2bc4f61453
|
extended os detection, include extension assumptions
Former-commit-id: 1ff024d7e3
|
9 years ago |
|
sjunges
|
d2d71960fc
|
slightly better cmake output
Former-commit-id: 796d0a652d
|
9 years ago |
|
sjunges
|
faca16db36
|
minor refactoring of cmakecode for inclusion of tbb
Former-commit-id: 51deceb978
|
9 years ago |
|
sjunges
|
3d0826849e
|
glpk 4.57 for the winners
Former-commit-id: 568dad7ba4
|
9 years ago |
|
sjunges
|
c319a997da
|
cmake lists from future
Former-commit-id: b3bc2f1bfb
|
9 years ago |
|
sjunges
|
a9bd5724c0
|
Silenced warnings about superfluous parentheses, they are more disturbing than helpful
Former-commit-id: 09e1b6691d
|
9 years ago |
|
Mavo
|
ecc41f7063
|
Require minimum boost version
Former-commit-id: 07b138d157
|
9 years ago |
|
sjunges
|
9873d2c915
|
boost python cmake fix for debian
Former-commit-id: facd495c4b
|
9 years ago |
|
dehnert
|
ebbd03c15b
|
fixed some warning-related stuff. introduced abstraction-refinement engine in options and entrypoints that currently only throws not-implemented exception
Former-commit-id: 7a4bb8e18c
|
9 years ago |
|
sjunges
|
21e678b59c
|
stormpy logic and using dynamic boost::python version
Former-commit-id: 6b203a4d6d
|
9 years ago |
|
dehnert
|
2ea5fd7418
|
fix in sylvan, minor changes to cmake list
Former-commit-id: 96adc0c187
|
9 years ago |
