Issues

Select view

Select search mode

Bug
I encountered a problem when trying to use ProB co...
Unassigned
blah111b
Unresolved
Dec 22, 2020
Dec 26, 2020
Bug
I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...
Unassigned
blah111b
Unresolved
Oct 31, 2020
Oct 31, 2020
Bug
The version TK8.5 is in incompatible with the my v...
Unassigned
blah111b
Unresolved
Oct 19, 2020
Jan 29, 2021
Bug
Hi, I have ProB 1.9.2 installed on Windows 10 t...
Unassigned
blah111b
Unresolved
Apr 5, 2020
Apr 7, 2020
Bug
Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine
Unassigned
Fabian Vu
Major
Unresolved
Nov 28, 2019
Dec 19, 2019
Bug
Library archives for ProB 2 do not include fuzz
Unassigned
dgelessus
Major
Unresolved
Nov 21, 2019
Nov 21, 2019
Task
Enable graph dot display fails for CAN_BUS_tlc
Unassigned
Michael Leuschel
Major
Unresolved
Jul 20, 2019
Jul 24, 2019
Bug
As we know, Points = {s1,s2,s3} equal Poi...
Unassigned
blah111b
Done
Aug 13, 2018
Sep 27, 2018
Bug
B machine not precompiled for b_get_machine_const...
Unassigned
blah111b
Cannot Reproduce
Aug 6, 2018
Oct 7, 2019
Bug
prob2_interface:extract_result/6 can produce incorrect error terms
Unassigned
Michelle Werth
Major
Unresolved
Apr 27, 2018
Apr 4, 2019
Task
Statically detect read of uninitialized variables
Unassigned
Michael Leuschel
Major
Unresolved
Sep 27, 2017
Sep 27, 2017
Bug
probcli built for macOS 10.12, crashes on OS X 10.11
Unassigned
dgelessus
Major
Fixed
Sep 20, 2017
Oct 5, 2017
Bug
Top-level sanity check should detect when machines are included
Unassigned
Michael Leuschel
Major
Unresolved
Jun 27, 2017
Jun 27, 2017
Task
Kodkod Bug with non-membership test
Unassigned
Michael Leuschel
Major
Unresolved
Jun 23, 2017
Jun 23, 2017
Bug
Evaluating INT results in a well-definedness error
Unassigned
dgelessus
Major
Cannot Reproduce
May 3, 2017
Sep 27, 2017
Improvement
Explanation of REUSE_OPERATION is not clear
Unassigned
Jens Bendisposto
Major
Unresolved
Jul 29, 2016
Sep 28, 2018
Improvement
Wrong location in error message
Unassigned
Dominik Hansen
Major
Fixed
Apr 18, 2016
Apr 29, 2016
Improvement
Kodkod Bug with Card Operator
Unassigned
Michael Leuschel
Major
Unresolved
Apr 18, 2016
Sep 28, 2018
Improvement
Add reified versions of is_sequence and is_total_function, is_partial_function
Unassigned
Sebastian Krings
Major
Unresolved
Apr 6, 2016
Feb 3, 2020
Improvement
Too verbose error message
Unassigned
Dominik Hansen
Trivial
Fixed
Mar 31, 2016
Sep 27, 2017
Improvement
Heap Space Error with Parser on Windows for Test 810
Unassigned
Michael Leuschel
Major
Fixed
Mar 17, 2016
Jun 23, 2017
Bug
constraint solving or >-> version of n-queens slow
Unassigned
Michael Leuschel
Major
Won't Fix
Mar 4, 2016
Apr 18, 2016
Bug
Cannot use Formal machine parameters with multiple instantiation
Unassigned
Vlad Gheorghe
Critical
Unresolved
Oct 26, 2015
Jan 25, 2016
Bug
released version 1.5.0 not available in JIRA
Unassigned
Vlad Gheorghe
Minor
Fixed
Oct 22, 2015
Oct 22, 2015
Bug
error dialog does not display the file path of the error location
Unassigned
Vlad Gheorghe
Major
Cannot Reproduce
Oct 22, 2015
Oct 24, 2015
Bug
incorrect error reported for constant defined in machine with multiple instances
Unassigned
Vlad Gheorghe
Major
Unresolved
Oct 9, 2015
Sep 28, 2017
Bug
Kodkod translation fails
Unassigned
Michael Leuschel
Major
Fixed
Aug 19, 2015
Oct 5, 2015
New Feature
Kodkod process does not support a Timeout
Unassigned
Michael Leuschel
Major
Fixed
Aug 14, 2015
Aug 17, 2015
Task
Report a readable error message when executing TLC4B with an inappropriate java version.
Unassigned
Dominik Hansen
Trivial
Unresolved
Jul 31, 2015
Jul 31, 2015
New Feature
CTL formulae of the type "A(xUy)", "E(xWy)", and "A(xWy)" not supported yet
Unassigned
Ivaylo Dobrikov
Major
Unresolved
Jul 30, 2015
Jul 30, 2015
Bug
CTL Model Checking: Parser error for the CTL formula "E(xUy)"
Unassigned
Ivaylo Dobrikov
Major
Unresolved
Jul 30, 2015
Jul 30, 2015
Bug
CTL Model Checking (non-informative counterexamples)
Unassigned
Ivaylo Dobrikov
Minor
Incomplete
Jul 29, 2015
Jul 29, 2015
Bug
missing argument in static_analysis.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Jul 28, 2015
Bug
missing import of add_error_fail/3 in ast_cleanup_for_smt.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 3, 2015
Bug
missing dynamic declaration in b_machine_hierarchy.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Jul 29, 2015
Bug
wrong arity call in ltl_fairness.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Jul 28, 2015
Bug
missing import in state_space_open_nodes_c
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 10, 2015
Bug
misspelled predicate in model_translation.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 3, 2015
Bug
CTL parser does not provide support for using transition propositions [...] within CTL formulae
Unassigned
Ivaylo Dobrikov
Minor
Unresolved
Jul 28, 2015
Jul 28, 2015
Bug
missing import in pge_algo.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Jul 28, 2015
Bug
missing import in ltl_tools
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 10, 2015
Bug
custom_expilicit_sets calls custom_explicit_set/1 which does not exist
Unassigned
Jens Bendisposto
Major
Fixed
Jul 28, 2015
Jul 29, 2015
Bug
state_space asserts and retracts dynamic predicates from other module
Unassigned
Jens Bendisposto
Minor
Won't Fix
Jul 28, 2015
Jul 28, 2015
Bug
Missing predicate foldl/3 in ztransformations
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 14, 2015
Bug
Call to non-existing add_error_fail/4 in pref_definitions.pl
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Jul 29, 2015
Bug
Missing predicate translate_enable_res/6
Unassigned
Jens Bendisposto
Minor
Fixed
Jul 28, 2015
Jul 28, 2015
Bug
Missing argument in call
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Jul 28, 2015
Bug
Duplicate field names in records should not be permitted
Unassigned
Dominik Hansen
Minor
Fixed
Jul 24, 2015
Jul 29, 2015
Bug
translate.pl calls wrong predicate
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 23, 2015
Jul 30, 2015
Bug
Operation enabling condition ignores operation calls
Unassigned
Michael Leuschel
Major
Fixed
Jun 29, 2015
Jun 27, 2017
1-50 of 263