-- Copyright 2020 United States Government as represented by the Administrator -- of the National Aeronautics and Space Administration. All Rights Reserved. -- -- Disclaimers -- -- Licensed under the Apache License, Version 2.0 (the "License"); you may -- not use this file except in compliance with the License. You may obtain a -- copy of the License at -- -- https://www.apache.org/licenses/LICENSE-2.0 -- -- Unless required by applicable law or agreed to in writing, software -- distributed under the License is distributed on an "AS IS" BASIS, WITHOUT -- WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the -- License for the specific language governing permissions and limitations -- under the License. cabal-version: 2.0 build-type: Simple name: ogma-core version: 1.10.0 homepage: https://github.com/nasa/ogma bug-reports: https://github.com/nasa/ogma/issues license: Apache-2.0 license-file: LICENSE author: Ivan Perez, Alwyn Goodloe maintainer: ivan.perezdominguez@nasa.gov category: Aerospace extra-source-files: CHANGELOG.md tests/commands-fcs-error-parsing-failed-1.json tests/commands-fcs-error-parsing-failed-2.json tests/commands-fcs-error-parsing-failed-3.json tests/fcs_good.json tests/fdb-example1.json tests/reduced_geofence_msgs_bad.h tests/reduced_geofence_msgs.h synopsis: Ogma: Helper tool to interoperate between Copilot and other languages. description: Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends , a high-level runtime verification framework that generates hard real-time C99 code. . This package implements the internal commands of ogma. data-files: templates/copilot-cfs/CMakeLists.txt templates/copilot-cfs/fsw/for_build/Makefile templates/copilot-cfs/fsw/mission_inc/copilot_cfs_perfids.h templates/copilot-cfs/fsw/platform_inc/copilot_cfs_msgids.h templates/copilot-cfs/fsw/src/Properties.hs templates/copilot-cfs/fsw/src/copilot_cfs_msg.h templates/copilot-cfs/fsw/src/copilot_cfs.c templates/copilot-cfs/fsw/src/copilot_cfs_version.h templates/copilot-cfs/fsw/src/copilot_cfs.h templates/copilot-cfs/fsw/src/copilot_cfs_events.h templates/ros/Dockerfile templates/ros/screenrc templates/ros/copilot/CMakeLists.txt templates/ros/copilot/src/copilot_logger.cpp templates/ros/copilot/src/copilot_monitor.cpp templates/ros/copilot/src/Copilot.hs templates/ros/copilot/package.xml templates/ros/test_requirements/CMakeLists.txt templates/ros/test_requirements/src/test_requirements.cpp templates/ros/test_requirements/package.xml templates/diagram/Copilot.hs templates/fprime/CMakeLists.txt templates/fprime/Copilot.cpp templates/fprime/Copilot.fpp templates/fprime/Copilot.hpp templates/fprime/Dockerfile templates/fprime/instance-copilot templates/standalone/Copilot.hs data/formats/fcs_smv data/formats/fcs_lustre data/formats/fdb_smv data/formats/fdb_lustre data/formats/xml-md_lustre data/formats/xml-md_smv data/formats/xml-reqif_lustre data/formats/xml-reqif_smv data/variable-db.json -- 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 source-repository head type: git location: git@github.com:nasa/ogma.git subdir: ogma-core library exposed-modules: Command.CFSApp Command.CStructs2Copilot Command.CStructs2MsgHandlers Command.Diagram Command.FPrimeApp Command.Overview Command.Result Command.ROSApp Command.Standalone Data.Location Language.Trans.CStruct2CopilotStruct Language.Trans.CStructs2Copilot Language.Trans.CStructs2MsgHandlers Language.Trans.Lustre2Copilot Language.Trans.Spec2Copilot Language.Trans.SMV2Copilot other-modules: Paths_ogma_core Command.Common Command.Errors Command.VariableDB autogen-modules: Paths_ogma_core build-depends: base >= 4.11.0.0 && < 5 , aeson >= 2.0.0.0 && < 2.3 , bytestring >= 0.10.8.2 && < 0.13 , containers >= 0.5 && < 0.8 , directory >= 1.3.1.5 && < 1.4 , filepath >= 1.4.2 && < 1.6 , graphviz >= 2999.20 && < 2999.21 , megaparsec >= 8.0.0 && < 9.10 , mtl >= 2.2.2 && < 2.4 , process >= 1.6 && < 1.7 , text >= 1.2.3.1 && < 2.2 , ogma-extra >= 1.10.0 && < 1.11 , ogma-language-c >= 1.10.0 && < 1.11 , ogma-language-copilot >= 1.10.0 && < 1.11 , ogma-language-csv >= 1.10.0 && < 1.11 , ogma-language-jsonspec >= 1.10.0 && < 1.11 , ogma-language-lustre >= 1.10.0 && < 1.11 , ogma-language-smv >= 1.10.0 && < 1.11 , ogma-language-xlsx >= 1.10.0 && < 1.11 , ogma-language-xmlspec >= 1.10.0 && < 1.11 , ogma-spec >= 1.10.0 && < 1.11 hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall test-suite unit-tests type: exitcode-stdio-1.0 main-is: Main.hs build-depends: base >= 4.11.0.0 && < 5 , directory >= 1.3.1.5 && < 1.4 , HUnit >= 1.2.0.0 && < 1.7 , QuickCheck >= 2.8.2 && < 2.16 , test-framework >= 0.8.2 && < 0.9 , test-framework-hunit >= 0.2.0 && < 0.4 , test-framework-quickcheck2 >= 0.3.0.4 && < 0.4 , ogma-core hs-source-dirs: tests default-language: Haskell2010 ghc-options: -Wall