Commit c4bb693e authored by Michael Hanus 's avatar Michael Hanus
Browse files

failfree/0.0.1 added

parent 4643ba5f
{
"name": "failfree",
"version": "0.0.1",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "A tool to verify whether a Curry program executes without failures",
"category": [ "Programming", "Analysis", "Verification" ],
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
"cass-analysis" : ">= 0.0.1",
"cass" : ">= 0.0.1",
"flatcurry" : ">= 1.0.0",
"flatcurry-annotated": ">= 1.0.0",
"showflatcurry" : ">= 0.0.1"
},
"compilerCompatibility": {
"pakcs": ">= 1.14.0, < 2.0.0",
"kics2": ">= 0.5.0, < 2.0.0"
},
"configModule": "PackageConfig",
"executable": {
"name" : "curry-failfree",
"main" : "Main",
"options": { "kics2" : ":set rts -T" }
},
"testsuite": {
"src-dir": "examples",
"script": "test.sh",
"options": "-v"
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/failfree.git",
"tag": "$version"
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment