dehnert
|
fceb653b4c
|
Merge branch 'future' into cudd3
Former-commit-id: 12c66a3000
|
9 years ago |
sjunges
|
559142919d
|
hotfix for segfaults, compile storm and log4cplus static
Former-commit-id: c4b18d9c83
|
9 years ago |
|
dehnert
|
dd0813b8c4
|
cudd3 now working, but tests segfaulting
Former-commit-id: 9742e4e75e
|
9 years ago |
|
sjunges
|
f9b930bfa5
|
Merge branch 'future' into cudd3
Former-commit-id: 3079f7005e
|
9 years ago |
|
sjunges
|
e83147ed42
|
include storm version only once
Former-commit-id: 52b0ccfd28
|
9 years ago |
|
sjunges
|
81e12ada93
|
fix path for cudd3 lib
Former-commit-id: c8fffd9077
|
9 years ago |
|
sjunges
|
71d37705dd
|
fix path for cudd3 lib
Former-commit-id: 7ed4b553ce
|
9 years ago |
|
sjunges
|
a46ab2f631
|
use dynamic version of cudd
Former-commit-id: 5e3a12fdca
|
9 years ago |
|
sjunges
|
0cab5661e5
|
Merge branch 'future' into cudd3
Former-commit-id: 39af635597
|
9 years ago |
|
sjunges
|
52268103e6
|
use shared version of log4cplus
Former-commit-id: b2f7e5f1fc
|
9 years ago |
|
sjunges
|
eaaa36928a
|
prevent xercesc from being linked when no xml support is required
Former-commit-id: 63bf3c1a71
|
9 years ago |
|
sjunges
|
3008546623
|
to prevent confusion, explicitely force static builds for cudd 2.5.0
Former-commit-id: a41fc373f8
|
9 years ago |
|
sjunges
|
002f4128f5
|
fixed name of variable for storm xml support
Former-commit-id: f9edf588d5
|
9 years ago |
|
dehnert
|
97d9ecccbb
|
started making cudd3 work
Former-commit-id: bc791536bb
|
9 years ago |
|
sjunges
|
167cbbe04f
|
updates for cudd inclusion - Warning: This does not compile
Former-commit-id: 8bb08265c1
|
9 years ago |
|
sjunges
|
faafff06d8
|
removed cudd 2.5 from cmake
Former-commit-id: 05c3239893
|
9 years ago |
|
sjunges
|
114f46d299
|
added cudd3 to cmake
Former-commit-id: 6298216603
|
9 years ago |
|
sjunges
|
f1c151be26
|
cudd 3.0 added to resources
Former-commit-id: 4fb3e824ec
|
9 years ago |
|
sjunges
|
fc1dd999b2
|
only build xercesc if xml input format support is required
Former-commit-id: ce58e72eed
|
9 years ago |
|
sjunges
|
596ad8f7a3
|
Link directories are not the way to go.
Former-commit-id: 135296a5f3
|
9 years ago |
|
sjunges
|
a82904a5a8
|
GLPK: Dynamic lib
Former-commit-id: d47eeb1e88
|
9 years ago |
|
sjunges
|
0380997e1d
|
removed eigen3
Former-commit-id: 2e7e5b5253
|
9 years ago |
|
sjunges
|
c8798653bc
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: 8cbeeb315a
|
9 years ago |
|
sjunges
|
2bc4f61453
|
extended os detection, include extension assumptions
Former-commit-id: 1ff024d7e3
|
9 years ago |
|
dehnert
|
4970268ae1
|
fixed gtest for xcode (cmake)
Former-commit-id: b391eef46c
|
9 years ago |
|
dehnert
|
a3a39d1944
|
Merge branch 'future' into scheduler_computation
Former-commit-id: 37452b32ba
|
9 years ago |
|
sjunges
|
50c0df75d8
|
towards supporting xcode generator again
Former-commit-id: 9a3142f242
|
9 years ago |
|
sjunges
|
d2d71960fc
|
slightly better cmake output
Former-commit-id: 796d0a652d
|
9 years ago |
|
sjunges
|
faca16db36
|
minor refactoring of cmakecode for inclusion of tbb
Former-commit-id: 51deceb978
|
9 years ago |
|
sjunges
|
845d9f60ed
|
support for platforms with libtool using a different standard lib folder and gtest is built with the same compiler as the project now
Former-commit-id: 22d32c55a0
|
9 years ago |
|
dehnert
|
db7000ba03
|
Merge branch 'future' into scheduler_computation
Former-commit-id: 6e619cb8dc
|
9 years ago |
|
dehnert
|
fa44d65ebd
|
renamed policy to scheduler in some variable names
Former-commit-id: cfbaaa533d
|
9 years ago |
|
dehnert
|
3727018ef4
|
added functionality to sparse MDP helper to compute until probabilities just for maybe states (and produce the corresponding scheduler)
Former-commit-id: 79aae02a13
|
9 years ago |
|
sjunges
|
471ae19438
|
refactored further parts of the external library building
Former-commit-id: 81ab395bb1
|
9 years ago |
|
sjunges
|
f20d479328
|
we dont need log4cplus tests and logging server
Former-commit-id: 88df479584
|
9 years ago |
|
dehnert
|
8f087597cc
|
more work towards proper scheduler generation
Former-commit-id: ee6237ef49
|
9 years ago |
|
dehnert
|
5a1039838f
|
made everything compile again and all tests passing
Former-commit-id: 65c66fb58f
|
9 years ago |
|
sjunges
|
4cc8442b77
|
Fixed warning about superfluous semicolon after a method def.
Former-commit-id: 22fa68a405
|
9 years ago |
|
sjunges
|
0de91e0284
|
disable warnings for glpk build
Former-commit-id: e2a86ed18d
|
9 years ago |
|
sjunges
|
70ee3396d9
|
we said goodbye to glpk 4.53
Former-commit-id: 0d8fe9d5bc
|
9 years ago |
|
sjunges
|
3d0826849e
|
glpk 4.57 for the winners
Former-commit-id: 568dad7ba4
|
9 years ago |
|
dehnert
|
2dd6a3dba2
|
minor change
Former-commit-id: 32568cc503
|
9 years ago |
|
dehnert
|
bdcd4b26a3
|
refactoring early termination and solve goals and bounds
Former-commit-id: 123835f655
|
9 years ago |
|
dehnert
|
dee44056d1
|
work towards generating schedulers (and some other related stuff)
Former-commit-id: 23cbcb5fb5
|
9 years ago |
|
sjunges
|
c428b9f7ff
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: 337e67b4f2
|
9 years ago |
|
sjunges
|
a9bd5724c0
|
Silenced warnings about superfluous parentheses, they are more disturbing than helpful
Former-commit-id: 09e1b6691d
|
9 years ago |
Mavo
|
ecc41f7063
|
Require minimum boost version
Former-commit-id: 07b138d157
|
9 years ago |
|
dehnert
|
e5f9ddfbcc
|
changed cli to create tasks that only compute the value for the initial state (if the model checker supports that)
Former-commit-id: 3745aa138f
|
9 years ago |
|
dehnert
|
1308b91fda
|
adapted canHandle in model checker interface to CheckTask
Former-commit-id: 7505152ca3
|
9 years ago |
|
dehnert
|
52f071c74a
|
fixed minor bug (apparently because of new boost version) in spirit error handling
Former-commit-id: 23ac194fc3
|
9 years ago |
