jContractor / News: Recent posts

jContractor doclet available

jContractor now has it's own JavaDoc doclet! Automatically generate documentation from your jContractor contracts!

Posted by Parker Abercrombie 2003-10-23

jContractor beta release available

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.

Posted by Parker Abercrombie 2003-02-11

New alpha release of jContractor

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.

Posted by Parker Abercrombie 2002-07-15

JaQuaL alpha release available

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.

Posted by Parker Abercrombie 2002-07-11

jContractor alpha release available

jContractor version 0.0.1 has just been released.

Posted by Parker Abercrombie 2002-01-25