Recent changes to support-requests

#42 Atomicity Decomposition Plug-in Install failed

Guillaume Verdier — Fri, 06 Sep 2024 08:59:17 -0000

status: open --> closed

#42 Atomicity Decomposition Plug-in Install failed

chen sheng bin — Thu, 13 Jun 2024 12:59:24 -0000

This is my display interface.

Atomicity Decomposition Plug-in Install failed

chen sheng bin — Thu, 13 Jun 2024 12:54:30 -0000

Following the steps provided on the website https://wiki.event-b.org/index.php/Atomicity_Decomposition_Plug-in_User_Guide, the "flow diagram" button cannot be found in the step “Creating Flow Diagrams
Then a flow can be created:
1. Either for an Event-B machine, when right-clicking on the machine. ”

Atomicity Decomposition Plug-in Install failed

chen sheng bin — Thu, 13 Jun 2024 12:54:30 -0000

Ticket 42 has been modified: Atomicity Decomposition Plug-in Install failed
Edited By: Guillaume Verdier (gverdier)
Status updated: 'open' => 'closed'

#41 ERROR INSTALLING PRO B

Michael Leuschel — Thu, 09 Nov 2023 16:06:17 -0000

Maybe you can also try and install our new nightly build first; we have extended the error log output.
Nightly builds of ProB for Rodin 3 can be obtained from within Rodin by using the update site https://stups.hhu-hosting.de/rodin/prob1/nightly.

#41 ERROR INSTALLING PRO B

Michael Leuschel — Thu, 09 Nov 2023 13:10:15 -0000

It would also be interesting to know which version of Rodin and which version of the ProB for Rodin plugin you used. I guess you are running Rodin on Windows?

#41 ERROR INSTALLING PRO B

Laurent Voisin — Thu, 09 Nov 2023 11:20:47 -0000

Yes, it seems that the connection with the ProB server does not work.

Could you please attach the log of the Rodin platform (available from About Rodin platform > Installation details > Configuration tab > View error log ?

ERROR INSTALLING PRO B

Santiago Grande Arango — Wed, 08 Nov 2023 21:23:54 -0000

Hello,
I'm installing Rodin for first time and I'm having some issues when installing Pro B Provers.
After installing and relaunching the app, an error message appears:

"Some external prover does not happen to work. Please consult the Rodin platform release notes for further information.
reason: some tactic failed to prove"

Hope you can help me.

Integer Overflow with Rodin

parvin — Sat, 29 Oct 2022 17:09:22 -0000

Dear Team

Can you please help me with the following questions:
1. Can I use EventB with Rodin platform to verify (find) integer overflow using its plugin SMT solver?
2. How to express integer overflow in EventB? with guided example so that to find it with SMT solver as extention to Rodin

Thank you very much in advance. Any help will be much appreciated.

With the best wishes
Parvin

#39 Error on launch

Guillaume Verdier — Tue, 19 Oct 2021 12:25:49 -0000

Hello,

According to your log file, you have installed the latest version of Java 8 (java.version=1.8.0_241).
Rodin 3.6 is based on Eclipse 4.18 (2020-12) which requires at least Java 11.
There are now multiple organisations providing JREs. For example, you can get installers from the Eclipse Foundation here: https://adoptium.net/releases.html?variant=openjdk11&jvmVariant=hotspot