jcontractor-devel Mailing List for jContractor

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.

Hello everyone,

I've decided that we should use JDK 1.4 as jContractor's target platform.  In 
particular, I think the assertions go well with Design by Contract.  Unfortunately, 
this breaks compatibility with earlier JDK's, but I don't see this as being a large 
problem.

  Parker

I just upgraded jContractor to use BCEL 5.0rc1 from Apache.  There are a couple 
bugs in the BCEL release, so I had to make a couple changes and recompile.  The 
BCEL JAR that we'll use is in the /lib/ directory in jContractor's CVS repository.  
There's also a copy of weken.opt in this directory, so people won't have to 
download these libraries separately.

   Parker

Just wanted to announce that a new jContractor subproject has been created.  We 
now have a simple API to support first order predicate logic (forall, exists, stuff like 
that).  The project is currently under code name JaQuaL (Java Quantification 
Library).  The library is independent of the rest of jContractor, and we will probably 
release a build in a week or two.

   Parker