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