lib:ogma-core
Modules
- Command.CFSApp
- Command.CStructs2Copilot
- Command.CStructs2MsgHandlers
- Command.FPrimeApp
- Command.ROSApp
- Command.Result
- Command.Standalone
- Data.Location
- Language.Trans.CStruct2CopilotStruct
- Language.Trans.CStructs2Copilot
- Language.Trans.CStructs2MsgHandlers
- Language.Trans.CoCoSpec2Copilot
- Language.Trans.SMV2Copilot
- Language.Trans.Spec2Copilot
Dependencies
- aeson lib:aeson >=2.0.0.0 && <2.2
- base lib:base >=4.11.0.0 && <5
- bytestring lib:bytestring >=0
- filepath lib:filepath >=0
- mtl lib:mtl >=0
- ogma-extra lib:ogma-extra >=1.5.0 && <1.6
- ogma-language-c lib:ogma-language-c >=1.5.0 && <1.6
- ogma-language-cocospec lib:ogma-language-cocospec >=1.5.0 && <1.6
- ogma-language-copilot lib:ogma-language-copilot >=1.5.0 && <1.6
- ogma-language-jsonspec lib:ogma-language-jsonspec >=1.5.0 && <1.6
- ogma-language-smv lib:ogma-language-smv >=1.5.0 && <1.6
- ogma-spec lib:ogma-spec >=1.5.0 && <1.6
- text lib:text >=1.2.3.1 && <2.1
Reverse dependencies
Direct only. Not exhaustive.