The cao package

[Tags: gpl, program]

CAO Compiler


Properties

Versions0.1, 0.1.1
Dependenciesarray, base (==4.*), cmdargs, ConfigFile, containers, directory, dlist, filepath, language-c, mtl, pretty, process, yices
LicenseGPL
AuthorCryptography and Information Security Group, HASLab - INESC TEC and Universidade do Minho
MaintainerPaulo Silva <paufil@di.uminho.pt>
Stabilityexperimental
CategoryCompiler, Cryptography, Language
Home pagehttp://haslab.uminho.pt/mbb/software/cao-domain-specific-language-cryptography
Bug trackermailto:paufil@di.uminho.pt
Executablescao
UploadedMon Apr 7 18:21:53 UTC 2014 by tfaoliveira
Downloads220 total (15 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]

Downloads

Maintainers' corner

For package maintainers and hackage trustees