@hackage ivory-hw0.1.0.3

Ivory hardware model (STM32F4).

Categories
- Language
License
BSD-3-Clause
Maintainer
jamesjb@galois.com, leepike@galois.com
Links
Versions
- 0.1.0.6 Tue, 17 Jul 2018
- 0.1.0.5 Fri, 16 Dec 2016
- 0.1.0.4 Sat, 29 Oct 2016
- 0.1.0.3 Tue, 5 Apr 2016
- 0.1.0.0 Wed, 26 Mar 2014

Installation
In your cabal file:
Dependencies (5)
- base >=4.6 && <5
- filepath
- ivory
- ivory-artifact
- ivory-backend-c
Dependents (2)
@hackage/acme-everything, @hackage/ivory-avr-atmega328p-registers

Hardware model for Ivory. Currently, the STM32F4 is supported; others may be added.