Activity for Community Z Tools
-
Leo Freitas committed [c95763] on Code
relaxed duplicate channels check for type signature of a basic channel set expr to allow for multiple communication patterns.
-
Leo Freitas committed [b8e6e7] on Code
1,8 mac env
-
kunde wayne modified a comment on discussion Help
@basketball stars When you click the refresh button in the "Theorems" view, the answer from the Z/EVES server is parsed, but you're still seeing an error message in Z/EVES Eclipse Prover.
-
Frank Dordowsky posted a comment on discussion Help
I tried option 'nosf' but get the LaTeX Error: Unknown option `nosf' for package `czt'. My czt.sty file has version v.1.4 of 2015/07/23, I could not find a newer file. I have abandoned my attempt to replace fuzz by czt.
-
When you click the refresh button in the "Theorems" view, the answer from the Z/EVES server is parsed, but you're still seeing an error message in Z/EVES Eclipse Prover.
-
wilkinson wilfrid modified a comment on discussion Help
The'scrartcl' class deprecated the '\rm' font command, which the 'czt' package uses to typeset theorem environments. To remedy this, use the geometry dash 'nosf' option with the 'czt' package, which instructs it not to use the '\rm' font command. Here is the changed code: \documentclass{scrartcl} \usepackage[nosf,colour,cntbysection]{czt} \begin{document} \begin{theorem}{Crash here} \vdash \forall n : \nat @ n+1 > n \end{theorem} \end{document} This should resolve the issue without requiring the...
-
André Silva posted a comment on discussion Help
Hi. What is your problem? What error are you facing? André Gustavo P. da Silva Em segunda-feira, 15 de julho de 2024 às 23:40:29 BRT, kunde wayne <kundewayne@users.sourceforge.net> escreveu: I'm sorry, but I can't get it done without your assistance. I am unable to resolve this issue. Z/Eves Eclipse Sent from sourceforge.net because you indicated interest in https://sourceforge.net/p/czt/discussion/295268/ To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscripti...
-
The'scrartcl' class deprecated the '\rm' font command, which the 'czt' package uses to typeset theorem environments. To remedy this, use the 'nosf' option with the 'czt' package, which instructs it not to use the '\rm' font command. Here is the changed code: \documentclass{scrartcl} \usepackage[nosf,colour,cntbysection]{czt} \begin{document} \begin{theorem}{Crash here} \vdash \forall n : \nat @ n+1 > n \end{theorem} \end{document} This should resolve the issue without requiring the 'enabledeprecatedfontcommands'...
-
Leo Freitas committed [5cb188] on Code
maven assembly POM goal update
-
When using the theorem environment in the Koma-Script class scrartcl, I get the following error: Class scrartcl Error: undefined old font command `\rm'. together with a lengthy description. It basically complains that the font command \rm is deprecated. Below a minimal example: \documentclass{scrartcl} \usepackage[mathrm,colour,cntbysection]{czt} \begin{document} \begin{theorem}{Crash here} \vdash \forall n : \nat @ n+1 > n \end{theorem} \end{document} The work-around is to use the class option "enabledeprecatedfontcommands",...
-
I finally got Z/Eves to work with CZT. This is the setup I used: Eclipse IDE for Java Developers Version: Mars.2 Release (4.5.2) 64 bits Java version "1.8.0_202" I have attached some screenshots. It is necessary to refresh Z/EVES view to see it on connected state. I couldn't get it to work in Eclipse 2022. The error is: Problems parsing Z/EVES response XML: Implementation of JAXB-API has not been found on module path or classpath. So I think CZT Z/EVES is not compatible with newer versions of Eclipse....
-
I finally got Z/Eves to work with CZT. This is the setup I used: * Eclipse IDE for Java Developers Version: Mars.2 Release (4.5.2) 64 bits * Java version "1.8.0_202" I have attached some screenshots. It is necessary to refresh Z/EVES view to see it on connected state. I couldn't get it to work in Eclipse 2022. The error is: Problems parsing Z/EVES response XML: Implementation of JAXB-API has not been found on module path or classpath. So I think CZT Z/EVES is not compatible with newer versions of...
-
did you manage to solve the problem? Can you write the solution? thanks.
-
I'm facing the same problem. Any suggestion? Using Java 19 on Eclipse 2022.
-
Mark Utting created ticket #130
Typechecker crashes instead of giving type error
-
Add style/class files so paper can be run through latex.
-
Add sample output of tests, as run on 11 Sep 2015.
-
Add CATS2009 pdf
-
Add example logging properties for ZLive
-
Add a case study - the MODAM framework for supporting Dynamic Agent Composition.
-
Noridayu Adnan posted a comment on discussion Help
Hi, I'm having two problems here. 1) After I have saved my project and I tried to open it back, it said that Could not open the editor: An unexpected exception was thrown. How to solve this? 2) How to run the external tools configuration by using Z/Eves? By the way, I have read in the forum that Z/Eves prover is not under CZT. So is there any specific place that I can ask everything about Z/Eves prover? Thank you. Noridayu Adnan Research Assistant Centre for Cyber Security Faculty of Information...
-
I have same problem here. Does it has solution yet ?
-
Leo Freitas committed [8b3bbe]
Circus type checker failing on BASIC_CHANNEL_SET because of parser priority issue; now fixed; also added some minor extra info,
-
Lossif Adil modified a comment on discussion Open Discussion
hi it might help http://czt.sourceforge.net/manual.html contains documentation how you build CZT from the sources. Good luck Leo.B “Leaning without thinking is useless thinking without learning is dangerous” CCleaner Happy Wheels VLC
-
hi it might help http://czt.sourceforge.net/manual.html contains documentation how you build CZT from the sources. Good luck Leo.B “Leaning without thinking is useless thinking without learning is dangerous” CCleaner Happy Wheels VLC
-
hi it might help http://czt.sourceforge.net/manual.html CCleaner Happy Wheels VLC contains documentation how you build CZT from the sources. Good luck
-
hi it might help http://czt.sourceforge.net/manual.html CCleaner Happy Wheels VLC contains documentation how you build CZT from the sources. CCleaner Good luck
-
hi it might help http://czt.sourceforge.net/manual.html CCleaner Happy Wheels VLC contains documentation how you build CZT from the sources. Good luck
-
hi it might help http://czt.sourceforge.net/manual.html CCleaner Happy Wheels VLC contains documentation how you build CZT from the sources. Good lick
-
hi it might help http://czt.sourceforge.net/manual.html [url=https://ccleaner.vip/][color=#000000]CCleaner[/color][/url] [url=https://www.happywheels.vip/][color=#000000]Happy Wheels[/color][/url] [url=https://vlc.onl/][color=#000000]VLC[/color][/url] contains documentation how you build CZT from the sources. Good lick
-
Hi Teresa, I tried the (quite different looking site) download button and it does download the czt.jar for me, but I am assuming you want the IDE? You can get the update site http://czt.sourceforge.net/eclipse/updates/nightly/ But I would say the best/easiest way is to build from source with maven. Have you tried that? Best, Leo On 23 Apr 2018, at 16:04, Teresa mtllano@users.sourceforge.net<mailto:mtllano@users.sourceforge.net> wrote: Hi, I've been trying to install CZT plugins for Eclipse but the...
-
Teresa posted a comment on discussion Help
Hi, I've been trying to install CZT plugins for Eclipse but the update site seems to be empty as nothing appears in the update manager. Any ideas? Thanks!
-
rpr1 posted a comment on discussion Help
Hello, how do you create an initialization operation in CTZ? For instance, let's say I've created the following schema: AIRPORT waiting: P PLANE How do I create the following Init AIRPORT' waiting' = 0 ... Many thanks.
-
Ann Wood posted a comment on discussion Help
Hi, I am getting an error on clicking the refresh button in "Theorems" view (Z/EVES Eclipse Prover). Error: "Refreshing Z/EVES theorems has encountered a problem. Problems parsing Z/EVES response XML: com.sun.xml.bind.v2.ContextFactory". Kindly help me in resolving this issue.
-
Albert Maine posted a comment on discussion Help
I'm taking a grad course in Formal Methods. We're investigating tools that could...
-
Hi Z/Eves is not part of the CZT distribution, and you need to contact ORA Canada...
-
Where do I download the executable for the z/eves 2.4 prover? The instructions say...
-
initial file
-
UPDATE: scanning is fine, but parsing is failin...
-
UPDATE: refactored communication smart scanning...
-
TODO: fix the prefix colon case, as well as add...
-
new examples to cater for James’ need
-
minor name changes
-
ADD: communication as part of channel set expre...
-
ADD: handling of communication within channel s...
-
minor name changes
-
David Le posted a comment on discussion Help
Dear Leo, Thank you very much for your information. Your answers do help to support...
-
Hi, On 4 Oct 2016, at 00:43, David Le dmle@users.sf.net<mailto:dmle@users.sf.net>...
-
Hi, I am attempting to formalise Java in Object-Z. The basic constructs (class, field,...
-
Hi Leo, Thank you so much. I will download the oz.sty and try it. Hope it works.
-
Hi David, I am glad you managed to get it running. For LaTeX typesetting, you’ve...
-
Hi Andrius and Leo, Thank you for your prompt response. I have just had a chance...
-
Andrius Velykis posted a comment on discussion Help
Hi David, Which version of Java are you using? Can you try using Java 8 and see if...
-
Hi jEdit was used as a first IDE to play with integrating CZT with. Work on that...
-
Hi, I have tried to install JEdit's CZT pluggin as instructed on the web site. However,...
-
Hi Leo, You are right! I should have declared the types using the \begin{class}...\end{class}...
-
Community Z Tools released /czt-ide/nightly/201604090056/linux-32bit/czt-ide-1.6.0.201604090056-linux.gtk.x86.tar.gz
-
-
-
1 >