Issues

Select view

Select search mode

Bug
The version TK8.5 is in incompatible with the my v...
Unassigned
blah111b
Unresolved
Oct 19, 2020
Jan 29, 2021
Bug
I encountered a problem when trying to use ProB co...
Unassigned
blah111b
Unresolved
Dec 22, 2020
Dec 26, 2020
Bug
I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...
Unassigned
blah111b
Unresolved
Oct 31, 2020
Oct 31, 2020
Bug
Hi, I have ProB 1.9.2 installed on Windows 10 t...
Unassigned
blah111b
Unresolved
Apr 5, 2020
Apr 7, 2020
Improvement
Add reified versions of is_sequence and is_total_function, is_partial_function
Unassigned
Sebastian Krings
Major
Unresolved
Apr 6, 2016
Feb 3, 2020
Bug
Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine
Unassigned
Fabian Vu
Major
Unresolved
Nov 28, 2019
Dec 19, 2019
Bug
Library archives for ProB 2 do not include fuzz
Unassigned
dgelessus
Major
Unresolved
Nov 21, 2019
Nov 21, 2019
Task
Enable graph dot display fails for CAN_BUS_tlc
Unassigned
Michael Leuschel
Major
Unresolved
Jul 20, 2019
Jul 24, 2019
Bug
prob2_interface:extract_result/6 can produce incorrect error terms
Unassigned
Michelle Werth
Major
Unresolved
Apr 27, 2018
Apr 4, 2019
Improvement
Kodkod Bug with Card Operator
Unassigned
Michael Leuschel
Major
Unresolved
Apr 18, 2016
Sep 28, 2018
Improvement
Explanation of REUSE_OPERATION is not clear
Unassigned
Jens Bendisposto
Major
Unresolved
Jul 29, 2016
Sep 28, 2018
Bug
incorrect error reported for constant defined in machine with multiple instances
Unassigned
Vlad Gheorghe
Major
Unresolved
Oct 9, 2015
Sep 28, 2017
Task
Statically detect read of uninitialized variables
Unassigned
Michael Leuschel
Major
Unresolved
Sep 27, 2017
Sep 27, 2017
Bug
Top-level sanity check should detect when machines are included
Unassigned
Michael Leuschel
Major
Unresolved
Jun 27, 2017
Jun 27, 2017
Bug
Enabling Analysis: Different results for two equivalent B machines differentiating only in the sets of assigned constants
Unassigned
Ivaylo Dobrikov
Major
Unresolved
May 26, 2015
Jun 24, 2017
Bug
PROB: override in conjunction with function application cannot be dealt with symbolically
Unassigned
Michael Leuschel
Major
Unresolved
Dec 17, 2014
Jun 23, 2017
Task
Kodkod Bug with non-membership test
Unassigned
Michael Leuschel
Major
Unresolved
Jun 23, 2017
Jun 23, 2017
Bug
Missing Test Cases for freetypes
Unassigned
Daniel Plagge
Major
Unresolved
Jul 27, 2012
Jun 23, 2017
Improvement
#33 Operation names as enumerated value
Unassigned
Michael Leuschel
Minor
Unresolved
Apr 24, 2012
Jun 22, 2017
Improvement
#7 improve "non-deterministic choice #1, #2, #3" texts in the event view
Unassigned
Joy Clark
Major
Unresolved
Apr 24, 2012
Jun 22, 2017
Bug
Cannot use Formal machine parameters with multiple instantiation
Unassigned
Vlad Gheorghe
Critical
Unresolved
Oct 26, 2015
Jan 25, 2016
Task
Report a readable error message when executing TLC4B with an inappropriate java version.
Unassigned
Dominik Hansen
Trivial
Unresolved
Jul 31, 2015
Jul 31, 2015
New Feature
CTL formulae of the type "A(xUy)", "E(xWy)", and "A(xWy)" not supported yet
Unassigned
Ivaylo Dobrikov
Major
Unresolved
Jul 30, 2015
Jul 30, 2015
Bug
CTL Model Checking: Parser error for the CTL formula "E(xUy)"
Unassigned
Ivaylo Dobrikov
Major
Unresolved
Jul 30, 2015
Jul 30, 2015
Bug
CTL parser does not provide support for using transition propositions [...] within CTL formulae
Unassigned
Ivaylo Dobrikov
Minor
Unresolved
Jul 28, 2015
Jul 28, 2015
Improvement
ProB does allow two operation calls to same machine
Unassigned
Michael Leuschel
Major
Unresolved
Jun 29, 2015
Jun 29, 2015
Improvement
PROB - LTL model checker for safety properties takes surprisingly long time
Unassigned
Michael Leuschel
Major
Unresolved
Jan 19, 2013
Apr 21, 2015
Bug
Trace refinement check for CSP || B doesn't work as expected
Unassigned
Kangfeng Ye
Major
Unresolved
Jan 20, 2015
Jan 23, 2015
Bug
Execute Until is slow
Unassigned
Joy Clark
Major
Unresolved
Dec 8, 2014
Dec 8, 2014
Bug
LOCAL_OPERATIONS calls not allowed
Unassigned
Michael Leuschel
Major
Unresolved
Nov 15, 2014
Nov 15, 2014
Bug
Kodkod predicate analysis seems to take very long for this example
Unassigned
Michael Leuschel
Major
Unresolved
Jul 20, 2014
Jul 20, 2014
Bug
Recursive datatype defined in Z causes ProB to crash
Unassigned
Richard Ashworth
Major
Unresolved
Jun 29, 2014
Jul 14, 2014
New Feature
-eval -eval_file should have a switch to change output format
Unassigned
Jens Bendisposto
Major
Unresolved
Jul 14, 2014
Jul 14, 2014
Improvement
Allow changing the fontsize in the eval view
Unassigned
Jens Bendisposto
Major
Unresolved
Jun 2, 2014
Jun 2, 2014
Bug
#859 Allow operation return variables to be typed in PREcondition
Unassigned
Michael Leuschel
Major
Unresolved
Apr 24, 2012
May 22, 2014
Bug
PROB - Kodkod does not support seq(.), size(.)
Unassigned
Michael Leuschel
Major
Unresolved
Jan 4, 2013
Feb 4, 2014
Bug
Operations with Parameters but without Pre-Conditions should trigger Warning / Error
Unassigned
Sebastian Krings
Major
Unresolved
May 13, 2013
Aug 27, 2013
Improvement
Cannot use deferred set elements in LTL formulas
Unassigned
Philipp Koerner
Minor
Unresolved
Apr 24, 2012
Jun 24, 2013
Bug
Operation names in internal representation can clash
Unassigned
Michael Leuschel
Trivial
Unresolved
Apr 19, 2013
Apr 19, 2013
Bug
Check whether a seen machine in a refinement is also seen by the abstract machine
Unassigned
Daniel Plagge
Minor
Unresolved
Mar 14, 2013
Mar 14, 2013
Bug
Check if a refined machine does not contain a USES clause
Unassigned
Daniel Plagge
Minor
Unresolved
Mar 14, 2013
Mar 14, 2013
New Feature
Supporting Revival Refinement ([V= and [VD=) for CSP-M
Unassigned
Ivaylo Dobrikov
Major
Unresolved
Feb 13, 2013
Feb 13, 2013
Bug
name clash / missing renaming of imported operations
Unassigned
Sebastian Krings
Major
Unresolved
Dec 12, 2012
Dec 12, 2012
New Feature
Supporting Lazy Evaluation in CSP
Unassigned
Ivaylo Dobrikov
Major
Unresolved
Nov 9, 2012
Nov 9, 2012
Improvement
PROB Kodkod : does not always use information derived from ProB in deterministic mode
Unassigned
Michael Leuschel
Major
Unresolved
Oct 31, 2012
Nov 8, 2012
Bug
PROB: Using substitutions in logic calc
Unassigned
Michael Leuschel
Major
Unresolved
Sep 21, 2012
Oct 23, 2012
Bug
:t does not work in PLC
Unassigned
Jens Bendisposto
Major
Unresolved
Oct 1, 2012
Oct 1, 2012
Improvement
#605 Filtering in Evaluation View
Unassigned
Michael Leuschel
Minor
Unresolved
Apr 24, 2012
Apr 30, 2012
Improvement
#8 Create a filter for columns in the history view
Unassigned
Philipp Koerner
Major
Unresolved
Apr 24, 2012
Apr 27, 2012
Improvement
#161 Add UI elements to choose which Z schemas are operations etc
Unassigned
Daniel Plagge
Major
Unresolved
Apr 24, 2012
Apr 25, 2012
1-50 of 52