https://github.com/hoaproject/Praspel
Revision 977d226b11831034b7ca948a654958d34a1c62e3 authored by Ivan Enderlin on 25 November 2013, 14:10:46 UTC, committed by Ivan Enderlin on 25 November 2013, 14:10:46 UTC
… at least one @behavior exists.
1 parent c265aef
Tip revision: 977d226b11831034b7ca948a654958d34a1c62e3 authored by Ivan Enderlin on 25 November 2013, 14:10:46 UTC
A @default can be declared if…
A @default can be declared if…
Tip revision: 977d226
composer.json
{
"name" : "hoa/praspel",
"description": "The Hoa\\Praspel library.",
"type" : "library",
"keywords" : ["library", "praspel", "specification", "contract", "test",
"generation", "validation", "precondition", "postcondition",
"invariant"],
"homepage" : "http://hoa-project.net/",
"license" : "BSD-3-Clause",
"authors" : [
{
"name" : "Ivan Enderlin",
"email": "ivan.enderlin@hoa-project.net"
},
{
"name" : "Hoa community",
"homepage": "http://hoa-project.net/"
}
],
"support": {
"email" : "support@lists.hoa-project.net",
"irc" : "irc://irc.freenode.org/hoaproject",
"source": "http://git.hoa-project.net/"
},
"require": {
"hoa/core" : "dev-master",
"hoa/compiler": "dev-master",
"hoa/file" : "dev-master",
"hoa/iterator": "dev-master",
"hoa/realdom" : "dev-master",
"hoa/string" : "dev-master",
"hoa/visitor" : "dev-master"
},
"require-dev": {
"hoa/math": "dev-master"
},
"minimum-stability": "dev",
"target-dir": "Hoa/Praspel",
"autoload": {
"psr-0": {
"Hoa\\Praspel": "."
}
}
}
Computing file changes ...