Giters
nasa
/
ogma
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
321
Watchers:
12
Issues:
103
Forks:
23
nasa/ogma Issues
Packages build locally but fail to build on hackage server
Updated
11 days ago
Cabal packages do not include repo information
Updated
11 days ago
Cabal package homepage points to NASA.gov instead of pointing to repo
Updated
11 days ago
Release 1.4.0
Closed
12 days ago
Comments count
5
`ogma-cli`: Structure of variable DB files for ROS is not explained
Closed
12 days ago
Comments count
6
`ogma-cli`: Add dockerfile with complete workflow for ROS 2 backend including compiling the ROS app
Closed
13 days ago
Comments count
6
`ogma-core`: ROS backend incorrectly maps `float`, `double` type to `std::float32` and `std::float64`
Closed
12 days ago
Comments count
6
`ogma-cli`: Introduce CI tests
Closed
14 days ago
Comments count
6
`ogma-core`: Type not filled in in ROS 2 app when using requirements DB
Updated
2 months ago
`ogma-cli`: Add example reqs DB and variables to ROS section of manual / repo
Updated
2 months ago
Release 1.3.0
Closed
2 months ago
Comments count
6
`copilot-core`: ROS, FPrime and Copilot backends expect handlers to be named differently
Closed
3 months ago
Comments count
7
`ogma-core`: Spec2Copilot translator does not sanitize handler names
Closed
3 months ago
Comments count
6
include error when using ogma ros with fret files (very minor issue)
Closed
3 months ago
Comments count
2
`ogma-core`: equivalence operator should be translated to `(==)`
Closed
3 months ago
Comments count
8
The FRET format has changed, and Ogma supports the prior file format
Closed
4 months ago
Comments count
2
`ogma-core`: Make DB2Copilot backend to use JSON parser
Closed
4 months ago
Comments count
6
`ogma-cli`: Installation instructions do not mention `cabal` update step
Closed
6 months ago
Comments count
9
`ogma-core`: Spec2Copilot backend does not perform variable substitution in top-level property names
Closed
4 months ago
Comments count
6
`ogma-core`: Add possibility to pass expression to monitor as CLI argument
Updated
4 months ago
Add version bounds to all dependencies
Updated
4 months ago
Release 1.2.0
Closed
4 months ago
Comments count
6
`ogma-core`: Generalize JSON parsing
Closed
4 months ago
Comments count
6
Release 1.1.0
Closed
6 months ago
Comments count
6
`ogma-cli`: Present conversion options based on backends
Closed
5 months ago
Comments count
6
`ogma-core`: Generated cFS application mentions the sample app
Closed
6 months ago
Comments count
6
`ogma-core`: cFS app template contains trailing spaces
Closed
6 months ago
Comments count
6
`ogma-cli`: cFS application generation requires multiple steps
Updated
7 months ago
`ogma-cli`: cFS header files are not customizable
Updated
7 months ago
Release 1.0.11
Closed
8 months ago
Comments count
6
Properties with number ranges are not supported
Closed
8 months ago
Comments count
6
Release 1.0.10
Closed
10 months ago
Comments count
6
`ogma-language-fret-cs`: Improve error message reporting upon requirement parsing errors
Closed
10 months ago
Comments count
6
Add hlint configuration?
Updated
a year ago
Release 1.0.9
Closed
a year ago
Comments count
6
`ogma-cli`: Cabal package description does not list FPrime backend
Closed
a year ago
Comments count
6
`ogma-cli`: Rendering of description of Cabal file displays quotes incorrectly
Closed
a year ago
Comments count
6
`ogma-cli`: Table of contents in README does not match order of contents
Closed
a year ago
Comments count
6
`ogma-core`: Handle CoCoSpec's `ZtoPre` and `YtoPre` unary operators
Closed
a year ago
Comments count
6
`ogma-cli`: Allow customization of target C filenames
Closed
a year ago
Comments count
6
`ogma-cli`: Order of sections in README is sub-optimal
Updated
a year ago
Rename ROS2 to ROS 2 in all code and documentation
Closed
a year ago
Comments count
6
Release 1.0.8
Closed
a year ago
Comments count
6
Cabal package curation by Hackage maintainers is not disabled
Closed
a year ago
Comments count
6
Add FPrime support
Closed
a year ago
Comments count
6
Inequality is not supported
Closed
a year ago
Comments count
6
Release 1.0.7
Closed
a year ago
Comments count
6
Packages cannot be uploaded to hackage due to missing directories
Closed
2 years ago
Comments count
6
Release 1.0.6
Closed
2 years ago
Comments count
6
Update `license` in cabal files to a publishable license
Closed
2 years ago
Comments count
6
Previous
Next