jContractor now has it's own JavaDoc doclet! Automatically generate documentation from your jContractor contracts!
The first beta release is now available. This version removes the dependency on JDK 1.4, and adds a feature to remove contracts from compiled bytecode, to keep file size down.
The second alpha release of jContractor is available. This release fixes the major bugs in the previous release, and adds some new features.
* Predicate logic expressions using the JaQuaL library.
* You can control the instrumentation level of each class in your system.
The first build of JaQuaL, the Java Quantification Library, was released today. This library implements predicate logic quantifiers (ForAll, Exists, etc) in Java. It can be used independently of jContractor.
jContractor version 0.0.1 has just been released.