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