lib:ogma-core
Modules
- Command.CFSApp
- Command.CStructs2Copilot
- Command.CStructs2MsgHandlers
- Command.FPrimeApp
- Command.FRETComponentSpec2Copilot
- Command.FRETReqsDB2Copilot
- Command.ROSApp
- Command.Result
- 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.4.1 && <1.5
- ogma-language-c lib:ogma-language-c >=1.4.1 && <1.5
- ogma-language-cocospec lib:ogma-language-cocospec >=1.4.1 && <1.5
- ogma-language-copilot lib:ogma-language-copilot >=1.4.1 && <1.5
- ogma-language-jsonspec lib:ogma-language-jsonspec >=1.4.1 && <1.5
- ogma-language-smv lib:ogma-language-smv >=1.4.1 && <1.5
- ogma-spec lib:ogma-spec >=1.4.1 && <1.5
Reverse dependencies
Direct only. Not exhaustive.