The ivory-bitdata package

[Tags: bsd3, library, program]

See the paper http:yav.github.iopublicationsbitdata.pdf


Properties

Version0.2.0.0
Dependenciesbase (==4.6.*), ivory, ivory-backend-c, ivory-bitdata, monadLib, parsec, template-haskell
LicenseBSD3
Copyright2013 Galois, Inc.
AuthorGalois, Inc.
Maintainerjamesjb@galois.com
CategoryLanguage
Home pagehttp://smaccmpilot.org/languages/ivory-introduction.html
Source repositorythis: git clone https://github.com/GaloisInc/ivory(tag hackage-bitdata-0200)
Executablesivory-bitdata-example
Upload dateWed Mar 26 02:13:00 UTC 2014
Uploaded byLeePike
Downloads60 total (13 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees