Issues

Select view

Select search mode

Bug
The version TK8.5 is in incompatible with the my v...
Unassigned
blah111b
Unresolved
Oct 19, 2020
Jan 29, 2021
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
Hi, I have ProB 1.9.2 installed on Windows 10 t...
Unassigned
blah111b
Unresolved
Apr 5, 2020
Apr 7, 2020
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
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
Bug
B machine not precompiled for b_get_machine_const...
Unassigned
blah111b
Cannot Reproduce
Aug 6, 2018
Oct 7, 2019
Task
Enable graph dot display fails for CAN_BUS_tlc
Unassigned
Michael Leuschel
Major
Unresolved
Jul 20, 2019
Jul 24, 2019
Bug
prob2_interface:extract_result/6 can produce incorrect error terms
Unassigned
Michelle Werth
Major
Unresolved
Apr 27, 2018
Apr 4, 2019
Improvement
Kodkod Bug with Card Operator
Unassigned
Michael Leuschel
Major
Unresolved
Apr 18, 2016
Sep 28, 2018
Improvement
Explanation of REUSE_OPERATION is not clear
Unassigned
Jens Bendisposto
Major
Unresolved
Jul 29, 2016
Sep 28, 2018
Bug
As we know, Points = {s1,s2,s3} equal Poi...
Unassigned
blah111b
Done
Aug 13, 2018
Sep 27, 2018
New Feature
ProB: store and replay ProB Traces in human readable and editable B format
Unassigned
Michael Leuschel
Major
Fixed
Apr 5, 2013
Sep 27, 2018
Improvement
"Predicate is TRUE" is misleading
Unassigned
Daniel Plagge
Minor
Won't Fix
Oct 1, 2012
Sep 27, 2018
Bug
probcli built for macOS 10.12, crashes on OS X 10.11
Unassigned
dgelessus
Major
Fixed
Sep 20, 2017
Oct 5, 2017
Bug
incorrect error reported for constant defined in machine with multiple instances
Unassigned
Vlad Gheorghe
Major
Unresolved
Oct 9, 2015
Sep 28, 2017
Bug
Evaluating INT results in a well-definedness error
Unassigned
dgelessus
Major
Cannot Reproduce
May 3, 2017
Sep 27, 2017
Bug
replace_id_by_expr/4 does not respect name clashes with quantified variables
Unassigned
Daniel Plagge
Major
Fixed
Sep 4, 2014
Sep 27, 2017
Improvement
Too verbose error message
Unassigned
Dominik Hansen
Trivial
Fixed
Mar 31, 2016
Sep 27, 2017
Task
Statically detect read of uninitialized variables
Unassigned
Michael Leuschel
Major
Unresolved
Sep 27, 2017
Sep 27, 2017
Bug
PROB Hash Symmetry Slow for TLA Login example
Unassigned
Michael Leuschel
Major
Fixed
Aug 29, 2012
Sep 27, 2017
Bug
Operation enabling condition ignores operation calls
Unassigned
Michael Leuschel
Major
Fixed
Jun 29, 2015
Jun 27, 2017
Bug
In ProZ invalid used_ids info is generated for test 568
Unassigned
Michael Leuschel
Major
Fixed
Jul 9, 2014
Jun 27, 2017
Bug
Top-level sanity check should detect when machines are included
Unassigned
Michael Leuschel
Major
Unresolved
Jun 27, 2017
Jun 27, 2017
Bug
PROB: Some constraints solving benchmarks run slower with SICS 4.3
Unassigned
Michael Leuschel
Major
Won't Fix
Aug 28, 2014
Jun 25, 2017
Bug
Enabling Analysis: Different results for two equivalent B machines differentiating only in the sets of assigned constants
Unassigned
Ivaylo Dobrikov
Major
Unresolved
May 26, 2015
Jun 24, 2017
Improvement
Heap Space Error with Parser on Windows for Test 810
Unassigned
Michael Leuschel
Major
Fixed
Mar 17, 2016
Jun 23, 2017
Improvement
#3184 Warning for identifier clashes in definitions
Unassigned
Daniel Plagge
Minor
Fixed
Apr 24, 2012
Jun 23, 2017
Bug
PROB: override in conjunction with function application cannot be dealt with symbolically
Unassigned
Michael Leuschel
Major
Unresolved
Dec 17, 2014
Jun 23, 2017
Task
Kodkod Bug with non-membership test
Unassigned
Michael Leuschel
Major
Unresolved
Jun 23, 2017
Jun 23, 2017
Bug
Missing Test Cases for freetypes
Unassigned
Daniel Plagge
Major
Unresolved
Jul 27, 2012
Jun 23, 2017
Improvement
#33 Operation names as enumerated value
Unassigned
Michael Leuschel
Minor
Unresolved
Apr 24, 2012
Jun 22, 2017
Improvement
#7 improve "non-deterministic choice #1, #2, #3" texts in the event view
Unassigned
Joy Clark
Major
Unresolved
Apr 24, 2012
Jun 22, 2017
Improvement
report infinite sets
Unassigned
alexei iliasov
Minor
Fixed
Nov 9, 2013
Aug 4, 2016
Improvement
Wrong location in error message
Unassigned
Dominik Hansen
Major
Fixed
Apr 18, 2016
Apr 29, 2016
Bug
constraint solving or >-> version of n-queens slow
Unassigned
Michael Leuschel
Major
Won't Fix
Mar 4, 2016
Apr 18, 2016
Bug
When generating new identifiers, an occurs check should be done
Unassigned
Daniel Plagge
Major
Fixed
Aug 13, 2014
Apr 1, 2016
Bug
PROB - Record Detection Issue when new domain not total type
Unassigned
Michael Leuschel
Major
Fixed
May 20, 2014
Mar 17, 2016
Bug
Cannot use Formal machine parameters with multiple instantiation
Unassigned
Vlad Gheorghe
Critical
Unresolved
Oct 26, 2015
Jan 25, 2016
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
Integrate Parser 2.5.0 changes
Unassigned
Jens Bendisposto
Major
Fixed
Jun 29, 2015
Oct 23, 2015
Bug
released version 1.5.0 not available in JIRA
Unassigned
Vlad Gheorghe
Minor
Fixed
Oct 22, 2015
Oct 22, 2015
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
Bug
ProB Kodkod: failed to translate x..y <: z..v
Unassigned
Michael Leuschel
Major
Fixed
Mar 3, 2013
Aug 14, 2015
Improvement
#650 Pretty Printing of prj
Unassigned
Michael Leuschel
Minor
Fixed
Apr 24, 2012
Aug 14, 2015
Bug
PROB Kodkod Illegal Argument Exception for interval
Unassigned
Michael Leuschel
Major
Fixed
Mar 2, 2013
Aug 14, 2015
Bug
Missing predicate foldl/3 in ztransformations
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 14, 2015
Bug
missing import in ltl_tools
Unassigned
Jens Bendisposto
Trivial
Fixed
Jul 28, 2015
Aug 10, 2015
1-50 of 263