Tim Quatmann
632c9c2e1e
Modified the modernjson library so that it can parse numbers as rationals.
5 years ago
Tim Quatmann
d92e6b97e5
updated exprtk
5 years ago
Tim Quatmann
03a77f9c6a
Added new Gurobi version
5 years ago
Matthias Volk
7339f487a9
Fixed BUILD_BYPRODUCTS for Ninja
5 years ago
Tim Quatmann
a4954332a3
incremented gtest version.
5 years ago
Tim Quatmann
98e3ac5ad7
integrated new gtest version in cmake.
5 years ago
Tim Quatmann
a145818e4d
updated gtest version
5 years ago
Tim Quatmann
d67f1b4898
cmake: Fixed compilation of shipped glpk under mac os
5 years ago
Tim Quatmann
6008f489e2
bumped version of shipped glpk
5 years ago
Tim Quatmann
60e78dd438
cmake: Do not search for CLN if it is not needed.
5 years ago
Matthias Volk
a0d8c959e4
Changed SEND_ERROR to FATAL_ERROR in CMakeLists for resources
5 years ago
Matthias Volk
b15ba29d9e
Disable search for boost-cmake
5 years ago
Sebastian Junges
28f8c9d821
Fix as proposed by Lord Hobborg in Issue 53
5 years ago
Matthias Volk
3fa0b5aabb
Fixed issue in Sylvan where large numbers were not recognized as powers of 2.
__builtin_popcount only takes unsigned int as input, but not larger numbers (e.g. 2^33).
We use bit operations instead now.
5 years ago
Matthias Volk
30565e4d0c
Use carl hashing functions
5 years ago
Tim Quatmann
2cb7b5769e
Jit: Fixed issues when CLN and/or GMP is installed via carl
5 years ago
Sebastian Junges
d295f6e777
export of bdds into dot and text format
6 years ago
Matthias Volk
9c52d0d2ab
Workaround for IntelTBB linker issue by CMake/Regex magic.
IntelTBB does not use symlinks (as commonly used) to reference its libraries but instead uses linker scripts.
These linker scripts do not work with GCC and linking fails.
As a workaround we manually set the correct library in CMake after extracting the path from the linker script with regex magic.
This workaround is highly hackish and might break in the future.
6 years ago
Tim Quatmann
3a11a4b3eb
Introducing a TBB adapter that #undefs TRUE and FALSE.
6 years ago
Matthias Volk
d3479071ac
Set sysroot for cudd to fix issue with moved header files in macOS Mojave
6 years ago
Matthias Volk
36601c8187
Added virtual destructors in cpptempl
6 years ago
Matthias Volk
8cbfd720f8
Set sysroot for cudd to fix issue with moved header files in macOS Mojave
6 years ago
Matthias Volk
22cbc9446f
Added virtual destructors in cpptempl
6 years ago
TimQu
9dcbd69c09
CMake: Added a comment why we link statically against mathsat on macOS.
6 years ago
Tim Quatmann
a2190c04b0
Added new versions to FindGurobi.cmake
6 years ago
Tim Quatmann
1d52d577cb
Fixed linking with Mathsat on macOS
6 years ago
Tim Quatmann
6b32bd1dc3
cmake: Added option to specify a path to the qvbs benchmarks.
6 years ago
Matthias Volk
d3356cd3e4
Use master14 branch for Carl
6 years ago
Matthias Volk
425eb4b1a9
Made version check for master14 branch of carl more robust
6 years ago
Michael Raitza
cff6fdd8c6
nix-scripts: Update scripts and add documentation
6 years ago
Michael Raitza
c91005534c
nix-scripts: storm -> 02.10.2018
6 years ago
Michael Raitza
88e24fb981
nix-scripts: carl 17.12 -> 18.06
6 years ago
Michael Raitza
7205e46c80
Add Nix overlay that builds storm and its dependencies
6 years ago
Sebastian Junges
42f49d8914
support for carl:c++14 tag
6 years ago
Matthias Volk
785dbbdcdb
CMake version parsing of z3 without z3 binary
6 years ago
Sebastian Junges
53e9179722
CMake more stable in case z3 version is not obtained
6 years ago
Matthias Volk
6a1ab53e35
Use carl version 18.06 if building from within Storm
7 years ago
dehnert
cdfa328464
first attempt at adapting to Z3 interface change
7 years ago
Matthias Volk
9e398ffaab
Minor improvements for some CMake output
7 years ago
dehnert
e019bf19d1
fixing Z3 hint handling
7 years ago
Matthias Volk
263e6ed5f8
Removed generated files from git
7 years ago
dehnert
022adf988d
fixed typo
7 years ago
dehnert
01dc240eea
fixed checking carl version
7 years ago
Matthias Volk
dbcc49f48f
Use new carl release 17.12
7 years ago
Matthias Volk
945e360bcf
Increased minimal carl version to 17.10
7 years ago
dehnert
f6eadc14ca
adding proper carl_DIR when using shipped carl
7 years ago
dehnert
a8caaf83c2
made passing carl to sylvan more robust
7 years ago
dehnert
1460e8f969
proper forwarding of Boost include directories to sylvan CMakeLists.txt
7 years ago
dehnert
7d65bd5e2e
fixing carl version check
7 years ago
Matthias Volk
58c8531d34
Use Carl 17.10
7 years ago