-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[Question] RailML visualization using ProB2-UI
questionFurther information is requestedFurther information is requestedStatus: Open.#406 In hhu-stups/prob-issues;Implement predicate in SimB activation
enhancementNew feature or requestNew feature or requestProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.Improve/Refactor probabilities in SimB activation diagram
enhancementNew feature or requestNew feature or requestProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.Implement listener on predicates
enhancementNew feature or requestNew feature or requestProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.Implement a feature to transform a trace into a timed trace and vice versa
enhancementNew feature or requestNew feature or requestProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.Implement Statistics over one/multiple traces
enhancementNew feature or requestNew feature or requestProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.Pro B tool
cannot reproduceThis bug cannot be reproducedThis bug cannot be reproducedStatus: Open.#393 In hhu-stups/prob-issues;Improve SimB Stage
ProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.#392 In hhu-stups/prob-issues;Run TLC on original TLA+ file
enhancementNew feature or requestNew feature or requestTLA2BTLA to B TranslationTLA to B TranslationStatus: Open.#390 In hhu-stups/prob-issues;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 kernelStatus: Open.Loading machine from AST does not work with referenced definition files
bugSomething isn't workingSomething isn't workingprob2_kernelIssue related to ProB2 Java API kernelIssue related to ProB2 Java API kernelprob_parsersRelated to the B or LTL/CTL parsers of ProBRelated to the B or LTL/CTL parsers of ProBStatus: Open.#387 In hhu-stups/prob-issues;Make save and load statespace commands available in ProB2-UI
enhancementNew feature or requestNew feature or requestProB2UIIssue related to JavaFX ProB2UIIssue related to JavaFX ProB2UIStatus: Open.#385 In hhu-stups/prob-issues;