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

21 Commits (a4663ccfd39e273eb7f9993a97ac94af2d46607b)

Author SHA1 Message Date
dehnert c474920fa4 Started refactoring SMT solvers. Now displaying MathSAT version in CLI.
10 years ago
svkurowski da3542dcec Integrate CUDA into buildsystem and add example function
10 years ago
svkurowski 00ec9a7db6 Integrate CUDA into buildsystem and add example function
10 years ago
David_Korzeniewski 2e92d66bf3 Cmake scripts for linking mathsat and gmp or mpir which is required by mathsat
10 years ago
sjunges a528610d98 version is now written into a seperate header file to prevent recompile of many files after a commit
11 years ago
Sebastian Junges 419f5c22c8 support for parametric systems to c++
11 years ago
Sebastian Junges 8458e75309 sets the STORM_HAVE_CARL define for c++. Requires carl for parametric builds now
11 years ago
PBerger 2ad5e57db2 Refactored version handling. Its now done via Tags in GIT.
11 years ago
PBerger dfd67c66fd Added output for linked solvers in the StoRM header print.
11 years ago
PBerger 8781aa27b6 Added cudaForStorm as a dynamic library extension
11 years ago
dehnert b3601782a9 Added Lp Solver class for glpk and added it as an option in CMakeLists.txt.
11 years ago
dehnert e3234b54f3 Step towards minimal command generator using MaxSAT and model checking.
11 years ago
PBerger c242dcbd97 Refactored CMakeLists.txt for better editing and overview
11 years ago
Lanchid ec91dcbe2e Merge branch master into LTLParser
12 years ago
dehnert 6ba1cf25c8 Added new variable for base bath for project root. Changed test input files to the files from example folder. Added leader4.lab to asynchronous leader election example.
12 years ago
PBerger f983317b54 Renaming MRMC to STORM, see #42
12 years ago