Issues

Graphviz visualization issue in ProB: dot viewer configuration error

When I launch ProB after installation, it gave a b...

Black Screen

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

ConcurrentModificationException after interrupting model checking of multiple configurations

Allow loading of CSP files guiding B machines

Add placeholder for TextArea for formula input in DotView and ExpressionTableView

Add a hover for each column in Model Checking Table

Model Checking item is not displayed in TableView

Exception in BEditor

Exception in ProBPreferences

Könnte man in ProB2-UI in Hilfe -> "Über ProB 2" n...

Improve parse error in Execute By Predicate

Make output parameters usable for Execute By Predicate

Add an optional attribute to VisB Items

Refactor VisB Items to detect duplicate entries

Simulator for ProB

Provide option to ignore parameters and destination variables in TraceReplay

Detect B parse errors in VisB file when parsing VisB file

Translation of models involving records

Unsound result involving existential quantification and append sequence

Model translation failed for DefSet5 example

Kodkod detects inconsistency in a set comprehension assignment

Trace Replay with complicated constants does not work

Check VisB Parsing and Checking of Attributes

VisB: view SVG object corresponding to VisB event

IllegalArgumentException in B Console for symbolic return values

Out of bounds exception in B Console

Allow to step forward in history for deterministic states

Choosing Graph or Table Visualisation menu command does not move window to front

Adapt VisB to incorporate Animation function features

Improve error message in Graph Visualisation and Table Visualisation View

Allow configuring which kinds of error messages are displayed

VisB Reload button no longer works after an error

Rendering of point in REPL / Console output

Too many error messages for Event-B formulas

Leading parentheses not part of source span

Change Layout of VisB menu bar

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

Translation not working for min/max

Wrong solution for constraint involving addition

Out of bounds for cartesian product

Timeout/Unknown for test 1523 with Z3 4.8.9

Missing back translation of integers to global set elements

No value in model with Z3 4.8.9 or later

model translation failed due to Z3 using lambda

inverse: z3_exception in mk_couple : Sort mismatch at argument #1 for function

z3_set_to_b_set failed on fun / result pair ['k!2',couple(integer,boolean)]

ProB z3 interface does not work with Z3 version 4.8.8 or newer

Create maven dependencies for ProB CLI Binaries