ogma-language-smv 1.6.0 → 1.7.0
raw patch · 4 files changed
+21/−13 lines, 4 files
Files
- CHANGELOG.md +8/−0
- grammar/SMV.cf +3/−5
- ogma-language-smv.cabal +9/−7
- tests/Main.hs +1/−1
CHANGELOG.md view
@@ -1,5 +1,13 @@ # Revision history for ogma-language-smv +## [1.7.0] - 2025-03-21++* Version bump 1.7.0 (#269).+* Remove references to old design of Ogma from documentation (#220).+* Bump upper version constraint on Cabal (#213).+* Remove extraneous EOL character (#224).+* Specify tools needed using build-tool-depends (#149).+ ## [1.6.0] - 2025-01-21 * Version bump 1.6.0 (#208).
grammar/SMV.cf view
@@ -28,11 +28,9 @@ -- FOR ANY SUCH MATTER SHALL BE THE IMMEDIATE, UNILATERAL TERMINATION OF THIS -- AGREEMENT. --- This is a simplified grammar of SMV temporal logic expressions, extended--- with the tags that FRET uses around names.------ The format of FRET files itself uses JSON, so this grammar applies--- only to specific fields in those files.+-- This is a simplified grammar of SMV temporal logic expressions. This grammar+-- allows for the presence of tags around some expressions, which some tools+-- that produce SMV include in expressions. entrypoints BoolSpec;
ogma-language-smv.cabal view
@@ -15,7 +15,7 @@ -- ANY OTHER APPLICATIONS RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER, -- GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING -- THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES--- IT "AS IS." +-- IT "AS IS." -- -- Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS AGAINST -- THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS@@ -30,9 +30,8 @@ cabal-version: 2.0 build-type: Custom- name: ogma-language-smv-version: 1.6.0+version: 1.7.0 homepage: https://github.com/nasa/ogma bug-reports: https://github.com/nasa/ogma/issues license: OtherLicense@@ -53,8 +52,7 @@ <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code. .- This library contains a frontend to read SMV Boolean expressions, used by- the tool FRET to capture requirement specifications.+ This library contains a frontend to read SMV Boolean expressions. -- Ogma packages should be uncurated so that only the official maintainers make -- changes.@@ -71,9 +69,8 @@ custom-setup setup-depends: base >= 4.11.0.0 && < 5- , Cabal >= 2.0 && < 3.9+ , Cabal >= 2.0 && < 3.15 , process >= 1.6 && < 1.7- , BNFC >= 2.9.1 && < 2.10 library @@ -94,6 +91,11 @@ build-depends: base >= 4.11.0.0 && < 5 , array >= 0.5.2.0 && < 0.6++ build-tool-depends:+ alex:alex >= 3+ , BNFC:bnfc >= 2.9.4+ , happy:happy >= 1.19 hs-source-dirs: src
tests/Main.hs view
@@ -15,7 +15,7 @@ -- ANY OTHER APPLICATIONS RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER, -- GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES REGARDING -- THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL SOFTWARE, AND DISTRIBUTES--- IT "AS IS." +-- IT "AS IS." -- -- Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL CLAIMS AGAINST -- THE UNITED STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS WELL AS