dehnert
|
98d956275a
|
reworked version detection via git/defaults if not available
|
8 years ago |
|
dehnert
|
7cdc34bdc4
|
renamed version variables to make them consistent
|
8 years ago |
|
dehnert
|
1598f0db1e
|
cmake version detection fix for when storm is not built from git
|
8 years ago |
|
dehnert
|
cbd525b40b
|
Cmake adaptions here and there
|
8 years ago |
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
8 years ago |
|
Sebastian Junges
|
e1d201c85e
|
c++ code compiles again after rename
|
8 years ago |
|
dehnert
|
f0f9831ac3
|
reworked CMake stuff a bit, removed some superfluous things
Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc]
Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1
|
8 years ago |
|
sjunges
|
7bdd85e97f
|
add a comment that a file is autogenerated
Former-commit-id: 736184f68a9d95281e991b79a76946e26dfd8887
|
9 years ago |
|
dehnert
|
c474920fa4
|
Started refactoring SMT solvers. Now displaying MathSAT version in CLI.
Former-commit-id: 1736a0bb6b340595428a02fba1f36e5fab431338
|
10 years ago |
|
sjunges
|
cafcb3f238
|
version info extended and moved to cpp, added options flag (although unclear what exactly should be displayed then)
Former-commit-id: 3c82455d24bcdaf13c590c0c1f9a273e0078780b
|
10 years ago |
