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: 3e7dd56def

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '3e7dd56def'

${ noResults }

tempest/CMakeLists.txt

447 lines

18 KiB

Raw Normal View History

find xercesc is now provided by cmake, so we use that 8 years ago first version for python support Former-commit-id: 9a459146a56c3f39ae7226632e06952ece832905 10 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang. 12 years ago Renaming MRMC to STORM, see #42 Markt und Straßen stehn verlassen, still erleuchtet jedes Haus, Sinnend' geh ich durch die Gassen, alles sieht so festlich aus. An den Fenstern haben Frauen buntes Spielzeug fromm geschmückt, Tausend Kindlein stehn und schauen, sind so wunderstill beglückt. Und ich wandre aus den Mauern Bis hinaus ins freie Feld, Hehres Glänzen, heil'ges Schauern! Wie so weit und still die Welt! Sterne hoch die Kreise schlingen, Aus des Schnees Einsamkeit Steigt's wie wunderbares Singen- O du gnadenreiche Zeit! Merry Christmas commit ;) 12 years ago Initial Import into Git Lacks Doxygen files/integration 13 years ago Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago removed src prefix in all includes 8 years ago c++ code compiles again after rename 8 years ago Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang. 12 years ago refactored cmakelists Former-commit-id: 34e4e217a60be644180659834d43b686cfa24b01 10 years ago renamed smt2smtsolver to smtlibsmtsolver and cleaned make files Former-commit-id: 78c74dc9a54a3c62b0c0608febf9bf22998389ae 9 years ago Added functionality to rapidly extract sub-matrix from our sparse matrix format. 12 years ago updates for cudd inclusion - Warning: This does not compile Former-commit-id: 8bb08265c10ab617894cb118fff3b3abd3dca560 9 years ago renamed smt2smtsolver to smtlibsmtsolver and cleaned make files Former-commit-id: 78c74dc9a54a3c62b0c0608febf9bf22998389ae 9 years ago refactoring resource management in storm cmake to allow easier inclusion in other projects 8 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago ​ reworked version detection via git/defaults if not available 8 years ago Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ added cmake option to toggle link-time-optimization 8 years ago ​ replaced some StoRMs and Storms by storm, reworked version output a bit 8 years ago ​ - removed deprecated option USE_CARL (now a variable). - changed behaviour of POPCNT: we usually rely on march=native which uses popcnt if available, and now can force its usuage in other situations 8 years ago ​ ​ changed default linking type of boost to dynamic, as otherwise g++ complains about non-relocatable code Former-commit-id: 63ec8b7a0c4e0b56457f6a2d35136c60b8951adb [formerly bb9fffd68107052153c00e3f9994febc3954b661] Former-commit-id: 42afbe5a819ebac50a9d8623902a09f4b04345a9 8 years ago Modified CMakeLists.txt, made the variable names a bit more clear. All Storm-related options should be prefixed with STORM_ so that they dont break or influence dependent builds. Former-commit-id: 9aea43e3e22cb4172de34c84de22a53c429c2f3b 11 years ago Update CMake files Former-commit-id: 9752e504e9952ea0e2e9b71265c2158970848120 9 years ago - removed deprecated option USE_CARL (now a variable). - changed behaviour of POPCNT: we usually rely on march=native which uses popcnt if available, and now can force its usuage in other situations 8 years ago initial work on installation of storm 8 years ago ​ added linking with hypro Former-commit-id: cadca197f1394d6b560431579e4857fa0c5205bf 9 years ago ​ let xerces inclusion work on linux systems Former-commit-id: 3251cac0e0f04263aafd93f4760c96f695c044bf [formerly 7b7a8f5f405b15fdb0ea8b35f770d16b5454fc68] Former-commit-id: 13e8bc7a8d9d507c2f1ea4865aec98e84d6e240e 8 years ago templated all explicit parsers so that they may now be modified to produce non-double models Former-commit-id: dd7f8767f8ec9283ef191d722df97bba8f423093 10 years ago marked several CMAKE_VARIABLES as advanced to avoid cluttering ccmake Former-commit-id: ff9248b0556f5cf6777187f53e1191154f3f7beb 9 years ago ​ ​ Cmake option to disable debug and trace outputs Former-commit-id: 9758862579554eb3f83af62c09cfef5e4dbcd06c 9 years ago Export options whether CLN is used. 8 years ago ​ ​ ​ reworked version detection via git/defaults if not available 8 years ago Update CMake files Former-commit-id: 9752e504e9952ea0e2e9b71265c2158970848120 9 years ago Allow hints for z3 Former-commit-id: 24885ab1bc11f225f0cf78f3f5cc10d396d7d17b 10 years ago ​ Update CMake files Former-commit-id: 9752e504e9952ea0e2e9b71265c2158970848120 9 years ago ​ Merge branch master into LTLParser 12 years ago ​ Cmake adaptions here and there 8 years ago ​ marked several CMAKE_VARIABLES as advanced to avoid cluttering ccmake Former-commit-id: ff9248b0556f5cf6777187f53e1191154f3f7beb 9 years ago ​ ​ ​ ​ ​ towards exporting targets for storm to be included in other projects 8 years ago ​ ​ ​ ​ ​ ​ reworked version detection via git/defaults if not available 8 years ago towards exporting targets for storm to be included in other projects 8 years ago ​ ​ ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago made storm_developer not override build_type if one was explicitly set 8 years ago STORM_DEVELOPER mode introduced Former-commit-id: 2749e19eab2ed0c63aea34e7f116ca2804183dc2 9 years ago made storm_developer not override build_type if one was explicitly set 8 years ago ​ ​ ​ commit to switch workplace 8 years ago ​ made storm_developer not override build_type if one was explicitly set 8 years ago ​ ​ undoing previous commit. Just ignore those... 12 years ago made storm_developer not override build_type if one was explicitly set 8 years ago reworked version detection via git/defaults if not available 8 years ago Change in CmakeLists.txt: When building debug, add -g as CXX flag (For clang) 12 years ago CCache fixed name of option, write info about that in storm-version Former-commit-id: 57c07b844987bd3f40d0b343b492246a3e0dd43c 10 years ago use ccache as an option Former-commit-id: 9f7fa74225fb04b5b16e0178a1979e43f2195c5c 10 years ago marked several CMAKE_VARIABLES as advanced to avoid cluttering ccmake Former-commit-id: ff9248b0556f5cf6777187f53e1191154f3f7beb 9 years ago use ccache as an option Former-commit-id: 9f7fa74225fb04b5b16e0178a1979e43f2195c5c 10 years ago reworked version detection via git/defaults if not available 8 years ago use ccache as an option Former-commit-id: 9f7fa74225fb04b5b16e0178a1979e43f2195c5c 10 years ago ​ ​ reworked version detection via git/defaults if not available 8 years ago use ccache as an option Former-commit-id: 9f7fa74225fb04b5b16e0178a1979e43f2195c5c 10 years ago ​ Finding smtrat via their new export version Former-commit-id: e261755b9ea48a9857619c68e1d0dc0ca29d4812 10 years ago Set correct example path for tests 8 years ago ​ first version for python support Former-commit-id: 9a459146a56c3f39ae7226632e06952ece832905 10 years ago CMake now requiring hwloc for sylvan under linux Former-commit-id: d9425c362ccdebcaed3aae3f1ae1c644e6b1e2d0 9 years ago extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ CMake now requiring hwloc for sylvan under linux Former-commit-id: d9425c362ccdebcaed3aae3f1ae1c644e6b1e2d0 9 years ago ​ ​ extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago CMake now requiring hwloc for sylvan under linux Former-commit-id: d9425c362ccdebcaed3aae3f1ae1c644e6b1e2d0 9 years ago ​ ​ extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ CMake now requiring hwloc for sylvan under linux Former-commit-id: d9425c362ccdebcaed3aae3f1ae1c644e6b1e2d0 9 years ago ​ extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ ​ ​ CMake now requiring hwloc for sylvan under linux Former-commit-id: d9425c362ccdebcaed3aae3f1ae1c644e6b1e2d0 9 years ago reworked version detection via git/defaults if not available 8 years ago extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ ​ Enable dynamic linking on linux, and replace xerces find module by system version Former-commit-id: 6f6864404da695c3333869ca286a40f2457b86fe 9 years ago extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ ​ Enable dynamic linking on linux, and replace xerces find module by system version Former-commit-id: 6f6864404da695c3333869ca286a40f2457b86fe 9 years ago extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ ​ Enable dynamic linking on linux, and replace xerces find module by system version Former-commit-id: 6f6864404da695c3333869ca286a40f2457b86fe 9 years ago extended os detection, include extension assumptions Former-commit-id: 1ff024d7e3d2d86a2f737b3a217b33682ecb3ee6 9 years ago ​ ​ Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago Ninja recognizes dependencies + build shared libs Former-commit-id: 569c0da147b93e88a19e1163dfad132e6c7f9319 8 years ago ​ ​ ​ ​ ​ ​ ​ Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ minimal compiler versions, otherwise an error :) Former-commit-id: 8f638492ed4e0354df0fb36e92cc893df8cfa21f 9 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ Cmake adaptions here and there 8 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ minimal compiler versions, otherwise an error :) Former-commit-id: 8f638492ed4e0354df0fb36e92cc893df8cfa21f 9 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ ​ ​ minimal compiler versions, otherwise an error :) Former-commit-id: 8f638492ed4e0354df0fb36e92cc893df8cfa21f 9 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago minimal compiler versions, otherwise an error :) Former-commit-id: 8f638492ed4e0354df0fb36e92cc893df8cfa21f 9 years ago merge Former-commit-id: eb9efc4bb2d637cb723eec35a308a618de0ffef4 9 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ ​ ​ CMakeLists.txt: Enable debug symbols only on GCC (as e.g. Visual Studio creates a debug version automatically...) 13 years ago added compiler version to output of cmake 8 years ago Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang. 12 years ago CCache fixed name of option, write info about that in storm-version Former-commit-id: 57c07b844987bd3f40d0b343b492246a3e0dd43c 10 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago CCache fixed name of option, write info about that in storm-version Former-commit-id: 57c07b844987bd3f40d0b343b492246a3e0dd43c 10 years ago ​ Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago Refactored CMakeLists.txt for better editing and overview Refactored all Defines for Gurobi, TBB, etc into the storm-config file Fixed a missing cast int SymbolicModelAdapter.h Fixed changed iterator structures in SparseMatrix.h Fixed bugs in CuddUtility.cpp where a 64bit shift was executed on a 32bit literal (1 should be 1ull) Fixed a Type Error in graph.h Former-commit-id: 797b4da2ebecb716c793d0529b7012737e448b2a 11 years ago ​ - removed deprecated option USE_CARL (now a variable). - changed behaviour of POPCNT: we usually rely on march=native which uses popcnt if available, and now can force its usuage in other situations 8 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ merge Former-commit-id: eb9efc4bb2d637cb723eec35a308a618de0ffef4 9 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ Refactored version handling. Its now done via Tags in GIT. Added CPack configuration as to build packages on the build servers. Former-commit-id: f3d9507867155c41e82ee9d24e851a096dd59e4c 11 years ago Update CMake files Former-commit-id: 9752e504e9952ea0e2e9b71265c2158970848120 9 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago Update CMake files Former-commit-id: 9752e504e9952ea0e2e9b71265c2158970848120 9 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago Option to force color output for clang/ninja. Former-commit-id: c0fb2ac6a7b645f87f30d40e1cf89d6a005ced72 10 years ago ​ ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ ​ ​ ​ ​ added cmake option to toggle link-time-optimization 8 years ago gcc and clang working on Debian Stretch again 8 years ago ​ ​ ​ ​ ​ ​ ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago added missing template instantiation and print more info on LTO in cmake 8 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ Option to force color output for clang/ninja. Former-commit-id: c0fb2ac6a7b645f87f30d40e1cf89d6a005ced72 10 years ago added cmake option to toggle link-time-optimization 8 years ago ​ hopefully fixed the compile issue on Linux 8 years ago gcc and clang working on Debian Stretch again 8 years ago ​ hopefully fixed the compile issue on Linux 8 years ago ​ ​ ​ added missing template instantiation and print more info on LTO in cmake 8 years ago ​ ​ added cmake option to toggle link-time-optimization 8 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago replaced some StoRMs and Storms by storm, reworked version output a bit 8 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ Refactored version handling. Its now done via Tags in GIT. Added CPack configuration as to build packages on the build servers. Former-commit-id: f3d9507867155c41e82ee9d24e851a096dd59e4c 11 years ago reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 8 years ago ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ CMakeLists.txt: Enable debug symbols only on GCC (as e.g. Visual Studio creates a debug version automatically...) 13 years ago Integrate CUDA into buildsystem and add example function Former-commit-id: 2f5acf8dcdda0d6b800094a44ba13397c57768d4 10 years ago initial work on installation of storm 8 years ago ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ ​ some cleaning and extra comments in the CMakeLists Former-commit-id: 95b2bc6d30f788cd7ebe3d312183f243f02a2048 10 years ago ​ reworked CMake stuff a bit, removed some superfluous things Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc] Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1 is expanded to 64bit #@STORM_CUDAPLUGIN_FLOAT_64BIT_ALIGN_DEF@ STORM_CUDAPLUGIN_HAVE_64BIT_FLOAT_ALIGNMENT #endif // STORM_CUDAPLUGIN_GENERATED_STORMCONFIG_H_