Java Contract Suite / News: Recent posts

Java Contract Suite, DbC for Java, v1.01.00b02 released

The codebase has been cleaned up. The next step is to ensure everything works as expected.

Posted by Johan Stuyts 2008-05-09

Java Contract Suite, DbC for Java, v1.01.00b01 released

The code available on http://www.icontract2.org/ has been released as the Java Contract Suite. The only change is that the classes have been moved to another package.

Posted by Johan Stuyts 2006-11-23