ogma-language-smv 1.0.7 → 1.0.8

raw patch · 3 files changed

+15/−1 lines, 3 files

Files

CHANGELOG.md +6/−0
grammar/SMV.cf +1/−0
ogma-language-smv.cabal +8/−1

CHANGELOG.md view

@@ -1,5 +1,11 @@ # Revision history for ogma-language-smv +## [1.0.8] - 2023-03-21++* Version bump 1.0.8 (#81).+* Support inequality operator (#71).+* Mark package as uncurated (#74).+ ## [1.0.7] - 2023-01-21 * Version bump 1.0.7 (#69). * Specify upper bound constraint for Cabal. Refs #69.

grammar/SMV.cf view

@@ -93,6 +93,7 @@ OrdOpLT . OrdOp ::= "<"; OrdOpLE . OrdOp ::= "<="; OrdOpEQ . OrdOp ::= "=";+OrdOpNE . OrdOp ::= "!="; OrdOpGT . OrdOp ::= ">"; OrdOpGE . OrdOp ::= ">=";

ogma-language-smv.cabal view

@@ -32,7 +32,7 @@ build-type:          Custom  name:                ogma-language-smv-version:             1.0.7+version:             1.0.8 homepage:            http://nasa.gov license:             OtherLicense license-file:        LICENSE.pdf@@ -54,6 +54,13 @@                      .                      This library contains a frontend to read SMV Boolean expressions, used by                      the tool FRET to capture requirement specifications.++-- Ogma packages should be uncurated so that only the official maintainers make+-- changes.+--+-- Because this is a NASA project, we want to make sure that users obtain+-- exactly what we publish, unmodified by anyone external to our project.+x-curation: uncurated  custom-setup   setup-depends: