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