farseerfc/purano

Purity annotations generator for Java

★ 3Forks 3JavaGitHub ↗Compare

README

purano: PURity ANnOtations generator for Java

How To Build

Run ant with build.xml . Source code is in src/ directory. Dependent libraries are in lib/ directory.

How To Run

CLASSPATH=out/production/purano:lib/* java jp.ac.osakau.farseerfc.purano.reflect.ClassFinder jolden.treeadd

Use --help to get a complete usage.

Contributors

farseerfc

Issues