sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
7278 Commits
2 Branches
0 Tags
187 MiB
Tree: 74cfecd011
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '74cfecd011'
${ noResults }
Commit Graph

19 Commits (74cfecd0113302044b2acca09918b516f81b9260)

Author SHA1 Message Date
dehnert a8caaf83c2 made passing carl to sylvan more robust
8 years ago
dehnert 1460e8f969 proper forwarding of Boost include directories to sylvan CMakeLists.txt
8 years ago
dehnert d0cf2ef57b update to version 1.4.0 of sylvan
8 years ago
dehnert 6d9e906291 remove LTO from sylvan as it causes more problems than it solves
9 years ago
dehnert ec3468aef5 hopefully fixed the compile issue on Linux
9 years ago
dehnert 0354c9024a moved to new sylvan version and made everything work again
9 years ago
Sebastian Junges 5bfb6b817a sylvan is now compiled with c++14 as it depends on c++14 code now (change in carl)
9 years ago
dehnert 77bd6e4a44 fixed some model building issues
9 years ago
Sebastian Junges b865f9f2bd sylvan builds with shipped carl
9 years ago
Sebastian Junges b0ccd7a22f removed double entry of include_directory in sylvan cmake
9 years ago
Philipp Berger 6d49f8cc60 Fixed include path for storm-config.h
9 years ago
dehnert 1ce5068694 fixed include dir in sylvan
9 years ago
dehnert f0f9831ac3 reworked CMake stuff a bit, removed some superfluous things
9 years ago
PBerger a73c48880c Initial commit.
9 years ago
PBerger be9648fc18 Added -fPIC to Sylvan. Since it is linked into Storm it is necessary for relocation to be possible, hence PIC.
9 years ago
dehnert 818760e0ad removed sylvan version from resources
10 years ago
sjunges 1e1400d68d merge
10 years ago
dehnert 226c77db77 added sylvan and started making it compile using cmake
10 years ago