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