Projects
Filters
Dashboards
Apps
Create
ProB Tcl/Tk
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status
Type
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
PROB
-
428
I encountered a problem when trying to use ProB co...
Michael Leuschel
blah111b
Open
Dec 22, 2020
PROB
-
427
I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...
Michael Leuschel
blah111b
Open
Oct 31, 2020
PROB
-
426
The version TK8.5 is in incompatible with the my v...
Michael Leuschel
blah111b
Open
Oct 19, 2020
PROB
-
425
Hi, I have ProB 1.9.2 installed on Windows 10 t...
Michael Leuschel
blah111b
Open
Apr 5, 2020
PROB
-
424
Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine
Michael Leuschel
Fabian Vu
Open
Nov 28, 2019
PROB
-
423
Library archives for ProB 2 do not include fuzz
Michael Leuschel
dgelessus
Open
Nov 21, 2019
PROB
-
422
Enable graph dot display fails for CAN_BUS_tlc
Michael Leuschel
Michael Leuschel
Open
Jul 20, 2019
PROB
-
420
As we know, Points = {s1,s2,s3} equal Poi...
Michael Leuschel
blah111b
Closed
Aug 13, 2018
PROB
-
419
B machine not precompiled for b_get_machine_const...
Michael Leuschel
blah111b
Closed
Aug 6, 2018
PROB
-
421
prob2_interface:extract_result/6 can produce incorrect error terms
Unassigned
Michelle Werth
Open
Apr 27, 2018
PROB
-
418
Statically detect read of uninitialized variables
Michael Leuschel
Michael Leuschel
Open
Sep 27, 2017
PROB
-
417
probcli built for macOS 10.12, crashes on OS X 10.11
dgelessus
dgelessus
Closed
Sep 20, 2017
PROB
-
416
Top-level sanity check should detect when machines are included
Michael Leuschel
Michael Leuschel
Open
Jun 27, 2017
PROB
-
415
Kodkod Bug with non-membership test
Michael Leuschel
Michael Leuschel
Open
Jun 23, 2017
PROB
-
414
Evaluating INT results in a well-definedness error
Michael Leuschel
dgelessus
Closed
May 3, 2017
PROB
-
413
Explanation of REUSE_OPERATION is not clear
Michael Leuschel
Jens Bendisposto
Open
Jul 29, 2016
PROB
-
412
Wrong location in error message
Michael Leuschel
Dominik Hansen
Closed
Apr 18, 2016
PROB
-
411
Kodkod Bug with Card Operator
Michael Leuschel
Michael Leuschel
Open
Apr 18, 2016
PROB
-
410
Add reified versions of is_sequence and is_total_function, is_partial_function
Michael Leuschel
Sebastian Krings
Open
Apr 6, 2016
PROB
-
409
Too verbose error message
Michael Leuschel
Dominik Hansen
Closed
Mar 31, 2016
PROB
-
408
Heap Space Error with Parser on Windows for Test 810
Michael Leuschel
Michael Leuschel
Closed
Mar 17, 2016
PROB
-
407
constraint solving or >-> version of n-queens slow
Michael Leuschel
Michael Leuschel
Closed
Mar 4, 2016
PROB
-
406
Cannot use Formal machine parameters with multiple instantiation
Michael Leuschel
Vlad Gheorghe
Open
Oct 26, 2015
PROB
-
405
released version 1.5.0 not available in JIRA
Jens Bendisposto
Vlad Gheorghe
Resolved
Oct 22, 2015
PROB
-
404
error dialog does not display the file path of the error location
Michael Leuschel
Vlad Gheorghe
Resolved
Oct 22, 2015
PROB
-
403
incorrect error reported for constant defined in machine with multiple instances
Michael Leuschel
Vlad Gheorghe
Open
Oct 9, 2015
PROB
-
402
Kodkod translation fails
Michael Leuschel
Michael Leuschel
Closed
Aug 19, 2015
PROB
-
401
Kodkod process does not support a Timeout
Michael Leuschel
Michael Leuschel
Closed
Aug 14, 2015
PROB
-
400
Report a readable error message when executing TLC4B with an inappropriate java version.
Ivaylo Dobrikov
Dominik Hansen
Open
Jul 31, 2015
PROB
-
399
CTL formulae of the type "A(xUy)", "E(xWy)", and "A(xWy)" not supported yet
Michael Leuschel
Ivaylo Dobrikov
Open
Jul 30, 2015
PROB
-
398
CTL Model Checking: Parser error for the CTL formula "E(xUy)"
Michael Leuschel
Ivaylo Dobrikov
Open
Jul 30, 2015
PROB
-
397
CTL Model Checking (non-informative counterexamples)
Michael Leuschel
Ivaylo Dobrikov
Closed
Jul 29, 2015
PROB
-
396
missing argument in static_analysis.pl
Ivaylo Dobrikov
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
395
missing import of add_error_fail/3 in ast_cleanup_for_smt.pl
Sebastian Krings
Jens Bendisposto
Closed
Jul 28, 2015
PROB
-
394
missing dynamic declaration in b_machine_hierarchy.pl
Michael Leuschel
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
393
wrong arity call in ltl_fairness.pl
Ivaylo Dobrikov
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
392
missing import in state_space_open_nodes_c
Michael Leuschel
Jens Bendisposto
Closed
Jul 28, 2015
PROB
-
391
misspelled predicate in model_translation.pl
Sebastian Krings
Jens Bendisposto
Closed
Jul 28, 2015
PROB
-
390
CTL parser does not provide support for using transition propositions [...] within CTL formulae
Michael Leuschel
Ivaylo Dobrikov
Open
Jul 28, 2015
PROB
-
389
missing import in pge_algo.pl
Ivaylo Dobrikov
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
388
missing import in ltl_tools
Michael Leuschel
Jens Bendisposto
Closed
Jul 28, 2015
PROB
-
387
custom_expilicit_sets calls custom_explicit_set/1 which does not exist
Michael Leuschel
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
386
state_space asserts and retracts dynamic predicates from other module
Michael Leuschel
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
385
Missing predicate foldl/3 in ztransformations
Michael Leuschel
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
384
Call to non-existing add_error_fail/4 in pref_definitions.pl
Michael Leuschel
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
383
Missing predicate translate_enable_res/6
Ivaylo Dobrikov
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
382
Missing argument in call
Ivaylo Dobrikov
Jens Bendisposto
Resolved
Jul 28, 2015
PROB
-
381
Duplicate field names in records should not be permitted
Michael Leuschel
Dominik Hansen
Resolved
Jul 24, 2015
PROB
-
380
translate.pl calls wrong predicate
Michael Leuschel
Jens Bendisposto
Resolved
Jul 23, 2015
PROB
-
379
Operation enabling condition ignores operation calls
Michael Leuschel
Michael Leuschel
Closed
Jun 29, 2015
Give feedback
Showing 1-50 of 263
1
2
3
4
5
6