Sascha Wunderlich
|
8e45d9e5ce
|
Fix printing
|
6 years ago |
|
Sascha Wunderlich
|
532d875ec1
|
Fix accumulation length and single track method
|
6 years ago |
|
Sascha Wunderlich
|
7a71226166
|
Clean up
|
6 years ago |
|
Sascha Wunderlich
|
ed4f421b6a
|
Parser refresh
|
6 years ago |
|
Sascha Wunderlich
|
f4794800d1
|
Prep for complex accumulation constraints, pt3
|
6 years ago |
|
Sascha Wunderlich
|
a8af2b3f41
|
Prep for complex accumulation constraints, pt2
|
6 years ago |
|
Sascha Wunderlich
|
d5461d8877
|
Parser refresh
|
6 years ago |
|
Sascha Wunderlich
|
621b21388b
|
Prep for complex accumulation constraints
|
6 years ago |
|
Sascha Wunderlich
|
09c071c0f7
|
Parser refresh
|
6 years ago |
|
Sascha Wunderlich
|
8ebd334363
|
Fix AccumulationType
|
6 years ago |
|
Sascha Wunderlich
|
b9ce05f2c7
|
accumulation: properly print ExpressionAccumulation
|
6 years ago |
|
Sascha Wunderlich
|
3b69616289
|
Parser refresh
|
6 years ago |
|
Sascha Wunderlich
|
74eb250575
|
accumulation: support unary accumulation ops
|
6 years ago |
|
Sascha Wunderlich
|
0933901c34
|
accumulation: untilConstr -> reachConstr
|
6 years ago |
|
Sascha Wunderlich
|
3e77023e95
|
accumulation: stuttering -> recording
|
7 years ago |
|
Sascha Wunderlich
|
5b803247f3
|
accumulation: support filtered simple method and until cascades
|
7 years ago |
|
Sascha Wunderlich
|
30a69bd2b2
|
accumulation: smaller formulas for singleTrack mode
|
7 years ago |
|
Sascha Wunderlich
|
b96612f967
|
Fix multidimensional weight combinations
|
7 years ago |
|
Sascha Wunderlich
|
8e1dab9d52
|
Fix StateValues
|
7 years ago |
|
Sascha Wunderlich
|
230df7bd64
|
accumulation: small refactor
|
7 years ago |
|
Sascha Wunderlich
|
793af76d32
|
accumulation: refactor ProbModelChecker methods
|
7 years ago |
|
Sascha Wunderlich
|
f52076ee84
|
accumulation: enable CTL support
|
7 years ago |
|
Sascha Wunderlich
|
d6bc59f0c9
|
FIX...
|
7 years ago |
|
Sascha Wunderlich
|
91554ae55e
|
accumulation: fix stuttering in the beginning
|
7 years ago |
|
Sascha Wunderlich
|
9499c04307
|
better output
|
7 years ago |
|
Sascha Wunderlich
|
cd62b91d0c
|
remove unneccessary warning
|
7 years ago |
|
Sascha Wunderlich
|
bb47b0a819
|
accumulation: fix simple method
|
7 years ago |
|
Sascha Wunderlich
|
8ee81bfd4d
|
fix corner case: forcemulti and simple
|
7 years ago |
|
Sascha Wunderlich
|
e965d0f993
|
accumulation: deduplicate the rest
|
7 years ago |
|
Sascha Wunderlich
|
28f49ddc16
|
accumulation: deduplicate product code
|
7 years ago |
|
Sascha Wunderlich
|
d4ffc6ba23
|
clean up imports
|
7 years ago |
|
Sascha Wunderlich
|
be9e304037
|
accumulation: refactor into AccumulationContext
|
7 years ago |
|
Sascha Wunderlich
|
6b87fcf172
|
accumulation: fix bound check
|
7 years ago |
|
Sascha Wunderlich
|
fa0077367f
|
accumulation: add -accforcemulti to disable single track opt
|
7 years ago |
|
Sascha Wunderlich
|
91147830eb
|
accumulation: support single track mode for more cases
|
7 years ago |
|
Sascha Wunderlich
|
b45fcb02b7
|
accumulation: support single track mode
|
7 years ago |
|
Sascha Wunderlich
|
eae5aa9de1
|
clean up, stopwatches
|
7 years ago |
|
Sascha Wunderlich
|
107358f933
|
accumulation: bail out of past operators when complex is forced
|
7 years ago |
|
Sascha Wunderlich
|
6a3510e3ff
|
accumulation: fix off-by-one-error
|
7 years ago |
|
Sascha Wunderlich
|
18c6fe7701
|
accumulation: reduce box handling to diamonds
|
7 years ago |
|
Sascha Wunderlich
|
e0b65828bd
|
accumulation: better option desc
|
7 years ago |
|
Sascha Wunderlich
|
22dc2fe4f5
|
accumulation: better option parsing
|
7 years ago |
|
Sascha Wunderlich
|
1edbac40de
|
Clean up
|
7 years ago |
|
Sascha Wunderlich
|
d781584dfb
|
accumulation: support simple trafo
|
7 years ago |
|
Sascha Wunderlich
|
0fd6f9ac5c
|
Begin support for simple accumulation trafo
|
7 years ago |
|
Sascha Wunderlich
|
1616ded046
|
Clean up AccumulationTransformation
|
7 years ago |
|
Sascha Wunderlich
|
1b6e9e5ac6
|
Parser refresh
|
7 years ago |
|
Sascha Wunderlich
|
20712738e2
|
Clean up
|
7 years ago |
|
Sascha Wunderlich
|
c2ceb299dd
|
accumulation: add track status to Product.toDot
|
7 years ago |
|
Sascha Wunderlich
|
99d91a5f9d
|
accumulation: fix behaviour for step 0
|
7 years ago |
