Release History

Version Date Description
1.1 unreleased  
1.0 July 2007  
0.5 July 6, 2006  
0.4 September 2, 2005  
0.3 March 17, 2005  
0.2 September 22, 2004  
0.1 April 8, 2004  

Release 1.1 – unreleased

Type Changes By
Support for conjecture names in Unicode markup and in AST. MarkU
A simple pretty printer for Unicode. Petra
Fix the printers to handle number strokes in decoration expressions correctly. Petra
Improve error and warning messages.

Release 1.0 – July 2007

Type Changes By
Update to ZML 2.1 and the corresponding changes in the AST. Petra
Use the new Unicode characters defined by the Technical Corrigendum 13568/001 of the Z Standard. Petra
Support the theorem environment introduced by the Technical Corrigendum 13568/003 of the Z Standard. Petra
Update the lexis of punctation characters according to the Technical Corrigendum 13568/006 of the Z Standard. Petra
Lots of improvements in the way errors and warnings are handled.
Move the different sort of parsers (Z Pattern, Object Z, Circus, etc) into their own subprojects. Petra

Release 0.5 – July 6, 2006

Type Changes By
Update to ZML 2.0. Petra
Improve support for parsing and printing Z pattern, Object Z, and TCOZ. Tim,Petra
Improve location annotion information of the AST classes created by the parser. Now, start character number and length information is, in addition to line and column numbers, also recorded. Petra
Improve error reporting. Petra
Use BigInteger for Z numerals. Petra
Corrected the Object-Z grammar so that scope enrichment has a lower precedence than other infix operators. Tim
Corrected the Object-Z grammar so that any expression can be used as the LHS of an operation promotion. Tim
Change some rules to improve memory usage for LALR(1) grammar. Tim

Release 0.4 – September 2, 2005

Type Changes By
Create operation names from OPNAME symbols using createDeclName(Decorword), so that the strokes are correctly added. Tim
Add parse support for Z pattern and rule language. Tim
Lots of improvements to the Object-Z and TCOZ parser. Tim
Improve error messages provided by the parser. Petra
Allow parsing of empty schema texts. Tim
Fix the Unicode scanner to return stroke tokens instead of a DECORWORD token when, after separation of trailing subscript digits, the WORD part of the DECORWORD becomes empty. Petra
Fix the parsing of complex applications to schemas. Tim
Fix the parsing of theta expressions (decorations were being added in reverse order). Tim
Fix the Unicode printer to print a GENSCH token (instead of a SCH token) when a generic schema definition is printed. Petra
Change the parser grammer to not accept (optional) formal parameters after a SCH token. Tim
Fix the parser to parse "id? : VID" correctly. Tim

Release 0.3 – March 17, 2005

Type Changes By
Add support for unicode supplementary characters as it is used by finset and arithmos. Petra
Add a first working version of a section manager (see package net.sourceforge.czt.session) that caches information about Z sections like AST, operator table, etc. Petra
Add support for multiple error messages provided by the parser: The parser now does not throw an exception immediately when an error has been found but tries to recover to collect more error messages. Petra
Add a check to the Parser that tests Z NAMES whether the wordglue charactes SE, SW, NE, NW match and occur only in nested pairs. Petra
Add a check to the Latex to Unicode converter that tests whether \begin and \end command match. Petra
Add some more test cases. Petra
Lots of improvements to the Object-Z parser. Tim
Fix the Latex to Unicode converter to allow braces in schema names. Now, "\begin{schema}{S_{1}}" will be converted correctly. Petra
Fix the SmartScanner so that operator words in declaration lists can now be parsed. Petra
Implement lookahead to resolve ambiguity between generic instantiation expression and function application with a schema as an argument (see also Z Standard, Note 4 in section 8.4 on page 38). Tim
Fix a bug in the parser so that set comprehension can now be parsed. Tim
Fix the LatexParser to provide an error message instead of throwing a NullPointerException when the AST is not available. Petra
Improve error messages provided by the parser. Petra

Release 0.2 – September 22, 2004

Type Changes By
Implement a visitor that annotates an AST indicating where braces are needed to enforce the given priority. This is used by printers that walk over an AST and print one of the markup languages. Petra
Add LocAnn to (AST) terms created in the parser so that other tools can identify the position of the term. Petra
Parse latex markup directives (%%Zchar etc.) and add it into the AST. Petra
Allow soft newlines after generic parameters. Tim
Set mixfix in MemPred to false for a membership application in a chain relation. Tim
Fix the Object Z parser so that it can parse the first simple Object Z examples. Petra
Fix the CztReader to handle EOF correctly. This closes bug #992029. Petra
Fix the parser and precedence handling visitor so that the precedence of Cartesian product is handled correctly. Tim
Modify parser grammar to allow newlines and semicolon within parenthesied predicates. Mark
Improve the operator table so that the rules from Section 8.3 of the Z standard are followed. This includes checks that a whole operator name is never defined more than once, that operators with the same precedence also have the same associativity, etc. Petra
Improve error messages in case a parse error occured (compute correct line and column number). Petra
Fix the computation of the name of a prefix function like, for instance, cardinality. Now, the parser does not add a leading space to the name of a prefix functions any more. This closes bug #937623. Mark, Petra
Write XML files using UTF-8 encoding instead of using the locale encoding. Now the files written when using the command line tools zed2zml and ozed2zml with the -out argument are in UTF-8. Petra

Release 0.1 – April 8, 2004

Type Changes By
Initial Release. Tim, Petra

Back to top

Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.