[CZT-Devel] GnAST and complete Circus.xsd

[Leo F. <le...@cs...>]

Hi Petra and others,

I made the necessary ammendments and inclusions into the Circus.xsd file 
as we discussed.
Furthermore, I have also included the complete (current) BNF of Circus 
with the whole
action and process language.
Besides the usual CSP operators for Actions, it includes CSP operators 
for Processes,
new Circus operators for Processes, the complete guarded commands 
(assignment, if,
specification statement, etc), and others.

I could also put GnAST to run and I have generated the Circus AST and 
Visitors nicely!
GnAST only issued a warning saying that "Expt0N" could not be found in Z 
context/prefix.
I couldn't figure out why tough.
I should include some more documentation in the schema file soon.

Thanks for all the help given!

Best regards,
Leo
-- 

-------------------------------------------
Leonardo Freitas
PhD - Circus Model Checking
Computer Science @ York University
Formal Methods - HISE Group
HISE - High Integrity Software Engineering
http://www.cs.york.ac.uk/~leo
-------------------------------------------
Beyond reason, there is no court to appeal
-------------------------------------------