The latest version of ivory-hw is 0.1.0.6-0.

ivory-hw

Version 0.1.0.3 revision 0 uploaded by LeePike.

Package meta

Synopsis
Ivory hardware model (STM32F4).
Description

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

Author
Galois, Inc.
Bug reports
n/a
Category
Language
Copyright
2013 Galois, Inc.
Homepage
http://ivorylang.org
Maintainer
jamesjb@galois.com, leepike@galois.com
Package URL
n/a
Stability
n/a

Components