tempest

Author	SHA1	Message	Date
Matthias Volk	f744176481	Fixed lib filename for carl (Fixes #85 )	4 years ago
Tim Quatmann	d135bc8ecb	cmake: Workaround for the FATAL_ERROR that occurred whenever building shipped carl was aborted (bypassing github issue #62 ).	4 years ago
Tim Quatmann	90ade051c2	Added CMAKE option STORM_LOAD_QVBS to automatically download the quantitative verification benchmark set	4 years ago
Tim Quatmann	74f7cd17ea	Changed the target directory for the downloaded Eigen headers so that they are now located within the build folder (hopefully avoiding conflicts with multiple build-folders). Made the include path for the Eigen headers more unique, so we no longer use the headers at /urs/include/ instead.	4 years ago
Tim Quatmann	739ef0b8b4	Updated Eigen version. This fixes issue #77 We also now clone Eigen from the eigen git and perform a patch step. This makes updating the eigen versions more easy in the future.	4 years ago
Tim Quatmann	743dc3e8b1	Cmake: Silence some cmake warnings that recently appear (part 2)	5 years ago
Tim Quatmann	48395f1218	Cmake: Fixed capitalization of z3 and hwloc to silence some cmake warnings that recently appear.	5 years ago
Sebastian Junges	542f94babd	report on gurobi library, extended libraries and prefer (empirically) newer versions over older versions	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	98e3ac5ad7	integrated new gtest version in cmake.	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
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	5 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.	5 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	425eb4b1a9	Made version check for master14 branch of carl more robust	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
dehnert	cdfa328464	first attempt at adapting to Z3 interface change	6 years ago
Matthias Volk	9e398ffaab	Minor improvements for some CMake output	6 years ago
dehnert	e019bf19d1	fixing Z3 hint handling	7 years ago
dehnert	01dc240eea	fixed checking carl version	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
dehnert	3185719fe5	fix for linking issue under linux, adding missing l3pp dependency l3pp_ext	7 years ago
dehnert	b09cb95254	fixed wrong call in sylvan double to rational number conversion	7 years ago
dehnert	da02237769	work towards symbolic rational search	7 years ago
Matthias Volk	4626aa0e69	Updated search for mathsat in cmake and fixed linker problem	7 years ago
dehnert	43643b9699	bump gmm++ version to 5.2 (from 5.0)	7 years ago
Joachim Klein	40a982430c	cmake for carl: handle situation where carl version information is missing Older carl versions don't provide detailed version information, so we provide an informative error message instead of cmake syntax errors during the comparison.	7 years ago
dehnert	75ec21b1d6	remove USE_CARL variable and add option to take hint for carl directory	7 years ago
Sebastian Junges	c639f39076	require carl version 17.08	7 years ago
dehnert	cdf76b0c15	fixed DD-based quotient extraction in bisimulation	7 years ago
Matthias Volk	5bdbc00bcd	Changed carlConfig path for shipped carl	7 years ago
Matthias Volk	e4783846e0	Changed carlConfig path for shipped carl	7 years ago
Sebastian Junges	56616f1e26	trying to clarify sylvan dependency on carl	7 years ago
Sebastian Junges	bec6b664d9	actually check carl version, error if outdated	7 years ago
dehnert	e5cbc25f00	properly installing dylib resulting from shipped carl build (now considers carl version)	7 years ago
dehnert	44d582dc65	added more output about CArL when it's found on the system	7 years ago

1 2 3 4

174 Commits (5e040553a65d8da017c2b8581f03a1465c6b1ad5)