issues
search
nasa
/
ogma
Generator of runtime monitors for flight and robotics applications.
Other
335
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`ogma-cli`: cFS header files are not customizable
#106
ivanperez-keera
opened
1 year ago
0
`ogma-core`: Generated cFS application mentions the sample app
#105
ivanperez-keera
closed
11 months ago
6
Release 1.0.11. Refs #103.
#104
ivanperez-keera
closed
1 year ago
1
Release 1.0.11
#103
ivanperez-keera
closed
1 year ago
6
Support MTL operators with number ranges in SMV.
#102
ivanperez-keera
closed
1 year ago
1
Properties with number ranges are not supported
#101
ivanperez-keera
closed
1 year ago
6
`ogma-cli`: Installation instructions do not mention `cabal` update step
#100
iftahnaf
closed
11 months ago
9
Release 1.0.10. Refs #98.
#99
ivanperez-keera
closed
1 year ago
1
Release 1.0.10
#98
ivanperez-keera
closed
1 year ago
6
`ogma-language-fret-cs`: Improve parsing error messages. Refs #96.
#97
ivanperez-keera
closed
1 year ago
1
`ogma-language-fret-cs`: Improve error message reporting upon requirement parsing errors
#96
ivanperez-keera
closed
1 year ago
6
Add hlint configuration?
#95
philderbeast
opened
1 year ago
0
Release 1.0.9. Refs #93.
#94
ivanperez-keera
closed
1 year ago
1
Release 1.0.9
#93
ivanperez-keera
closed
1 year ago
6
`ogma-cli`: List FPrime backend as supported use case in package description. Refs #91.
#92
ivanperez-keera
closed
1 year ago
1
`ogma-cli`: Cabal package description does not list FPrime backend
#91
ivanperez-keera
closed
1 year ago
6
`ogma-cli`: Fix rendering of quotes in URLs in package description. Refs #72.
#90
ivanperez-keera
closed
1 year ago
1
`ogma-cli`: Re-order README's TOC to match order of contents. Refs #88.
#89
ivanperez-keera
closed
1 year ago
3
`ogma-cli`: Table of contents in README does not match order of contents
#88
ivanperez-keera
closed
1 year ago
6
Handle CoCoSpec's ZtoPre and YtoPre unary operators. Refs #86.
#87
ivanperez-keera
closed
1 year ago
1
`ogma-core`: Handle CoCoSpec's `ZtoPre` and `YtoPre` unary operators
#86
ivanperez-keera
closed
1 year ago
6
Allow customizing the names of the C files generated by Copilot. Refs #80.
#85
ivanperez-keera
closed
1 year ago
5
`ogma-cli`: Replace all occurrences of ROS2 with ROS 2. Refs #83.
#84
ivanperez-keera
closed
1 year ago
1
Rename ROS2 to ROS 2 in all code and documentation
#83
ivanperez-keera
closed
1 year ago
6
Release 1.0.8. Refs #81.
#82
ivanperez-keera
closed
1 year ago
1
Release 1.0.8
#81
ivanperez-keera
closed
1 year ago
6
`ogma-cli`: Allow customization of target C filenames
#80
ivanperez-keera
closed
1 year ago
6
Prevent modifications by people outside the project. Refs #74.
#79
ivanperez-keera
closed
1 year ago
1
Introduce FPrime backend. Refs #77.
#78
ivanperez-keera
closed
1 year ago
7
Add FPrime support
#77
ivanperez-keera
closed
1 year ago
6
Support inequality operator in TL formulas in SMV and CoCoSpec. Refs #71.
#76
ivanperez-keera
closed
1 year ago
1
`ogma-cli`: Present conversion options based on backends
#75
ivanperez-keera
closed
9 months ago
6
Cabal package curation by Hackage maintainers is not disabled
#74
ivanperez-keera
closed
1 year ago
6
`ogma-cli`: Order of sections in README is sub-optimal
#73
ivanperez-keera
opened
1 year ago
0
`ogma-cli`: Rendering of description of Cabal file displays quotes incorrectly
#72
ivanperez-keera
closed
1 year ago
6
Inequality is not supported
#71
ivanperez-keera
closed
1 year ago
6
Release 1.0.7. Refs #69.
#70
ivanperez-keera
closed
1 year ago
3
Release 1.0.7
#69
ivanperez-keera
closed
1 year ago
6
Introduce ROS2 backend. Refs #56.
#68
ivanperez-keera
closed
1 year ago
3
Release 1.0.6. Refs #64.
#67
ivanperez-keera
closed
1 year ago
5
Add `src/.keep` files to `extra-source-files` in cabal files. Refs #65.
#66
ivanperez-keera
closed
1 year ago
1
Packages cannot be uploaded to hackage due to missing directories
#65
ivanperez-keera
closed
1 year ago
6
Release 1.0.6
#64
ivanperez-keera
closed
1 year ago
6
Update licenses in cabal files to `OtherLicense`. Refs #62.
#63
ivanperez-keera
closed
1 year ago
1
Update `license` in cabal files to a publishable license
#62
ivanperez-keera
closed
1 year ago
6
Release 1.0.5. Refs #60.
#61
ivanperez-keera
closed
2 years ago
1
Release 1.0.5
#60
ivanperez-keera
closed
2 years ago
6
Support floating point numbers in SMV expressions. Refs #58.
#59
ivanperez-keera
closed
2 years ago
1
`ogma-language-smv`: floating point numbers are not supported
#58
ivanperez-keera
closed
2 years ago
6
Adapt Ogma to work with GHC 9.2. Refs #55.
#57
ivanperez-keera
closed
2 years ago
3
Previous
Next