Issues
- When I launch ProB after installation, it gave a b...PROBCORE-979Jens Bendisposto
- Könnte man in ProB2-UI in Hilfe -> "Über ProB 2" n...PROBCORE-977Jens Bendisposto
- Provide option to ignore parameters and destination variables in TraceReplayPROBCORE-976Jens Bendisposto
- Too many error messages for Event-B formulasPROBCORE-975Jens Bendisposto
- Create maven dependencies for ProB CLI BinariesPROBCORE-973dgelessus
- IllegalArgumentException is ignored in StatePROBCORE-971Resolved issue: PROBCORE-971Fabian Vu
- Implement command for prolog statisticsPROBCORE-970Resolved issue: PROBCORE-970Fabian Vu
- Consider separating Groovy/scripting support from Java APIPROBCORE-969Jens Bendisposto
- Separate ProB 2 CLI application from APIPROBCORE-968Resolved issue: PROBCORE-968dgelessus
- The Prob plugin for Rodin could not be found at th...PROBCORE-966Jens Bendisposto
- NullPointerException when name of included machine does not match filenamePROBCORE-967
- GUI works very strange in macOS Mojave. Many butto...PROBCORE-964Jens Bendisposto
- MCDC not covering coverable statePROBCORE-962Jens Bendisposto
- MCDC fails with unexpected resultPROBCORE-961Jens Bendisposto
- MC/DC Level 0 seems to be the same as Level 1PROBCORE-960Jens Bendisposto
- Create New Machine creates Alloy SpecPROBCORE-958Resolved issue: PROBCORE-958Fabian Vu
- Menu shortcut command-Minus for Zoom Out does not work on MacPROBCORE-957Jens Bendisposto
- Improve Feedback when starting probcli failsPROBCORE-956Jens Bendisposto
- Misleading error message when loading Rodin .bum or .buc filePROBCORE-955Resolved issue: PROBCORE-955Fabian Vu
- MC/DC Testcase Generation ExceptionPROBCORE-954Resolved issue: PROBCORE-954Fabian Vu
- Actually maybe this is not a bug report, but mayb...PROBCORE-953Jens Bendisposto
- Opening two state spaces in parallel might lead to ExceptionsPROBCORE-951Resolved issue: PROBCORE-951Jens Bendisposto
- Some buttons are invisible until you resize the sc...PROBCORE-950Jens Bendisposto
- When running an abstract machine with the bmotionw...PROBCORE-949Jens Bendisposto
- Hello. In my system, ProB has a error. This erro...PROBCORE-947Jens Bendisposto
- B machine not precompiled for b_get_definition_st...PROBCORE-945Resolved issue: PROBCORE-945Jens Bendisposto
- Modify ProBInstanceProvider so it can use remote CLIsPROBCORE-944Resolved issue: PROBCORE-944Jens Bendisposto
- Create "clistarter" to manage ProB CLIs on a remote serverPROBCORE-943Resolved issue: PROBCORE-943Jens Bendisposto
- Remote CLIPROBCORE-942Fabian Vu
- Command for Visualising Expression as TablePROBCORE-941Resolved issue: PROBCORE-941Fabian Vu
- Use external probcliPROBCORE-940Resolved issue: PROBCORE-940Jens Bendisposto
- just a test, ignore mePROBCORE-939Resolved issue: PROBCORE-939Jens Bendisposto
- Search StatepacePROBCORE-938Jens Bendisposto
- RulesMachineErrorsTest causes travis to fail because of nondeterministic behaviourPROBCORE-937Dominik Hansen
- Operation view show non-deterministically assigned variablesPROBCORE-936Resolved issue: PROBCORE-936dgelessus
- ConcurrentModificationException after upgrade to ProB 2.0 version 3.2.2PROBCORE-935Resolved issue: PROBCORE-935Jens Bendisposto
- Out-of-bounds exception for Execute Event in Operations viewPROBCORE-934Resolved issue: PROBCORE-934dgelessus
- GetMachineStructureCommand should support ASCII and UnicodePROBCORE-933Resolved issue: PROBCORE-933dgelessus
- StateSpace.unsubscribe should unregister the formulaPROBCORE-932Resolved issue: PROBCORE-932dgelessus
- Command for unregistering formulas (unregister_prob2_formula)PROBCORE-931Resolved issue: PROBCORE-931Jens Bendisposto
- Create Tree Structure for the State ViewPROBCORE-930Resolved issue: PROBCORE-930Michelle Werth
- ConsistencyChecker.call does not call isFinished when no goal is specifiedPROBCORE-929Resolved issue: PROBCORE-929Jens Bendisposto
- ModelChecker creates an executor that is never shut downPROBCORE-928Resolved issue: PROBCORE-928dgelessus
- Turn test into an integration test (unit test deleted)PROBCORE-927Dominik Hansen
- If api.b_load fails with exception, the state space is not guaranteed to be killedPROBCORE-926Resolved issue: PROBCORE-926Jens Bendisposto
- Dead code in Theory ExtractorPROBCORE-925Resolved issue: PROBCORE-925Jens Bendisposto
- CBCSolveCommand returns "Evaluation not completed" for predicates known to be falsePROBCORE-924Resolved issue: PROBCORE-924Sebastian Krings
- Uncatchable Exception: ModelTranslationErrorPROBCORE-923Resolved issue: PROBCORE-923Jens Bendisposto
- Change Preferences command to include the type of the preferencePROBCORE-922Resolved issue: PROBCORE-922Jens Bendisposto
- Value Translator should support ClassicalB and EventB parserPROBCORE-919Resolved issue: PROBCORE-919David Schneider
50 of 801
When I launch ProB after installation, it gave a black window. I checked that the correct version of TCL/TK was installed and could not figure out how to fix this.
Reporter: Jing
E-mail: jing.sun@auckland.ac.nz