@hackage ogma-core dependencies

15 results

Library for manipulating FilePaths in a cross platform way.

Core data structures and operations

Ogma: Runtime Monitor translator: SMV Language Frontend

Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend

Ogma: Runtime Monitor translator: FRET Component Specification Frontend

Ogma: Runtime Monitor translator: Copilot Language Endpoints

Ogma: Runtime Monitor translator: CoCoSpec Language Frontend

Ogma: Runtime Monitor translator: C Language Frontend

Ogma: Helper tool to interoperate between Copilot and other languages.

Fast JSON parsing and encoding

Core data structures and operations

QuickCheck-2 support for the test-framework package.

Framework for running and organising tests, with HUnit and QuickCheck support

Ogma: Helper tool to interoperate between Copilot and other languages.

Automatic testing of Haskell programs