Issues

Select view

Select search mode

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
probcli built for macOS 10.12, crashes on OS X 10.11
Unassigned
dgelessus
Major
Fixed
Sep 20, 2017
Oct 5, 2017
Bug
Evaluating INT results in a well-definedness error
Unassigned
dgelessus
Major
Cannot Reproduce
May 3, 2017
Sep 27, 2017
Improvement
Wrong location in error message
Unassigned
Dominik Hansen
Major
Fixed
Apr 18, 2016
Apr 29, 2016
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
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
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
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
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
Bug
Integrate Parser 2.5.0 changes
Unassigned
Jens Bendisposto
Major
Fixed
Jun 29, 2015
Oct 23, 2015
Improvement
parse_exprs_preds in parser call still writes dummy machines
Unassigned
Sebastian Krings
Major
Fixed
May 26, 2015
May 27, 2015
Bug
Misleading warning
Unassigned
Dominik Hansen
Trivial
Fixed
May 19, 2015
Aug 10, 2015
Bug
PROB: windows distribution does not include Git revision and last changed date
Unassigned
Michael Leuschel
Major
Fixed
Feb 12, 2015
Feb 12, 2015
Bug
For CSP || Z mode, animation_minor_mode(z) fails
Unassigned
Kangfeng Ye
Major
Fixed
Jan 31, 2015
Feb 5, 2015
Bug
Sequence type between CSP and B doesn't match when model-checking a CSP || B program
Unassigned
Kangfeng Ye
Major
Fixed
Jan 19, 2015
Feb 5, 2015
Improvement
Well-definedness of modulo for Z
Unassigned
Kangfeng Ye
Major
Fixed
Jan 19, 2015
Feb 6, 2015
Bug
Graphical Animation not working in OSX Yosemite
Unassigned
Richard Ashworth
Major
Fixed
Nov 24, 2014
Dec 2, 2014
Bug
ProB (tcl/tk) 1.4.1-final BUG
Unassigned
blah111b
Critical
Incomplete
Nov 13, 2014
Nov 13, 2014
Bug
Evaluating a relation as a function returns weird result
Unassigned
Nghi Huynh
Major
Won't Fix
Nov 12, 2014
Feb 12, 2015
New Feature
Sets sind nun in ProB 1 + ProB Tcl/Tk sichtbar
Unassigned
Michael Leuschel
Major
Done
Nov 3, 2014
Feb 12, 2015
New Feature
Guard evaluation view
Unassigned
Dominik Hansen
Minor
Fixed
Oct 20, 2014
Oct 24, 2014
Bug
It seems that the LTL model checker does not work properly for the past operator "Y" (yesterday).
Unassigned
Ivaylo Dobrikov
Major
Fixed
Sep 23, 2014
Sep 23, 2014
Bug
Whitespace in let assignment
Unassigned
David Schneider
Minor
Fixed
Sep 22, 2014
Sep 22, 2014
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
Bug
PROB: Some constraints solving benchmarks run slower with SICS 4.3
Unassigned
Michael Leuschel
Major
Duplicate
Aug 28, 2014
Aug 28, 2014
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
When generating new identifiers, an occurs check should be done
Unassigned
Daniel Plagge
Major
Fixed
Aug 13, 2014
Apr 1, 2016
Bug
Error while parsing machine: java.lang.UnsupportedClassVersionError: de/prob/cliparser/CliBParser (Unsupported major.minor version 49.0)
Unassigned
Prateek Srivastava
Minor
Fixed
Jul 17, 2014
Jul 17, 2014
Bug
proj1 equality wrong?
Unassigned
John Witulski
Minor
Won't Fix
Jul 10, 2014
Mar 11, 2015
1-50 of 211