Re: [CZT-Devel] GnAST and other Z tools of CZT

[Tim M. <T.M...@cs...>]

Hi Leo,

Leo Freitas wrote:

> I am developing a XML-Schema to represent Circus, a language that 
> combines CSP
> and Z, and I would like to try to use GnAST on this XML-schema.
> 
Great!

> Are you aware of when GnAST and other tools such as the
> Z-Parser/Typechecker will be available in the CZT distributtion?

As far as I know, Petra has no plans to release Gnast in the CZT 
distribution. It was only written to generate the Z, Object-Z, 
etc, core classes for CZT really. The parser/typechecker are 
available in binary format for download 
(http://www.cs.waikato.ac.nz/~petra), but I'm not sure if Petra 
has any plans for a source release in the near future.

> I tried to set up the WinCVS but I am finding some difficulties here,
> as I am still in the learning process of using CVS.......
> 
I've never used WinCVS, but I can direct you here:
https://sourceforge.net/cvs/?group_id=86250

and here:
https://sourceforge.net/docman/display_doc.php?docid=14033&group_id=1

If these are no help, email me directly and I will send you a 
tarball with the gnast code so you can play around with it while 
you figure out your CVS problems.

Regards,
Tim