Activity for Community Z Tools

Leo Freitas committed [c95763] on Code

Leo Freitas — Mon, 25 Nov 2024 15:42:19 -0000

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

Leo Freitas — Fri, 22 Nov 2024 14:34:20 -0000

1,8 mac env

kunde wayne modified a comment on discussion Help

kunde wayne — Mon, 22 Jul 2024 01:46:07 -0000

@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

Frank Dordowsky — Sun, 21 Jul 2024 19:56:59 -0000

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.

kunde wayne posted a comment on discussion Help

kunde wayne — Wed, 17 Jul 2024 02:17:35 -0000

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.

André Silva posted a comment on discussion Help

André Silva — Tue, 16 Jul 2024 13:12:52 -0000

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 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...

Leo Freitas committed [5cb188] on Code

Leo Freitas — Fri, 16 Feb 2024 11:10:53 -0000

maven assembly POM goal update

Frank Dordowsky posted a comment on discussion Help

Frank Dordowsky — Fri, 27 Jan 2023 22:09:30 -0000

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",...

André Silva modified a comment on discussion Help

André Silva — Fri, 09 Dec 2022 03:18:03 -0000

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....

André Silva posted a comment on discussion Help

André Silva — Fri, 09 Dec 2022 03:15:21 -0000

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...

André Silva posted a comment on discussion Help

André Silva — Wed, 23 Nov 2022 02:44:00 -0000

did you manage to solve the problem? Can you write the solution? thanks.

André Silva posted a comment on discussion Help

André Silva — Wed, 23 Nov 2022 02:41:24 -0000

I'm facing the same problem. Any suggestion? Using Java 19 on Eclipse 2022.

Mark Utting created ticket #130

Mark Utting — Tue, 02 Jun 2020 04:44:35 -0000

Typechecker crashes instead of giving type error

Mark Utting committed [d72340]

Mark Utting — Tue, 13 Aug 2019 00:29:20 -0000

Add style/class files so paper can be run through latex.

Mark Utting committed [97d517]

Mark Utting — Tue, 13 Aug 2019 00:25:45 -0000

Add sample output of tests, as run on 11 Sep 2015.

Mark Utting committed [b3b920]

Mark Utting — Tue, 13 Aug 2019 00:22:23 -0000

Add CATS2009 pdf

Mark Utting committed [75dfd3]

Mark Utting — Tue, 13 Aug 2019 00:22:23 -0000

Add example logging properties for ZLive

Mark Utting committed [663cc9]

Mark Utting — Tue, 13 Aug 2019 00:22:23 -0000

Add a case study - the MODAM framework for supporting Dynamic Agent Composition.

Noridayu Adnan posted a comment on discussion Help

Noridayu Adnan — Fri, 22 Mar 2019 03:16:55 -0000

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...

Noridayu Adnan posted a comment on discussion Help

Noridayu Adnan — Fri, 22 Mar 2019 02:34:01 -0000

I have same problem here. Does it has solution yet ?

Leo Freitas committed [8b3bbe]

Leo Freitas — Wed, 13 Feb 2019 13:44:20 -0000

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

Lossif Adil — Fri, 31 Aug 2018 22:28:17 -0000

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

Lossif Adil modified a comment on discussion Open Discussion

Lossif Adil — Fri, 31 Aug 2018 22:27:37 -0000

Lossif Adil modified a comment on discussion Open Discussion

Lossif Adil — Tue, 21 Aug 2018 15:06:43 -0000

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

Lossif Adil modified a comment on discussion Open Discussion

Lossif Adil — Tue, 21 Aug 2018 15:05:41 -0000

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

Lossif Adil modified a comment on discussion Open Discussion

Lossif Adil — Sat, 18 Aug 2018 19:43:28 -0000

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

Lossif Adil modified a comment on discussion Open Discussion

Lossif Adil — Sat, 18 Aug 2018 19:42:59 -0000

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

Lossif Adil posted a comment on discussion Open Discussion

Lossif Adil — Sat, 18 Aug 2018 19:40:27 -0000

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

Leo Freitas posted a comment on discussion Help

Leo Freitas — Tue, 24 Apr 2018 09:01:19 -0000

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 wrote: Hi, I've been trying to install CZT plugins for Eclipse but the...

Teresa posted a comment on discussion Help

Teresa — Mon, 23 Apr 2018 15:04:51 -0000

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

rpr1 — Sun, 28 Jan 2018 08:11:49 -0000

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

Ann Wood — Tue, 31 Oct 2017 21:57:56 -0000

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

Albert Maine — Mon, 23 Jan 2017 14:28:38 -0000

I'm taking a grad course in Formal Methods. We're investigating tools that could...

Leo Freitas posted a comment on discussion Help

Leo Freitas — Mon, 23 Jan 2017 10:40:46 -0000

Hi Z/Eves is not part of the CZT distribution, and you need to contact ORA Canada...

Albert Maine posted a comment on discussion Help

Albert Maine — Mon, 23 Jan 2017 04:39:45 -0000

Where do I download the executable for the z/eves 2.4 prover? The instructions say...

Leo Freitas committed [4fb246]

Leo Freitas — Thu, 08 Dec 2016 14:09:58 -0000

initial file

Leo Freitas committed [2b2200]

Leo Freitas — Thu, 08 Dec 2016 14:09:58 -0000

UPDATE: scanning is fine, but parsing is failin...

Leo Freitas committed [238322]

Leo Freitas — Thu, 08 Dec 2016 14:09:58 -0000

UPDATE: refactored communication smart scanning...

Leo Freitas committed [9bc202]

Leo Freitas — Wed, 07 Dec 2016 16:53:45 -0000

TODO: fix the prefix colon case, as well as add...

Leo Freitas committed [2c0c2f]