sjunges
|
7749127db3
|
minor changes in readme and build info
|
8 years ago |
sjunges
|
a1e2ada9f2
|
suppress more warnings in gmm and in eigen
|
8 years ago |
sjunges
|
f196afcb66
|
moved tests to src folder, have several binaries now instead of a single monolithic test
|
8 years ago |
sjunges
|
960447b2c3
|
moved storm-pgcl to a seperate lib; also slightly cleaned the code
|
8 years ago |
sjunges
|
44fe60e35a
|
fixes in cmake for 3rdparty: Boost passing to carl, cpptemplate build always disabled, and carl is not installed
|
8 years ago |
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
8 years ago |
Sebastian Junges
|
e1d201c85e
|
c++ code compiles again after rename
|
8 years ago |
Sebastian Junges
|
3a7ee7867b
|
rename files (does not compile)
|
8 years ago |
sjunges
|
df690536c6
|
Remove old files
Former-commit-id: 8b56862e89 [formerly 0400fc8546 ]
Former-commit-id: ca12a5d35d
|
8 years ago |
Mavo
|
6ac2222be2
|
Merge
Former-commit-id: aa69376aa1 [formerly 8e92e0569d ]
Former-commit-id: 785529f043
|
8 years ago |
Mavo
|
c0e61505e7
|
Added byproducts for ninja
Former-commit-id: ab8a750645 [formerly 26a765f9b4 ]
Former-commit-id: 52b0b27595
|
8 years ago |
dehnert
|
5fa89dc42c
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: 3d313ccc17 [formerly 18608c7a59 ]
Former-commit-id: 0d50eca063
|
8 years ago |
dehnert
|
e41d931629
|
removing utf8 lib, fixing duplicate inclusion of some libraries to link
Former-commit-id: ae694b7e6d [formerly 47ec7453e4 ]
Former-commit-id: 00df19964c
|
8 years ago |
sjunges
|
a6a8784e5a
|
general crowds dtmc added
Former-commit-id: c2a9dd68fa [formerly b95a014e01 ]
Former-commit-id: 4cd7ebe441
|
8 years ago |
sjunges
|
61d5a7f81e
|
coin 8
Former-commit-id: 5d499ef88e [formerly 4d43d40a21 ]
Former-commit-id: 272d9d4ff1
|
8 years ago |
sjunges
|
87df1e3be4
|
suppress warning in exprtk
Former-commit-id: 37d62c2cd8 [formerly 9b5bc92c7d ]
Former-commit-id: 9df47fcdb1
|
8 years ago |
sjunges
|
c9f6307163
|
suppress warning in cln
Former-commit-id: f4753a5da8 [formerly 814c7e1746 ]
Former-commit-id: 09599c83f0
|
8 years ago |
sjunges
|
c011197180
|
suppress unused parameter warning within gmm
Former-commit-id: 6b422835fc [formerly 264e917f24 ]
Former-commit-id: cc46fb48a0
|
8 years ago |
sjunges
|
379a9c1cc1
|
cleaner ccmake interface by setting apple corefoundation stuff as advanced
Former-commit-id: b0d393c5b3 [formerly 24101eb5b7 ]
Former-commit-id: d7265d4578
|
8 years ago |
dehnert
|
73db040583
|
fixed capitalization issue (2)
Former-commit-id: 19779d9a03 [formerly 79eddf1415 ]
Former-commit-id: e7fa68606a
|
8 years ago |
dehnert
|
3c6e9c2f71
|
fixed capitalization issue
Former-commit-id: 377f1903b4 [formerly 020243aeda ]
Former-commit-id: d5f705604c
|
8 years ago |
dehnert
|
efa384336d
|
update cpptemplate to slightly fixed version
Former-commit-id: 8b7db204a0 [formerly 630083e7c6 ]
Former-commit-id: 49761de827
|
8 years ago |
TimQu
|
53ff482947
|
Caching of solvers can now be enabled/disabled
Former-commit-id: 498622f45c [formerly 1713f554a0 ]
Former-commit-id: 1015c7fef8
|
8 years ago |
TimQu
|
278f33b7e4
|
Merge remote-tracking branch 'origin/future' into future
Former-commit-id: 5a4d4248be [formerly acb4fca937 ]
Former-commit-id: 933bfd5907
|
8 years ago |
sjunges
|
2f100f2721
|
GCC support: Suppress warnings within gmm code
Former-commit-id: 21e618635e [formerly 541f68f516 ]
Former-commit-id: cce71ed538
|
8 years ago |
sjunges
|
255271383a
|
GCC support: Suppress warnings within eigen code
Former-commit-id: 8adac60449 [formerly 2693055c4c ]
Former-commit-id: 695411c63a
|
8 years ago |
sjunges
|
5ca3650901
|
updated readme
Former-commit-id: 3c2d96e466 [formerly 95b18915b1 ]
Former-commit-id: 117b0d8613
|
8 years ago |
sjunges
|
a83af55c64
|
Add benchmark info to readme
Former-commit-id: 41a49d17fb [formerly 4fc35283a4 ]
Former-commit-id: 212fe1bbc8
|
8 years ago |
sjunges
|
277d70bc16
|
moved pgcl to own example repo
Former-commit-id: 97dbffbf94 [formerly e020a1148b ]
Former-commit-id: 310b7dd18d
|
8 years ago |
sjunges
|
cb8189d171
|
move gspn examples to their own repo
Former-commit-id: 99e36ce3f2 [formerly d9c76c7cd8 ]
Former-commit-id: d1598e7192
|
8 years ago |
sjunges
|
dbc105f9ee
|
dft examples moved to an example-repo
Former-commit-id: 676f77f698 [formerly e761775639 ]
Former-commit-id: 167d474c8a
|
8 years ago |
dehnert
|
3ee7c950be
|
Merge branch 'future' into jani_support
Former-commit-id: 7792759f08 [formerly 44e7ed916b ]
Former-commit-id: 7ebc3a00ba
|
8 years ago |
dehnert
|
df9ff5dfdb
|
removed debug output in test and delete dylib if building fails
Former-commit-id: 0f6a0a8c2c [formerly 2a2ca2ac40 ]
Former-commit-id: 8e841483d1
|
8 years ago |
TimQu
|
f0943d57bc
|
Merge remote-tracking branch 'origin/future' into future
Former-commit-id: 6bcf51ceb8 [formerly 9b0091d0d8 ]
Former-commit-id: 20dc39b879
|
8 years ago |
TimQu
|
0ee4c9badb
|
removed some tests as they took way too long
Former-commit-id: 907d9ce3d1 [formerly 6725ba41ad ]
Former-commit-id: 284e0ab1fc
|
8 years ago |
dehnert
|
e799cbba79
|
Updated exprtk. made exprtk case-sensitive. fixed other minor issues
Former-commit-id: 3557c83ab6 [formerly 747702a205 ]
Former-commit-id: 64a2265311
|
8 years ago |
TimQu
|
e06bef0996
|
Merge branch 'multi-objective' into future
Former-commit-id: 2be06f51ca [formerly 44b6855fea ]
Former-commit-id: cf79ec79b6
|
8 years ago |
dehnert
|
ae8a963c33
|
added some debug output to JaniNextStateGenerator
Former-commit-id: 2c116cf22b [formerly 98c11d0ce2 ]
Former-commit-id: bc3a09342a
|
8 years ago |
dehnert
|
4f369f10e4
|
adapted delete to delete[] in BitVector to match new[]
Former-commit-id: efa07c50f8 [formerly 98f2d9fa03 ]
Former-commit-id: bac56d6768
|
8 years ago |
TimQu
|
48b82e7b14
|
refactored auxData in linear equation solvers
Former-commit-id: 9e0deb255c
|
8 years ago |
dehnert
|
33d0a2e0d5
|
adapted required Boost version
Former-commit-id: 5d053091c6 [formerly d95625df84 ]
Former-commit-id: 8735338589
|
8 years ago |
dehnert
|
f0f9831ac3
|
reworked CMake stuff a bit, removed some superfluous things
Former-commit-id: 16df6afd44 [formerly f27354d54c ]
Former-commit-id: 3e706797be
|
8 years ago |
TimQu
|
965d5b5e75
|
changed handling of auxiliary memory in MinMaxSolver
Former-commit-id: 602833f39d
|
8 years ago |
sjunges
|
3793fc0578
|
fixed comments
Former-commit-id: 3ef4de3618 [formerly 9420a946a3 ]
Former-commit-id: bd1f99094e
|
8 years ago |
sjunges
|
ac4ef1d31e
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: beff71d7ce [formerly 4a4db4f831 ]
Former-commit-id: 211cc676cb
|
8 years ago |
sjunges
|
3dfe4640e9
|
cleaning gspns
Former-commit-id: 6da157d915 [formerly d83f1ab30f ]
Former-commit-id: b0753441c3
|
8 years ago |
Mavo
|
f664935123
|
Merge from future
Former-commit-id: 466833b425 [formerly 8d2ddbd670 ]
Former-commit-id: 39a0249482
|
8 years ago |
TimQu
|
ca1fe4ccb5
|
deleted weird shell script files from pla evaluation
Former-commit-id: cbf19340be
|
8 years ago |
TimQu
|
4d53dc4930
|
Fix in SparseMatrix::swapRows
Former-commit-id: 40e2d890d4 [formerly f46095e877 ]
Former-commit-id: 61fcf545cb
|
8 years ago |
sjunges
|
1fd89f3922
|
fixes in reach expression parsing for expected reward
Former-commit-id: d9f5e887d8 [formerly 02cea9bff2 ]
Former-commit-id: dd387c2595
|
8 years ago |