|
Size: 1082
Comment:
|
← Revision 3 as of 2008-10-03 20:20:19 ⇥
Size: 1090
Comment: converted to 1.6 markup
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| Wizard is a type-checker by Graeme Smith for [http://www.itee.uq.edu.au/~smith/objectz.html Object-Z] specifications written in LaTeX. The [http://www.itee.uq.edu.au/~smith/svrc/wizard_export.tar.gz original code] is written in C for Unix platforms. I managed to compile it under [http://www.cygwin.com/ Cygwin] for the windows platform. The binary is available [attachment:wizard.zip here]. | Wizard is a type-checker by Graeme Smith for [[http://www.itee.uq.edu.au/~smith/objectz.html|Object-Z]] specifications written in LaTeX. The [[http://www.itee.uq.edu.au/~smith/svrc/wizard_export.tar.gz|original code]] is written in C for Unix platforms. I managed to compile it under [[http://www.cygwin.com/|Cygwin]] for the windows platform. The binary is available [[attachment:wizard.zip|here]]. |
Wizard is a type-checker by Graeme Smith for Object-Z specifications written in LaTeX. The original code is written in C for Unix platforms. I managed to compile it under Cygwin for the windows platform. The binary is available here.
Install
Unzip it anyhere. Add <where you unziped the file>/wizard/bin to your search path for wizard.exe to be called from anyware.
WinEdt Menu item
Options/Menu setup, add an Macro item <Object-Z Type Checker> to Accessories/Windows Accessories, or else where you like.
In Macro, fill in
WinExe('','C:\wizard\bin\wizard.exe "%n%t" ','%p','Object-Z type check',1110,0,'', '', '%N.log'); CMD("Errors...");(suppose you installed the type checker to C:\
In Requires File Filter, fill in
%p\%n.tex
Select an icon for the type checker if you like to have an shortcut on the toolbar. Set the hint to "Object-Z Type Checker".