ogma-language-cocospec 1.0.7 → 1.0.8

raw patch · 3 files changed

+15/−1 lines, 3 files

Files

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

CHANGELOG.md view

@@ -1,5 +1,11 @@ # Revision history for ogma-language-cocospec +## [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/CoCoSpec.cf view

@@ -81,6 +81,7 @@ NumOp2Mult . NumOp2In ::= "*" ;  BoolNumOp2Eq . BoolNumOp ::= "=" ;+BoolNumOp2Ne . BoolNumOp ::= "<>" ; BoolNumOp2Le . BoolNumOp ::= "<=" ; BoolNumOp2Lt . BoolNumOp ::= "<" ; BoolNumOp2Gt . BoolNumOp ::= ">" ;

ogma-language-cocospec.cabal view

@@ -32,7 +32,7 @@ build-type:          Custom  name:                ogma-language-cocospec-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 CoCoSpec 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: