Issues

Black Screen

I encountered a problem when trying to use ProB co...

I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...

The version TK8.5 is in incompatible with the my v...

Hi, I have ProB 1.9.2 installed on Windows 10 t...

Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine

Library archives for ProB 2 do not include fuzz

Enable graph dot display fails for CAN_BUS_tlc

As we know, Points = {s1,s2,s3} equal Poi...

B machine not precompiled for b_get_machine_const...

prob2_interface:extract_result/6 can produce incorrect error terms

Statically detect read of uninitialized variables

probcli built for macOS 10.12, crashes on OS X 10.11

Top-level sanity check should detect when machines are included

Kodkod Bug with non-membership test

Evaluating INT results in a well-definedness error

Explanation of REUSE_OPERATION is not clear

Wrong location in error message

Kodkod Bug with Card Operator

Add reified versions of is_sequence and is_total_function, is_partial_function

Too verbose error message

Heap Space Error with Parser on Windows for Test 810

constraint solving or >-> version of n-queens slow

Cannot use Formal machine parameters with multiple instantiation

released version 1.5.0 not available in JIRA

error dialog does not display the file path of the error location

incorrect error reported for constant defined in machine with multiple instances

Kodkod translation fails

Kodkod process does not support a Timeout

Report a readable error message when executing TLC4B with an inappropriate java version.

CTL formulae of the type "A(xUy)", "E(xWy)", and "A(xWy)" not supported yet

CTL Model Checking: Parser error for the CTL formula "E(xUy)"

CTL Model Checking (non-informative counterexamples)

missing argument in static_analysis.pl

missing import of add_error_fail/3 in ast_cleanup_for_smt.pl

missing dynamic declaration in b_machine_hierarchy.pl

wrong arity call in ltl_fairness.pl

missing import in state_space_open_nodes_c

misspelled predicate in model_translation.pl

CTL parser does not provide support for using transition propositions [...] within CTL formulae

missing import in pge_algo.pl

missing import in ltl_tools

custom_expilicit_sets calls custom_explicit_set/1 which does not exist

state_space asserts and retracts dynamic predicates from other module

Missing predicate foldl/3 in ztransformations

Call to non-existing add_error_fail/4 in pref_definitions.pl

Missing predicate translate_enable_res/6

Missing argument in call

Duplicate field names in records should not be permitted