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 ActiveTcl8.6.6.8606MSWin32x64401995 & 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
Toplevel sanity check should detect when machines are included
Michael Leuschel
Michael Leuschel
Open
Jun 27, 2017
PROB

415
Kodkod Bug with nonmembership test
Michael Leuschel
Michael Leuschel
Open
Jun 23, 2017
PROB

414
Evaluating INT results in a welldefinedness 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 nqueens 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 (noninformative 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 nonexisting 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 150 of 263
1
2
3
4
5
6