Matthias Volk
cd971ba6fe
Set correct example path for tests
8 years ago
dehnert
f0f9831ac3
reworked CMake stuff a bit, removed some superfluous things
Former-commit-id: 16df6afd44545ed11600463fb6a3634758791500 [formerly f27354d54c7c6072d99da9bfbbd7f9505b429cdc]
Former-commit-id: 3e706797be2172d57d98495d46cb7315b0af32d1
8 years ago
dehnert
9f40400b56
work on making jit-builder ready for exact arithmetic and parametric models
Former-commit-id: 143a5d263fb973bbbde354d207a5b3da2ad39eaf [formerly 37b5adfd08f1f9e91ba6187b571e9a288c24e885]
Former-commit-id: 219bd799c7c6d8059241e4f7520d179163956b8d
8 years ago
sjunges
5361c15960
set use_xerces in storm-config.h
Former-commit-id: f9ffefbdf6dbb90e9841b2125344439c9dfff6ea [formerly fedc1df86fef852ec77f0a99522163863df23c8a]
Former-commit-id: b60b949a528cd87424cf6a0c4d6b87a43c9ce1b0
8 years ago
dehnert
b579978938
cleaned up jit model builder, added options, added doctor procedure, prepared Markov automata
Former-commit-id: bb8d1d95ccaf8948a565170020b1afde7a95c9b9 [formerly 6deb9e19a08d69d22a04f3e8f00db07dbe85a75c]
Former-commit-id: d6b8563723af1fea971ea8695d04ae58aa13c4d7
8 years ago
sjunges
c9593b9e98
trying to fix the boost variant stuff differently
Former-commit-id: a1fb8efece26b89e7cc3fb2072c1db31945d3c15
8 years ago
sjunges
a6e4c3f6fd
hotfix for boost-variants, might be moved later on
Former-commit-id: 9e1193bbd9b44b62daad4dd55ec1f430a093c4c2
8 years ago
sjunges
7bb65dbb22
fix a problem with cln used/unused
Former-commit-id: 2c6a2447a91a7d947aec1e62bba8ad5c2c8aa4a8
8 years ago
TimQu
2624f63598
added linking with hypro
Former-commit-id: cadca197f1394d6b560431579e4857fa0c5205bf
9 years ago
TimQu
b0d2af20ae
added check for existence of __builtin_popcountll (reverted from commit 30bcfcad0eb4041f954e4d893d5b0c3bd4f8d4f6 [formerly 65f94a6d6e9536398b4921953d00304af26514e5])
Former-commit-id: 6aaa503f580c3f460fe707e5a13d9282e5e0ba90
9 years ago
TimQu
30bcfcad0e
added check for existence of __builtin_popcountll
Former-commit-id: 65f94a6d6e9536398b4921953d00304af26514e5
9 years ago
hbruintjes
80430906f0
Use GMP is CLN is not found for RationalNumber
Former-commit-id: ba800d8342f011320a06653ced706744b5936385
9 years ago
sjunges
8c2cb4887f
Cmake option to disable debug and trace outputs
Former-commit-id: 9758862579554eb3f83af62c09cfef5e4dbcd06c
9 years ago
sjunges
e0980de0ba
first version of storm without log4cplus as a dependency
Former-commit-id: 5aa64fabd71b7f6a02b46de3336d1f1b55de74d6
9 years ago
sjunges
faca16db36
minor refactoring of cmakecode for inclusion of tbb
Former-commit-id: 51deceb9782472199064c317bb85ad8742242e7e
9 years ago
sjunges
9c0b5b028c
Finding z3 in system, cleaned some cmakelists.
Former-commit-id: 67ab9f7a0cf81fa3adf757981097a01d75b333a1
9 years ago
sjunges
50136dd31a
Improved import of carl/smtrat
Former-commit-id: d5ead060248ed1390c774b8dc70971795d64b876
9 years ago
dehnert
c474920fa4
Started refactoring SMT solvers. Now displaying MathSAT version in CLI.
Former-commit-id: 1736a0bb6b340595428a02fba1f36e5fab431338
10 years ago
svkurowski
da3542dcec
Integrate CUDA into buildsystem and add example function
Former-commit-id: 2f5acf8dcdda0d6b800094a44ba13397c57768d4
10 years ago
svkurowski
00ec9a7db6
Integrate CUDA into buildsystem and add example function
Former-commit-id: 392acb148a0033cf3cb24ed9f558a7c9b625935b
10 years ago
David_Korzeniewski
2e92d66bf3
Cmake scripts for linking mathsat and gmp or mpir which is required by mathsat
Former-commit-id: b13b68115aab80d6045df9c22ae05d084b0ae6b3
10 years ago
sjunges
a528610d98
version is now written into a seperate header file to prevent recompile of many files after a commit
Former-commit-id: a287aacefa12dbab2516037840b10849fadda34e
11 years ago
Sebastian Junges
419f5c22c8
support for parametric systems to c++
Former-commit-id: 63ddba88328204edd056beae3eab29ea65f94949
11 years ago
Sebastian Junges
8458e75309
sets the STORM_HAVE_CARL define for c++. Requires carl for parametric builds now
Former-commit-id: 19749574846312c79f7f2de554ba44de9f96eb0b
11 years ago
PBerger
2ad5e57db2
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
PBerger
dfd67c66fd
Added output for linked solvers in the StoRM header print.
Former-commit-id: 831d132b226bbcbe89b6d7ed59d0f7db57c48e15
11 years ago
PBerger
8781aa27b6
Added cudaForStorm as a dynamic library extension
Former-commit-id: 31c6be4c1c5a05bfbed018ae6f3a4c6bbb918bfa
11 years ago
dehnert
b3601782a9
Added Lp Solver class for glpk and added it as an option in CMakeLists.txt.
Former-commit-id: e5c5215a293fbecaf49442e5ca80c7905d5f7c12
11 years ago
dehnert
e3234b54f3
Step towards minimal command generator using MaxSAT and model checking.
Former-commit-id: 4237447c442104d16e934eac6154723a6d365259
11 years ago
PBerger
c242dcbd97
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
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
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