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