TimQu
|
fb0cdf336b
|
some benchmarking scripts and example regions...
Former-commit-id: b7b4a5870a
|
10 years ago |
dehnert
|
211994bff9
|
removed debug output
Former-commit-id: 915be7778b
|
10 years ago |
|
dehnert
|
450167ad73
|
Merge branch 'future' into dtmc_conditional_rewards
Former-commit-id: 3b6bae0b3c
|
10 years ago |
|
dehnert
|
5ce72a85ce
|
added small test for conditional probability and conditional rewards
Former-commit-id: 891d99eea6
|
10 years ago |
|
dehnert
|
b3483211ff
|
alpha version of conditional rewards for dtmc
Former-commit-id: 1adfb3d405
|
10 years ago |
|
dehnert
|
b46ee5425e
|
started to implement conditional rewards for dtmcs
Former-commit-id: 0400ea21ef
|
10 years ago |
sjunges
|
2dfb296811
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: c088de5a54
|
10 years ago |
|
sjunges
|
17a3dabfc5
|
fix in weak bisim for ctmcs
Former-commit-id: 436837add1
|
10 years ago |
|
dehnert
|
e40cc65117
|
added tests for fragment checker
Former-commit-id: 2de76ee5a5
|
10 years ago |
|
dehnert
|
7b643fe166
|
tests working again
Former-commit-id: 58e97ea35b
|
10 years ago |
|
dehnert
|
dc8a5b11e0
|
more refactoring regarding fragment checking
Former-commit-id: fd335f6f8e
|
10 years ago |
|
dehnert
|
3874ddfa76
|
remove old cudd version
Former-commit-id: 19448ecda4
|
10 years ago |
|
dehnert
|
af6dc174dd
|
Merge branch 'future' into cudd3
Former-commit-id: a5ac40b951
|
10 years ago |
|
sjunges
|
ac1efc7efd
|
minor fix of a superfluous cmake include
Former-commit-id: ab663101d2
|
10 years ago |
|
sjunges
|
7bdd85e97f
|
add a comment that a file is autogenerated
Former-commit-id: 736184f68a
|
10 years ago |
|
dehnert
|
40aea6c929
|
replaced Cudd_CountMinterm by old version to fix what appears to be bug (sent mail to Fabio Somenzi)
Former-commit-id: 9af49d5b19
|
10 years ago |
|
dehnert
|
fceb653b4c
|
Merge branch 'future' into cudd3
Former-commit-id: 12c66a3000
|
10 years ago |
|
sjunges
|
559142919d
|
hotfix for segfaults, compile storm and log4cplus static
Former-commit-id: c4b18d9c83
|
10 years ago |
|
dehnert
|
dd0813b8c4
|
cudd3 now working, but tests segfaulting
Former-commit-id: 9742e4e75e
|
10 years ago |
|
sjunges
|
f9b930bfa5
|
Merge branch 'future' into cudd3
Former-commit-id: 3079f7005e
|
10 years ago |
|
sjunges
|
e83147ed42
|
include storm version only once
Former-commit-id: 52b0ccfd28
|
10 years ago |
|
sjunges
|
81e12ada93
|
fix path for cudd3 lib
Former-commit-id: c8fffd9077
|
10 years ago |
|
sjunges
|
71d37705dd
|
fix path for cudd3 lib
Former-commit-id: 7ed4b553ce
|
10 years ago |
|
sjunges
|
a46ab2f631
|
use dynamic version of cudd
Former-commit-id: 5e3a12fdca
|
10 years ago |
|
sjunges
|
0cab5661e5
|
Merge branch 'future' into cudd3
Former-commit-id: 39af635597
|
10 years ago |
|
sjunges
|
52268103e6
|
use shared version of log4cplus
Former-commit-id: b2f7e5f1fc
|
10 years ago |
|
sjunges
|
eaaa36928a
|
prevent xercesc from being linked when no xml support is required
Former-commit-id: 63bf3c1a71
|
10 years ago |
|
sjunges
|
3008546623
|
to prevent confusion, explicitely force static builds for cudd 2.5.0
Former-commit-id: a41fc373f8
|
10 years ago |
|
sjunges
|
002f4128f5
|
fixed name of variable for storm xml support
Former-commit-id: f9edf588d5
|
10 years ago |
|
dehnert
|
2604df54ec
|
more refactoring of formula classes: in particular fragment checking
Former-commit-id: 544c5f953f
|
10 years ago |
|
dehnert
|
97d9ecccbb
|
started making cudd3 work
Former-commit-id: bc791536bb
|
10 years ago |
|
sjunges
|
167cbbe04f
|
updates for cudd inclusion - Warning: This does not compile
Former-commit-id: 8bb08265c1
|
10 years ago |
|
sjunges
|
faafff06d8
|
removed cudd 2.5 from cmake
Former-commit-id: 05c3239893
|
10 years ago |
|
sjunges
|
114f46d299
|
added cudd3 to cmake
Former-commit-id: 6298216603
|
10 years ago |
|
sjunges
|
f1c151be26
|
cudd 3.0 added to resources
Former-commit-id: 4fb3e824ec
|
10 years ago |
|
dehnert
|
be8c65525e
|
introduced some methods to query formula type
Former-commit-id: 9ecc13566d
|
10 years ago |
|
sjunges
|
fc1dd999b2
|
only build xercesc if xml input format support is required
Former-commit-id: ce58e72eed
|
10 years ago |
|
sjunges
|
596ad8f7a3
|
Link directories are not the way to go.
Former-commit-id: 135296a5f3
|
10 years ago |
|
dehnert
|
b772c92edb
|
removed reward path formulas. reward path formulas are now just path formulas. this allows some invalid formulas to be constructed, so this now has to be checked dynamically
Former-commit-id: c8527c8e9a
|
10 years ago |
|
sjunges
|
a82904a5a8
|
GLPK: Dynamic lib
Former-commit-id: d47eeb1e88
|
10 years ago |
|
sjunges
|
0380997e1d
|
removed eigen3
Former-commit-id: 2e7e5b5253
|
10 years ago |
|
sjunges
|
c8798653bc
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: 8cbeeb315a
|
10 years ago |
|
sjunges
|
2bc4f61453
|
extended os detection, include extension assumptions
Former-commit-id: 1ff024d7e3
|
10 years ago |
|
dehnert
|
4970268ae1
|
fixed gtest for xcode (cmake)
Former-commit-id: b391eef46c
|
10 years ago |
|
dehnert
|
a3a39d1944
|
Merge branch 'future' into scheduler_computation
Former-commit-id: 37452b32ba
|
10 years ago |
|
sjunges
|
50c0df75d8
|
towards supporting xcode generator again
Former-commit-id: 9a3142f242
|
10 years ago |
|
sjunges
|
d2d71960fc
|
slightly better cmake output
Former-commit-id: 796d0a652d
|
10 years ago |
|
sjunges
|
faca16db36
|
minor refactoring of cmakecode for inclusion of tbb
Former-commit-id: 51deceb978
|
10 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
|
10 years ago |
|
dehnert
|
db7000ba03
|
Merge branch 'future' into scheduler_computation
Former-commit-id: 6e619cb8dc
|
10 years ago |
