@hackage / ogma-language-smv

Ogma: Runtime Monitor translator: SMV Language Frontend

Latest1.13.0

Dependencies

library:ogma-language-smv (2 dependencies)

@hackage / array Mutable and immutable arrays
- Version: >=0.5.2.0 && <0.6
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.11.0.0 && <5
- License: BSD-3-Clause

test:unit-tests (5 dependencies)

@hackage / test-framework-quickcheck2 QuickCheck-2 support for the test-framework package.
- Version: >=0.3.0.4 && <0.4
- License: BSD-3-Clause
@hackage / ogma-language-smv Ogma: Runtime Monitor translator: SMV Language Frontend
- Version:
- License: Apache-2.0
@hackage / base Core data structures and operations
- Version: >=4.11.0.0 && <5
- License: BSD-3-Clause
@hackage / test-framework Framework for running and organising tests, with HUnit and QuickCheck support
- Version: >=0.8.2 && <0.9
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.8.2 && <2.16
- License: BSD-3-Clause