ogma-language-smv 1.0.10 → 1.0.11

raw patch · 3 files changed

+9/−3 lines, 3 files

Files

CHANGELOG.md +5/−0
grammar/SMV.cf +3/−2
ogma-language-smv.cabal +1/−1

CHANGELOG.md view

@@ -1,5 +1,10 @@ # Revision history for ogma-language-smv +## [1.0.11] - 2023-09-21++* Version bump 1.0.11 (#103).+* Support MTL operators with number ranges (#101).+ ## [1.0.10] - 2023-07-21  * Version bump 1.0.10 (#98).

grammar/SMV.cf view

@@ -83,8 +83,9 @@ BoolConstFTP.   BoolConst ::= "FTP"; BoolConstLAST.  BoolConst ::= "LAST"; -Op1Alone . OpOne ::= Op1Name;-Op1MTL.    OpOne ::= Op1Name "[" OrdOp Number "]";+Op1Alone .   OpOne ::= Op1Name;+Op1MTL.      OpOne ::= Op1Name "[" OrdOp Number "]";+Op1MTLRange. OpOne ::= Op1Name "[" Number "," Number "]";  NumberInt . Number ::= Integer; _ . Number ::= "<b>" Number "</b>";

ogma-language-smv.cabal view

@@ -32,7 +32,7 @@ build-type:          Custom  name:                ogma-language-smv-version:             1.0.10+version:             1.0.11 homepage:            http://nasa.gov license:             OtherLicense license-file:        LICENSE.pdf