Matthias Volk
|
7fb660227f
|
Replaced assert(false) by throwing an exception
|
7 years ago |
Tim Quatmann
|
fe658ee787
|
Reverting the previous fix since the jit builder wasn't happy about the carl/formula/Formula.h include.
|
7 years ago |
|
Tim Quatmann
|
7881512a17
|
Removed ConstraintType<ValueType> definition out of RationalFunctionAdapter to make things more consistent.
|
7 years ago |
|
Tim Quatmann
|
70112b7315
|
Fixed a name clash that sometimes occurred when compiling Storm on macOS with TBB.
|
7 years ago |
Sebastian Junges
|
b59cbfa1de
|
graph conditions for rewards described by rational functions with nonconstant denominators
|
7 years ago |
|
Sebastian Junges
|
8fbc8d56c0
|
graph preservation properties correctly computed for CTMCs
|
7 years ago |
|
Matthias Volk
|
09a5c44c6e
|
Fixed usage of denominatorAsNumber
|
7 years ago |
|
Sebastian Junges
|
2ce145745a
|
parameters from rewards are now also collected in wellformedness analysis
|
9 years ago |
|
Sebastian Junges
|
d2002129b7
|
remove output
|
9 years ago |
sjunges
|
2b01e2fa61
|
GraphConditions for any model type
|
9 years ago |
|
sjunges
|
a994b80931
|
getting rid of outdated carl simple constraint usage
|
9 years ago |
|
Sebastian Junges
|
ca3b475ce5
|
collect variables during collection of constraints
|
9 years ago |
|
Sebastian Junges
|
b3a2da48d9
|
storm wellformedness constraints fixed in case of negative coefficients
|
9 years ago |
|
Matthias Volk
|
6bd8c8f9b5
|
Fixed some typos
|
9 years ago |
|
Matthias Volk
|
9276cc355a
|
Fixed issues in export of parametric result file
|
9 years ago |
dehnert
|
f746386512
|
slightly reverting Matthias last change (include of carl::Formula)
|
9 years ago |
|
Matthias Volk
|
4e4edce9fe
|
Moved include to avoid sylvan compile issue
|
9 years ago |
|
dehnert
|
ea02ea0838
|
started overhaul of cli/api
|
9 years ago |
|
sjunges
|
5693144f32
|
refactored code to prevent duplication, added support for rational functions at edges when collecting constraints
|
9 years ago |
|
sjunges
|
165d168cd6
|
fix for gcc, add state reward support for constraint collection
|
9 years ago |
|
Sebastian Junges
|
5c7d3db743
|
towards proper side constraints for parametetric systems
|
9 years ago |
