You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: a0b7eea500

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'a0b7eea500'

${ noResults }

tempest/resources/3rdparty

History

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.		7 years ago
..
carl	DetScheds: Print model statistics.	7 years ago
cpptemplate	DetScheds: Print model statistics.	7 years ago
cudd-3.0.0	DetScheds: Print model statistics.	7 years ago
cusplibrary@d8d7d9e97a	Added cusplibrary as a git submodule.	12 years ago
eigen-3.3-beta1	DetScheds: Print model statistics.	7 years ago
exprtk	Minor updates to ExprTk	9 years ago
glpk-4.57	glpk 4.57 for the winners	10 years ago
gmm-5.2	DetScheds: Print model statistics.	7 years ago
gtest-1.7.0	cmake: marked several variables as advanced	11 years ago
l3pp	merge l3pp branch	10 years ago
modernjson	warkaround for gcc 7.2.0: make modernjson compile again	9 years ago
nix-scripts	DetScheds: Print model statistics.	7 years ago
sparsepp	DetScheds: Print model statistics.	7 years ago
sylvan	DetScheds: Print model statistics.	7 years ago
xercesc-3.1.2	DetScheds: Print model statistics.	7 years ago
z3	DetScheds: Print model statistics.	7 years ago
CMakeLists.txt	Workaround for IntelTBB linker issue by CMake/Regex magic.	7 years ago
include_cudd.cmake	Set sysroot for cudd to fix issue with moved header files in macOS Mojave	7 years ago
include_glpk.cmake	carl conf imported, other dependencies declared als import target and exported to storm conf	10 years ago
include_xerces.cmake	fixed xerces	10 years ago