Mavo
|
6685b358f0
|
Symmetry mirrored in state vector
Former-commit-id: 7e5a578c44
|
10 years ago |
|
Mavo
|
a44d38e0bf
|
Symmetries are given to StateGenerationInfo
Former-commit-id: b91cce3a81
|
10 years ago |
|
Mavo
|
fa4a1aa68f
|
Fixed bug with filtering reward vector
Former-commit-id: ad709ad0dd
|
10 years ago |
sjunges
|
f89cc46576
|
two more small examples
Former-commit-id: 9d420a62b2
|
10 years ago |
|
sjunges
|
dde9af6c44
|
mergeFailedStates and some updates for SEQs
Former-commit-id: 128a7e0da5
|
10 years ago |
dehnert
|
211994bff9
|
removed debug output
Former-commit-id: 915be7778b
|
10 years ago |
|
sjunges
|
9dd2a71f2f
|
towards state space construction for SEQs
Former-commit-id: 890ce8bd85
|
10 years ago |
|
sjunges
|
a6f389fce2
|
SEQ in the parser
Former-commit-id: 8163e7149c
|
10 years ago |
|
Mavo
|
3c19fc5b74
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: 8b34e3ef59
|
10 years ago |
|
sjunges
|
16c8945eb5
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: 939c3b5ac5
|
10 years ago |
|
Mavo
|
371ba87f1c
|
Fixed activation of spares
Former-commit-id: f62ccdc79a
|
10 years ago |
|
sjunges
|
615882c6b3
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: 8c00fd8bac
|
10 years ago |
|
sjunges
|
2a2eefa956
|
towards restrictions
Former-commit-id: e3baec90ea
|
10 years ago |
|
Mavo
|
74b512a76e
|
Consider dependencies in DFS for state generation info
Former-commit-id: c61210cbd5
|
10 years ago |
|
Mavo
|
98f91262ed
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: a02c42a89c
|
10 years ago |
|
Mavo
|
7bcbbe75fa
|
Set dont care for children if parent gate fails
Former-commit-id: c70852b7e8
|
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 |
|
sjunges
|
8755e75a60
|
towards a new element (and actually added a folder)
Former-commit-id: 0bca77dfa7
|
10 years ago |
|
Mavo
|
854f0b45ac
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: 11b3d4412b
|
10 years ago |
|
Mavo
|
0156b12764
|
Fixed compile problem under gcc
Former-commit-id: f5d40795e9
|
10 years ago |
|
dehnert
|
b46ee5425e
|
started to implement conditional rewards for dtmcs
Former-commit-id: 0400ea21ef
|
10 years ago |
|
sjunges
|
1d0debc79c
|
Merge branch 'future' into monolithic-dft
Former-commit-id: 1336ad7295
|
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 |
|
sjunges
|
b93f5c2f62
|
refactored a bit, plus bisimulation is now done
Former-commit-id: 42877cdb29
|
10 years ago |
|
Mavo
|
8d591a391b
|
Merge
Former-commit-id: 664b51e9ec
|
10 years ago |
|
Mavo
|
2754450f91
|
Refactored DFS search into own method
Former-commit-id: 3efbcf062f
|
10 years ago |
|
Mavo
|
d160bb1b13
|
Use only state ids instead of complete data structure
Former-commit-id: 0852cce6d7
|
10 years ago |
|
sjunges
|
102602dea2
|
some refactoring
Former-commit-id: 90be99f04d
|
10 years ago |
|
sjunges
|
6ae403a264
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: ba78a55537
|
10 years ago |
|
sjunges
|
c25889bc3e
|
minor
Former-commit-id: 1a746c86f2
|
10 years ago |
|
Mavo
|
20242e10e5
|
Small fix
Former-commit-id: d702592ab2
|
10 years ago |
|
Mavo
|
e12ac36249
|
Fixed problem with usageInfoBits for only one element
Former-commit-id: ac52fff2d7
|
10 years ago |
|
Mavo
|
00dda74ba8
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: 58ca39262c
|
10 years ago |
|
Mavo
|
3f70a69d6e
|
Added argument for timebound
Former-commit-id: 22a83eae6e
|
10 years ago |
|
Mavo
|
99c87182e4
|
Fixed missing include for gcc
Former-commit-id: 3cf040d87c
|
10 years ago |
|
dehnert
|
e40cc65117
|
added tests for fragment checker
Former-commit-id: 2de76ee5a5
|
10 years ago |
|
Mavo
|
b8ff542b7b
|
One conversion less for MA
Former-commit-id: d0b47adf9b
|
10 years ago |
|
Mavo
|
689acfa28b
|
Removed debug assertions
Former-commit-id: a25b569e58
|
10 years ago |
|
Mavo
|
a89a728f6d
|
Moved benchmark script to SVN
Former-commit-id: 92c39188e7
|
10 years ago |
|
Mavo
|
b9f747ffc1
|
Merge branch 'monolithic-dft' of https://sselab.de/lab9/private/git/storm into monolithic-dft
Former-commit-id: 3b469abd3a
|
10 years ago |
|
Mavo
|
0d3687cf5e
|
Refactored and sorted bitvector
Former-commit-id: 28ca00af50
|
10 years ago |
|
dehnert
|
7b643fe166
|
tests working again
Former-commit-id: 58e97ea35b
|
10 years ago |
|
sjunges
|
2ab4417ed4
|
symmetry also check deps for roots now
Former-commit-id: a1141250c2
|
10 years ago |
|
sjunges
|
130fa1328a
|
function returns independent symmetries
Former-commit-id: 674f0bcff2
|
10 years ago |
|
sjunges
|
11f01cdf52
|
towards using symred for counting abstr
Former-commit-id: 51bad8ba1e
|
10 years ago |
|
sjunges
|
2dbcd260e4
|
symred is now an option
Former-commit-id: 5725991656
|
10 years ago |
|
sjunges
|
aaec1fd3bd
|
isomorphism runs through first tests :)
Former-commit-id: c83157ba7a
|
10 years ago |
