@hackage ivory-hw0.1.0.4

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

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

Installation
In your cabal file:
Dependencies (0)
Dependents (2)
@hackage/acme-everything, @hackage/ivory-avr-atmega328p-registers