@hackage ivory-backend-c0.1.0.8

Ivory C backend.

Categories
- Language
License
BSD-3-Clause
Maintainer
leepike@galois.com
Links
Versions
- 0.1.0.8 Tue, 17 Jul 2018
- 0.1.0.7 Fri, 11 Aug 2017
- 0.1.0.5 Wed, 9 Aug 2017
- 0.1.0.4 Wed, 9 Aug 2017
- 0.1.0.3 Wed, 9 Aug 2017
- 0.1.0.1 Wed, 9 Aug 2017

Installation
In your cabal file:
Dependencies (16)
- base >=4.7 && <5
- bytestring >=0.10
- containers
- directory
- filepath
- process
Dependents (6)
@hackage/ivory-bitdata, @hackage/ion, @hackage/ivory-quickcheck, @hackage/acme-everything, @hackage/ivory-hw, @hackage/ivory-examples

Ivory compiler, to a subset of C99.