ogma
ogma copied to clipboard
nasa
Generator of runtime monitors for flight and robotics applications.
**Description** The cabal packages do not contain pointers to the repo using the specific entry for this in Cabal, neither for the source, nor to file bug reports. Although such...
Packages fail to build on the hackage server itself, apparently due to issues with dependencies. From the build log on Hackage: ``` /bin/sh: 1: bnfc: not found ```
To simplify the process of interactive with Ogma, especially when running quick demos, we'd like to have the possibility of passing an expression as an argument or in a file...
The cabal packages do not currently specify version bounds. This makes hackage complain, and can create stability / installation issues for users.
Generating the cFS app requires multiple steps: one for the core app, one for the handlers, etc. This process is not ideal, and not intuitive from the user's perspective. UX...
The generated application may need definitions that come from external files, such as message IDs from other applications, or structs defined elsewhere. There should be a setting to include additional...
Linting was clean with #51 but now there are warnings: ```yaml # Warnings currently triggered by your code - ignore: {name: "Empty single-line comment"} # 49 hints - ignore: {name:...
**Description** The order of sections in the README puts ROS at the bottom, but the file would be best organized putting the backends implemented first, before the C structs (which...