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

542 Commits (main)

Author SHA1 Message Date
Sebastian Junges e311eaa40f z3 as imported lib
9 years ago
dehnert ce36601f7c fixed gmp dependency (lib), fixed parser to reject formulas that appear later in the PRISM file
9 years ago
dehnert 37272e11c8 renamed Eigen:: to StormEigen:: to distinguish our modified version from other versions
9 years ago
Sebastian Junges 54354fc0b6 boost targets are now exported
9 years ago
TimQu 83a77e77ba fixed use of gmp numbers
9 years ago
Sebastian Junges e27ffb5b23 if hwloc is present on mac, it is also linked as otherwise, we get linker errors
9 years ago
dehnert 05203792f2 fixed a couple of warnings
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
Philipp Berger 822ae6be40 Fixes
9 years ago
Matthias Volk d0dffcfc40 Fixed path for sylvan byproducts
9 years ago
Sebastian Junges cfaecaa9fb added dependency to ensure that sylvan is build before imported target is created, also moved build location for sylvan to a more approriate location
9 years ago
Sebastian Junges ce1ca25740 put the carl-config cmake in the right spot
9 years ago
sjunges 95532b3b5a hwloc target fix (essential for linux)
9 years ago
Sebastian Junges 9d2f4ace08 additional dependent targets as imported libs created
9 years ago
Sebastian Junges b4ce43ca0a carl conf imported, other dependencies declared als import target and exported to storm conf
9 years ago
Sebastian Junges 23254f3e62 refactoring resource management in storm cmake to allow easier inclusion in other projects
9 years ago
sjunges 0260eaa7be towards exporting targets for storm to be included in other projects
9 years ago
Philipp Berger da69e8d9b7 Cherry-picked changes.
9 years ago
Tom Janson 179c144e56 require Python >= 3.0
9 years ago
sjunges a844b001f9 python has to be found before carl is included in order to pass the python version forward
9 years ago
sjunges bca98e7514 aclocal and autoreconf seem necessary to configure cudd currently, so check for both
9 years ago
Sebastian Junges 8c77762e72 find xercesc is now provided by cmake, so we use that
9 years ago
sjunges 5967cdea1e Moved GSPN code to a separate lib
9 years ago
dehnert 1f460cd8fa made move of top-level dir for some remaining files, fixed some includes
9 years ago
dehnert d5046b6879 build cudd with pic so we can build a pic dylib with it
9 years ago
dehnert ce988940d0 cmake fix for cpptemplate
9 years ago
dehnert 5150497e95 added another target that copies over (needed) resource headers
9 years ago
dehnert cbd525b40b Cmake adaptions here and there
9 years ago
Matthias Volk b9534b2db3 Do not update l3pp
9 years ago
Matthias Volk eadf03e3df Forgot merge line
9 years ago
sjunges 93d000d252 Sylvan: Position independent code
9 years ago
sjunges 803a87e641 build carl python bindings with the same python envirionment as is used for storm
9 years ago
Mavo 4ef0c29857 Build pycarl from within storm
9 years ago
Mavo b7cd322292 Googletest uses static library
10 years ago
Mavo 621cc58a67 Ninja recognizes dependencies + build shared libs
10 years ago
Mavo 7e620e9549 Link sylvan with gmp
10 years ago
Mavo 99d1b915db Use .so instead of .a for xerces
10 years ago
sjunges 44fe60e35a fixes in cmake for 3rdparty: Boost passing to carl, cpptemplate build always disabled, and carl is not installed
9 years ago
Mavo c0e61505e7 Added byproducts for ninja
9 years ago
dehnert e41d931629 removing utf8 lib, fixing duplicate inclusion of some libraries to link
9 years ago
sjunges 379a9c1cc1 cleaner ccmake interface by setting apple corefoundation stuff as advanced
9 years ago
dehnert efa384336d update cpptemplate to slightly fixed version
9 years ago
dehnert e799cbba79 Updated exprtk. made exprtk case-sensitive. fixed other minor issues
9 years ago
dehnert 33d0a2e0d5 adapted required Boost version
9 years ago
dehnert f0f9831ac3 reworked CMake stuff a bit, removed some superfluous things
9 years ago
dehnert 9f40400b56 work on making jit-builder ready for exact arithmetic and parametric models
9 years ago
sjunges 42fccfeb08 modernjson updated, and removed deprecated flag as it causes some issues on ubuntu 16.10
9 years ago
sjunges 6431d8d410 let xerces inclusion work on linux systems
9 years ago
dehnert 6f11b688d3 forward Boost location to carl
10 years ago