Search results

Improve SimB Stage

ProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UI

simb

Status: Open.

#392 In hhu-stups/prob-issues;

· favu100 opened on Oct 28, 2025

Run TLC on original TLA+ file

enhancementNew feature or requestNew feature or request

TLA2BTLA to B TranslationTLA to B Translation

TLC4B

Status: Open.

#390 In hhu-stups/prob-issues;

· leuschel opened on Aug 2, 2025

Running TLC model-check with multiple different B machines breaks after the 4th

prob2_kernelIssue related to ProB2 Java API kernelIssue related to ProB2 Java API kernel

TLC4B

Status: Open.

Bug

#389 In hhu-stups/prob-issues;

· iTitus opened on Jul 11, 2025

Loading machine from AST does not work with referenced definition files

bugSomething isn't workingSomething isn't working

prob2_kernelIssue related to ProB2 Java API kernelIssue related to ProB2 Java API kernel

prob_parsersRelated to the B or LTL/CTL parsers of ProBRelated to the B or LTL/CTL parsers of ProB

Status: Open.

#387 In hhu-stups/prob-issues;

· cobizobi opened on Jun 15, 2025

Make save and load statespace commands available in ProB2-UI

enhancementNew feature or requestNew feature or request

ProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UI

Status: Open.

#385 In hhu-stups/prob-issues;

· leuschel opened on May 21, 2025

Assign default id for validation tasks

ProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UI

vo-manager

Status: Open.

#384 In hhu-stups/prob-issues;

· favu100 opened on Apr 11, 2025

Execute by Predicate Parameter Values are Evaluated in After-State

enhancementNew feature or requestNew feature or request

ProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UI

Status: Open.

#382 In hhu-stups/prob-issues;

· leuschel opened on Apr 3, 2025

Loading machine with missing initialisation works

bugSomething isn't workingSomething isn't working

prob2_kernelIssue related to ProB2 Java API kernelIssue related to ProB2 Java API kernel

prob_prologIssue related to ProB's Prolog kernelIssue related to ProB's Prolog kernel

Status: Open.

#381 In hhu-stups/prob-issues;

· pkoerner opened on Mar 25, 2025

FindStateCommand ignores constants

bugSomething isn't workingSomething isn't working

prob_prologIssue related to ProB's Prolog kernelIssue related to ProB's Prolog kernel

Status: Open.

Bug

#380 In hhu-stups/prob-issues;

· pkoerner opened on Mar 25, 2025

Incorrect translations in TLA2B

bugSomething isn't workingSomething isn't working

TLA2BTLA to B TranslationTLA to B Translation

Status: Open.

#379 In hhu-stups/prob-issues;

· cobizobi opened on Jan 17, 2025

ProB2-UI using wrong formula type for TLA model while animating

bugSomething isn't workingSomething isn't working

prob2_kernelIssue related to ProB2 Java API kernelIssue related to ProB2 Java API kernel

ProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UI

TLA2BTLA to B TranslationTLA to B Translation

Status: Open.

#373 In hhu-stups/prob-issues;

· cobizobi opened on Oct 29, 2024

TLA2B: Recursive definitions not supported (in Zookeeper model)

bugSomething isn't workingSomething isn't working

TLA2BTLA to B TranslationTLA to B Translation

Status: Open.

#367 In hhu-stups/prob-issues;

· leuschel opened on Sep 27, 2024