News
1 November 2007
Jack is now publicly available through the Cecill C licence!
16 Mars 2006
The new version of Jack (1.8.1) with its assorted plugins is finally out.
It has new pure method handling, support for JML 'native' keyword and globally
works better.
4 January 2006
A new version of Jack will be arriving soon, with some better pure methods
handling !
30 June 2005
Jack 1.8.0 has just been uploaded.
10 June 2005
Some doc has been added about
the Bytecode Verification Condition Generator and about the JML compiler.
30 May 2005
Jack version 1.7.4 with its assorted plugins has just been released.
10 May 2005
The UpdateSite is finally up...
Now you can have the latest version of
the CoqPlugin,
the PvsPlugin or the SimplifyPlugin from it.
2 May 2005
The news section is born.