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

43 Commits (2ff20b58ceaee6b826b4e522941af72e6c99e266)

Author SHA1 Message Date
Sebastian Junges 920d48c2bd storm config version now also correctly exported
8 years ago
TimQu de87ff1152 fixed finding of z3 library when its location is given via -DZ3_ROOT
8 years ago
dehnert a183b72604 fixed xerces
8 years ago
Sebastian Junges e27ffb5b23 if hwloc is present on mac, it is also linked as otherwise, we get linker errors
8 years ago
Sebastian Junges 3306d2bb1e removed debug output and some deprecated python inclusion
8 years ago
Sebastian Junges b1ce4acc33 export imported carl targets
8 years ago
Sebastian Junges b4ce43ca0a carl conf imported, other dependencies declared als import target and exported to storm conf
8 years ago
Sebastian Junges 23254f3e62 refactoring resource management in storm cmake to allow easier inclusion in other projects
8 years ago
sjunges 43d35a0f79 storm export config improved
8 years ago
sjunges 0260eaa7be towards exporting targets for storm to be included in other projects
8 years ago
Sebastian Junges 8c77762e72 find xercesc is now provided by cmake, so we use that
8 years ago
dehnert cbd525b40b Cmake adaptions here and there
8 years ago
Sebastian Junges 6852af8158 source groups fixed
8 years ago
sjunges 6a80319c18 another Hwloc script
8 years ago
sjunges 2a1c317363 removed debug output from cmake
8 years ago
sjunges ba81925c1d renamed smt2smtsolver to smtlibsmtsolver and cleaned make files
8 years ago
hbruintjes 4c0053d5e7 Make the Ginac find package more standard compliant
9 years ago
hbruintjes a3fff6b8f6 Look for CLN and GiNaC, enable them if found
9 years ago
hbruintjes 7507175795 Fix some problems with REQUIRED
9 years ago
hbruintjes 1bb2be74d4 Update CMake files
9 years ago
dehnert a01e46779f CMake now requiring hwloc for sylvan under linux
9 years ago
sjunges 73ed137587 support for gurobi 6.5.0 on MacOS
9 years ago
sjunges 73073d2fff Added Xerces
9 years ago
sjunges e8408cdc7b gurobi 6.05 for mac os support - second try
9 years ago
sjunges 4425368e0c gurobi 6.05 for mac os support
9 years ago
sjunges bdb105ce85 cmake: marked several variables as advanced
9 years ago
sjunges 0a061274b6 support for downloaded version of z3
9 years ago
sjunges 7722165256 Support for gurobi 602
9 years ago
sjunges c7becb3c60 improved cmake for z3 and gurobi
9 years ago
sjunges 9c0b5b028c Finding z3 in system, cleaned some cmakelists.
9 years ago
PBerger 3bb0346407 Fixed missing typenames and member initialization reordering.
10 years ago
PBerger f7adf54be3 Added A FindGurobi file for CMake.
10 years ago
David_Korzeniewski 5299ed5172 Adapted FindCusp to fail silently if cusp is not found. Now configuring fails with a meaningful error message instead of syntax errors.
10 years ago
David_Korzeniewski 2e92d66bf3 Cmake scripts for linking mathsat and gmp or mpir which is required by mathsat
10 years ago
PBerger 71e077f420 Compiles with CUSP :)
11 years ago
PBerger a964846e2d Added cusplibrary as a git submodule.
11 years ago
PBerger 2ad5e57db2 Refactored version handling. Its now done via Tags in GIT.
11 years ago
PBerger 7c93109773 Updated Intel Threading Building Blocks to Version 4.2.
11 years ago
PBerger 5cdfba685e Added resources for Usage of Intels Thread Building Blocks
12 years ago
Lanchid 5b57728d7e Merge branch master into PrctlParser
12 years ago
PBerger 7f956b0d35 Added Cotire to Storm to build PCH on all plattforms.
12 years ago