-
Notifications
You must be signed in to change notification settings - Fork 25
Issues: nasa/ogma
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
ogma-core
: Including missing operator notPreviousNot
in generated spec
CR:Status:Verification
ogma-cli
: Update README to reflect new contribution process
CR:Status:Accepted
#161
opened Nov 14, 2024 by
ivanperez-keera
Packages build locally but fail to build on hackage server
#149
opened May 23, 2024 by
ivanperez-keera
Cabal packages do not include repo information
CR:Status:Initiated
Admin only: Change request that has been initiated
CR:Type:Bug
Admin only: Change request pertaining to error detected
#148
opened May 23, 2024 by
ivanperez-keera
ogma-core
: Type not filled in in ROS 2 app when using requirements DB
#137
opened Apr 1, 2024 by
ivanperez-keera
ogma-cli
: Add example reqs DB and variables to ROS section of manual / repo
#135
opened Apr 1, 2024 by
ivanperez-keera
ogma-core
: Add possibility to pass expression to monitor as CLI argument
#121
opened Jan 22, 2024 by
ivanperez-keera
ogma-cli
: cFS application generation requires multiple steps
#107
opened Oct 20, 2023 by
ivanperez-keera
ogma-cli
: Order of sections in README is sub-optimal
CR:Status:Initiated
#73
opened Jan 28, 2023 by
ivanperez-keera
ProTip!
Updated in the last three days: updated:>2024-11-19.