Subscribe: SourceForge.net: SF.net Project News: Community Z Tools
http://sourceforge.net/export/rss2_projnews.php?group_id=86250
Preview: SourceForge.net: SF.net Project News: Community Z Tools

Recent posts to news



Recent posts to news



Last Build Date: Mon, 16 Feb 2009 06:36:36 -0000

 



CZT release 1.5.0

Mon, 16 Feb 2009 06:36:36 -0000

Community Z Tools release 1.5 is now available.
It provides tools for editing and checking formal specifications written in the Z, Object-Z and Circus languages. This release contains a snapshot of all CZT tools that are currently available or under development. See the release notes for details on how to use each package.




CZT typechecker release 1.0

Thu, 05 Jul 2007 14:04:38 -0000

In keeping up with the tradition of releasing standalone jar files for the Z/Object-Z typechecker, which seem to be popular, I'm releasing a new version to coincide with the CZT 1.0 release. It is run the same as previous versions:
java -jar czt_typecheck_v1.0.jar filename1 filename2 ...

Tim




CZT Release 1.0

Tue, 03 Jul 2007 22:32:56 -0000

First stable release based on ZML 2.1. It includes tools like parser, typechecker, and pretty-printer for Standard Z, Object-Z and Circus. It also contains the Z animator Zlive, the testing tool modeljunit, a command line user interface for CZT, and several jedit plugins.




CZT typechecker release 0.5

Tue, 29 Aug 2006 11:18:20 -0000

I've (finally!) gotten around to producing a new binary, command-line version of the Z/Object-Z typechecker, which is the same version of the typechecker released with CZT 0.5. It can be run like so:
java -jar czt_typecheck_0_5.jar filename1 filename2 ...




CZT Release 0.5

Thu, 06 Jul 2006 03:05:58 -0000

This release containing ZML 2.0, corejava 2.0.0, parser 0.5, typechecker 0.5, the first release of the Z animator zlive, the first release of the testing tool modeljunit, and several jedit plugins.
See http://czt.sourceforge.net/corejava/changes.html for changes in corejava, http://czt.sourceforge.net/parser/changes.html for changes in the parser, and http://czt.sourceforge.net/typechecker/changes.html for changes in the typechecker.




CZT typechecker release 0.4

Wed, 14 Sep 2005 16:29:58 -0000

Now that CZT v0.4 has been released, I am also releasing the binary command-line version of the Z/Object-Z typechecker. It can be run like so:
java -jar czt_typecheck.jar filename1 filename2




CZT Release 0.4

Fri, 02 Sep 2005 06:43:25 -0000

This release containing ZML 1.4, corejava 1.4.1, parser 0.4, typechecker 0.4, and the jedit plugin.
See http://czt.sourceforge.net/corejava/changes.html for changes in corejava, http://czt.sourceforge.net/parser/changes.html for changes in the parser, and http://czt.sourceforge.net/typechecker/changes.html for changes in the typechecker.




CZT typechecker release pre 0.4

Thu, 04 Aug 2005 09:06:18 -0000

A pre v0.4 binary release of the Object-Z typechecker is now available for download in jar and src format. This version is lightweight (no editing environment, ZML formatting etc), and can be run from the command line like so:
java -jar czt_typecheck_pre_v0.4.jar filename1 filename2




CZT Release 0.3

Wed, 16 Mar 2005 20:57:05 -0000

This release containing ZML 1.4, corejava 1.4.0, parser 0.3, and a first release of the typechecker.
See http://czt.sourceforge.net/corejava/changes.html for changes in corejava and http://czt.sourceforge.net/parser/changes.html for changes in the parser.




CZT binaries

Tue, 09 Nov 2004 23:07:57 -0000

CZT binaries are available from
http://www.cs.waikato.ac.nz/~petra/
(due to the JAXB license, they cannot be distributed on Sourceforge)