description | A rewrite of the Checker Framework's (http://code.google.com/p/checker-framework/) flow handling code. |
owner | koenigdavidmj@gmail.com |
last change | Fri, 12 Mar 2010 04:20:34 +0000 (11 20:20 -0800) |
URL | git://repo.or.cz/checker-flow-ng.git |
| https://repo.or.cz/checker-flow-ng.git |
push URL | ssh://repo.or.cz/checker-flow-ng.git |
| https://repo.or.cz/checker-flow-ng.git (learn more) |
bundle info | checker-flow-ng.git downloadable bundles |
content tags
|
|
readme
A rewrite of the Checker Framework's (http://code.google.com/p/checker-framework/) flow handling code.