/

Issues

Go to advanced search

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

Dec 4, 2020

Provide option to ignore parameters and destination variables in TraceReplay

Nov 17, 2020

Too many error messages for Event-B formulas

Nov 6, 2020

Create maven dependencies for ProB CLI Binaries

Oct 26, 2020

IllegalArgumentException is ignored in State

Oct 12, 2020

Implement command for prolog statistics

Aug 31, 2020

Consider separating Groovy/scripting support from Java API

Aug 31, 2020

Separate ProB 2 CLI application from API

Aug 31, 2020

The Prob plugin for Rodin could not be found at th...

Apr 23, 2020

NullPointerException when name of included machine does not match filename

Jan 16, 2020

GUI works very strange in macOS Mojave. Many butto...

Nov 17, 2019

MCDC not covering coverable state

Nov 4, 2019

MCDC fails with unexpected result

Nov 4, 2019

MC/DC Level 0 seems to be the same as Level 1

Nov 4, 2019

Create New Machine creates Alloy Spec

Nov 4, 2019

Menu shortcut command-Minus for Zoom Out does not work on Mac

Nov 4, 2019

Improve Feedback when starting probcli fails

Oct 22, 2019

Misleading error message when loading Rodin .bum or .buc file

Oct 4, 2019

MC/DC Testcase Generation Exception

Jul 18, 2019

Actually maybe this is not a bug report, but mayb...

Jun 6, 2019

Opening two state spaces in parallel might lead to Exceptions

Jan 11, 2019

Some buttons are invisible until you resize the sc...

Nov 7, 2018

When running an abstract machine with the bmotionw...

Oct 31, 2018

Hello. In my system, ProB has a error. This erro...

Aug 7, 2018

B machine not precompiled for b_get_definition_st...

Aug 6, 2018

Modify ProBInstanceProvider so it can use remote CLIs

Apr 4, 2018

Create "clistarter" to manage ProB CLIs on a remote server

Apr 4, 2018

Apr 4, 2018

Command for Visualising Expression as Table

Mar 5, 2018

Use external probcli

Mar 5, 2018

just a test, ignore me

Feb 7, 2018

Search Statepace

Feb 7, 2018

RulesMachineErrorsTest causes travis to fail because of nondeterministic behaviour

Oct 18, 2017

Operation view show non-deterministically assigned variables

Oct 13, 2017

ConcurrentModificationException after upgrade to ProB 2.0 version 3.2.2

Aug 2, 2017

Out-of-bounds exception for Execute Event in Operations view

Jun 30, 2017

GetMachineStructureCommand should support ASCII and Unicode

May 8, 2017

StateSpace.unsubscribe should unregister the formula

Apr 11, 2017

Command for unregistering formulas (unregister_prob2_formula)

Apr 11, 2017

Create Tree Structure for the State View

Mar 29, 2017

ConsistencyChecker.call does not call isFinished when no goal is specified

Mar 13, 2017

ModelChecker creates an executor that is never shut down

Mar 13, 2017

Turn test into an integration test (unit test deleted)

Jan 17, 2017

If api.b_load fails with exception, the state space is not guaranteed to be killed

Nov 14, 2016

Dead code in Theory Extractor

Nov 2, 2016

CBCSolveCommand returns "Evaluation not completed" for predicates known to be false

Sep 21, 2016

Uncatchable Exception: ModelTranslationError

Sep 1, 2016

Change Preferences command to include the type of the preference

Jul 29, 2016

Value Translator should support ClassicalB and EventB parser

Jan 7, 2016

If an exception is thrown, not all CLIs may be closed

Dec 3, 2015

Showing 1-50 of 800

...