ivory-bitdata

Version 0.2.0.0 revision 0 uploaded by LeePike.

Package meta

Synopsis
Ivory bit-data support.
Description

See the paper http://yav.github.io/publications/bitdata.pdf

Author
Galois, Inc.
Bug reports
n/a
Category
Language
Copyright
2013 Galois, Inc.
Homepage
http://smaccmpilot.org/languages/ivory-introduction.html
Maintainer
jamesjb@galois.com
Package URL
n/a
Stability
n/a

Components