Issues
 | Black Screen | Unassigned | Dhanush Sivasamy |  | Unresolved | Nov 13, 2021 | Nov 13, 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 | |||||
| The version TK8.5 is in incompatible with the my v... | Unassigned | blah111b | Unresolved | Oct 19, 2020 | Jan 29, 2021 | |||||
| Hi, I have ProB 1.9.2 installed on Windows 10 t... | Unassigned | blah111b | Unresolved | Apr 5, 2020 | Apr 7, 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 | ||||
| As we know, Points = {s1,s2,s3} equal Poi... | Unassigned | blah111b | Done | Aug 13, 2018 | Sep 27, 2018 | |||||
| B machine not precompiled for b_get_machine_const... | Unassigned | blah111b | Cannot Reproduce | Aug 6, 2018 | Oct 7, 2019 | |||||
| prob2_interface:extract_result/6 can produce incorrect error terms | Unassigned | Michelle Werth | | Unresolved | Apr 27, 2018 | Apr 4, 2019 | ||||
| Statically detect read of uninitialized variables | Unassigned | Michael Leuschel | | Unresolved | Sep 27, 2017 | Sep 27, 2017 | ||||
| probcli built for macOS 10.12, crashes on OS X 10.11 | Unassigned | dgelessus | | Fixed | Sep 20, 2017 | Oct 5, 2017 | ||||
| Top-level sanity check should detect when machines are included | Unassigned | Michael Leuschel | | Unresolved | Jun 27, 2017 | Jun 27, 2017 | ||||
| Kodkod Bug with non-membership test | Unassigned | Michael Leuschel | | Unresolved | Jun 23, 2017 | Jun 23, 2017 | ||||
| Evaluating INT results in a well-definedness error | Unassigned | dgelessus | | Cannot Reproduce | May 3, 2017 | Sep 27, 2017 | ||||
 | Explanation of REUSE_OPERATION is not clear | Unassigned | Jens Bendisposto | | Unresolved | Jul 29, 2016 | Sep 28, 2018 | ||||
| Wrong location in error message | Unassigned | Dominik Hansen | | Fixed | Apr 18, 2016 | Apr 29, 2016 | ||||
| Kodkod Bug with Card Operator | Unassigned | Michael Leuschel | | Unresolved | Apr 18, 2016 | Sep 28, 2018 | ||||
| Add reified versions of is_sequence and is_total_function, is_partial_function | Unassigned | Sebastian Krings | | Unresolved | Apr 6, 2016 | Feb 3, 2020 | ||||
| Too verbose error message | Unassigned | Dominik Hansen |  | Fixed | Mar 31, 2016 | Sep 27, 2017 | ||||
| Heap Space Error with Parser on Windows for Test 810 | Unassigned | Michael Leuschel | | Fixed | Mar 17, 2016 | Jun 23, 2017 | ||||
| constraint solving or >-> version of n-queens slow | Unassigned | Michael Leuschel | | Won't Fix | Mar 4, 2016 | Apr 18, 2016 | ||||
| Cannot use Formal machine parameters with multiple instantiation | Unassigned | Vlad Gheorghe |  | Unresolved | Oct 26, 2015 | Jan 25, 2016 | ||||
| released version 1.5.0 not available in JIRA | Unassigned | Vlad Gheorghe |  | Fixed | Oct 22, 2015 | Oct 22, 2015 | ||||
| error dialog does not display the file path of the error location | Unassigned | Vlad Gheorghe | | Cannot Reproduce | Oct 22, 2015 | Oct 24, 2015 | ||||
| incorrect error reported for constant defined in machine with multiple instances | Unassigned | Vlad Gheorghe | | Unresolved | Oct 9, 2015 | Sep 28, 2017 | ||||
| Kodkod translation fails | Unassigned | Michael Leuschel | | Fixed | Aug 19, 2015 | Oct 5, 2015 | ||||
 | Kodkod process does not support a Timeout | Unassigned | Michael Leuschel | | Fixed | Aug 14, 2015 | Aug 17, 2015 | ||||
| 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 Model Checking (non-informative counterexamples) | Unassigned | Ivaylo Dobrikov | | Incomplete | Jul 29, 2015 | Jul 29, 2015 | ||||
| missing argument in static_analysis.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 28, 2015 | ||||
| missing import of add_error_fail/3 in ast_cleanup_for_smt.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Aug 3, 2015 | ||||
| missing dynamic declaration in b_machine_hierarchy.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 29, 2015 | ||||
| wrong arity call in ltl_fairness.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 28, 2015 | ||||
| missing import in state_space_open_nodes_c | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Aug 10, 2015 | ||||
| misspelled predicate in model_translation.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Aug 3, 2015 | ||||
| CTL parser does not provide support for using transition propositions [...] within CTL formulae | Unassigned | Ivaylo Dobrikov | | Unresolved | Jul 28, 2015 | Jul 28, 2015 | ||||
| missing import in pge_algo.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 28, 2015 | ||||
| missing import in ltl_tools | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Aug 10, 2015 | ||||
| custom_expilicit_sets calls custom_explicit_set/1 which does not exist | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 29, 2015 | ||||
| state_space asserts and retracts dynamic predicates from other module | Unassigned | Jens Bendisposto | | Won't Fix | Jul 28, 2015 | Jul 28, 2015 | ||||
| Missing predicate foldl/3 in ztransformations | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Aug 14, 2015 | ||||
| Call to non-existing add_error_fail/4 in pref_definitions.pl | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 29, 2015 | ||||
| Missing predicate translate_enable_res/6 | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 28, 2015 | ||||
| Missing argument in call | Unassigned | Jens Bendisposto | | Fixed | Jul 28, 2015 | Jul 28, 2015 | ||||
| Duplicate field names in records should not be permitted | Unassigned | Dominik Hansen | | Fixed | Jul 24, 2015 | Jul 29, 2015 | ||||
| translate.pl calls wrong predicate | Unassigned | Jens Bendisposto | | Fixed | Jul 23, 2015 | Jul 30, 2015 |
1-50 of 264