 Stefan Pranger
|
81db530f70
|
do not clear moduleToIndexMap for second run
|
6 years ago |
Tim Quatmann
|
75b6ac27e8
|
JaniParser: Making result field optional (fixes #83)
|
5 years ago |
|
Tim Quatmann
|
3184ba1611
|
Jani: Correctly parse the input-enable field. Throw an error in the sparse model builder, as these are not supported right now.
|
5 years ago |
|
Tim Quatmann
|
41ae9d5624
|
Fixed silently truncating bits when parsing integer literal expressions (see https://github.com/moves-rwth/stormpy/issues/20)
|
5 years ago |
|
Tim Quatmann
|
1243feba8c
|
Substitute constants in JANI Properties (fixes #95)
|
5 years ago |
|
Stefan Pranger
|
9bf2a572a7
|
check if state is controlled by multiple players
We do this by storing a list of modules/commands which have already been claimed by one player
|
6 years ago |
|
Stefan Pranger
|
1cf2e544ac
|
add assertion for module indices in second
|
6 years ago |
|
Stefan Pranger
|
de301323d6
|
check module and action names when parsing players
Note: This does currently not work as intended as the moduleToIndexMap
gets clear when moving to the second run!
|
6 years ago |
|
Stefan Pranger
|
11f7464372
|
players now get stored in PRISM programs
|
6 years ago |
|
Stefan Pranger
|
48276e47a9
|
further work on player parsing
we do now correctly store command and modules names passed within a player
construct
|
6 years ago |
|
Stefan Pranger
|
3f3b154ce0
|
first progress on player parsing
WIP. This does currently not compile, having troubles with the parsing
of command and module names into their resp. vectors.
|
6 years ago |
|
Stefan Pranger
|
55f4efd40a
|
added SMG ModelType
|
6 years ago |
|
Stefan Pranger
|
d35e9a6a40
|
removed plenty of empty line whitespaces
|
6 years ago |
Matthias Volk
|
c12c0352f7
|
Support for parsing jani model from string
|
5 years ago |
|
Tim Quatmann
|
260c14a3f6
|
ExpressionParser: Allow sequences of unary operators, like '!!x=0' (fixes #89)
|
6 years ago |
Sebastian Junges
|
d6bfcb4818
|
refactoring: moving some code out of the util folder
|
6 years ago |
|
Sebastian Junges
|
0eec9e56da
|
better error message when a colon cannot be found in the drn file
|
6 years ago |
|
Sebastian Junges
|
65fab09931
|
comments in the model are now also allowed
|
6 years ago |
|
Matthias Volk
|
a61ea32aea
|
Fixed some GCC warnings
|
6 years ago |
|
Tim Quatmann
|
1dccab9673
|
JaniParser: Added missing template instantiation and other fixes.
|
6 years ago |
|
Tim Quatmann
|
0433469b9e
|
Added missing template instantiation.
|
6 years ago |
|
Tim Quatmann
|
7b32aa968e
|
Fixed actually using the JaniParser with rational numbers.
|
6 years ago |
|
Tim Quatmann
|
328b9c6986
|
Gave the JaniParser a template argument, so that we can use it to parse with doubles or with RationalNumbers.
|
6 years ago |
|
Matthias Volk
|
6f62e8d402
|
Support abort in model building
|
6 years ago |
|
Matthias Volk
|
6c095e757a
|
Fixed problem with Windows linebreak \r\n, because this is still a problem in 2020
|
6 years ago |
|
Tim Quatmann
|
18bfe74d8f
|
api/model_descriptions: Fixed ambiguous method declaration.
|
6 years ago |
|
Tim Quatmann
|
d36cd93ae8
|
CLI: Split parsing and preprocessing of symbolic input into two steps.
Moved engine related methods and declaration to a separate file.
|
6 years ago |
Sebastian Junges
|
0a6f54f33e
|
a version of parsing choice labels from DRN
|
6 years ago |
|
Sebastian Junges
|
cb2e22e1d3
|
improved error message if observables includes an unknown error variable
|
6 years ago |
|
Sebastian Junges
|
290ede7404
|
extended the parser to handle observable expressions
|
6 years ago |
|
TimQu
|
b1bb7872fd
|
Parsing integers as long long ints (instead of ints) to fix github issue #60.
|
6 years ago |
|
Matthias Volk
|
bc85e6742e
|
Fixed parsing of RationalFunctions if no parameters are given
|
6 years ago |
|
Tim Quatmann
|
b24d224691
|
tests: Enabled logging output while running test-cases.
|
6 years ago |
|
Tim Quatmann
|
7c535cca84
|
Fixed upcasting of Exceptions in PrismParser.
|
6 years ago |
|
Matthias Volk
|
4ee31063a4
|
Removed double whitespaces in outputs
|
6 years ago |
|
Tim Quatmann
|
78d99328b6
|
PrismParser: Making module renaming a LocatedInformation so we can properly store the line number of it. Also silenced a warning related to virtual destructors
|
6 years ago |
|
Tim Quatmann
|
3db50f570d
|
PrismProgram: Correctly set line numbers for renamed modules.
|
6 years ago |
|
TimQu
|
5f3065ec5a
|
PrismParser: Check for expression type. Support for formulas in arbitrary order.
|
6 years ago |
|
TimQu
|
734cb2d456
|
PrismParser: Allow Formula assignments in random order.
|
6 years ago |
|
Tim Quatmann
|
12ef18a239
|
PrismParser: Various improvements of error output. Support for using formulas before they were declared.
|
6 years ago |
|
Matthias Volk
|
6a77ce210a
|
Moved setting nofixdl to build settings
|
6 years ago |
|
Tim Quatmann
|
555fd90536
|
Silenced a few warnings.
|
7 years ago |
|
Matthias Volk
|
8b77f7f6d6
|
Added placeholders to DRN format
|
7 years ago |
|
Matthias Volk
|
56a206ea5c
|
Fixed segfaults in reward parsing of DRN
|
7 years ago |
|
Matthias Volk
|
cdaea9ea55
|
Small fix in DRNParser
|
7 years ago |
|
Tim Quatmann
|
42b7865e7e
|
DirectEncodingParser: Added support for Action-based rewards.
|
7 years ago |
|
Tim Quatmann
|
429c91ff13
|
Added support for parsing fractions in DRN files.
|
7 years ago |
|
Matthias Volk
|
9e63a89db7
|
Fixed operator precedence for power and modulo operator thanks to help from Joachim Klein.
|
7 years ago |
|
Matthias Volk
|
174c1a86c0
|
DRNParser: Parse labels with and without quotation marks (thanks to pair programming and regex magic
|
7 years ago |
|
Matthias Volk
|
779e5ce5ae
|
DRNParser: Check if target state is valid
|
7 years ago |
