Issues
- Graphviz visualization issue in ProB: dot viewer configuration errorPROB-430Michael Leuschel
- When I launch ProB after installation, it gave a b...PROBCORE-979Jens Bendisposto
- Black ScreenPROB-429Michael Leuschel
- I encountered a problem when trying to use ProB co...PROB-428Michael Leuschel
- ConcurrentModificationException after interrupting model checking of multiple configurationsPROB2UI-450
- Allow loading of CSP files guiding B machinesPROB2UI-449
- Add placeholder for TextArea for formula input in DotView and ExpressionTableViewPROB2UI-448Resolved issue: PROB2UI-448Fabian Vu
- Add a hover for each column in Model Checking TablePROB2UI-447Resolved issue: PROB2UI-447Fabian Vu
- Model Checking item is not displayed in TableViewPROB2UI-446Resolved issue: PROB2UI-446Fabian Vu
- Exception in BEditorPROB2UI-445Resolved issue: PROB2UI-445Fabian Vu
- Exception in ProBPreferencesPROB2UI-444Resolved issue: PROB2UI-444Michael Leuschel
- Könnte man in ProB2-UI in Hilfe -> "Über ProB 2" n...PROBCORE-977Jens Bendisposto
- Improve parse error in Execute By PredicatePROB2UI-443Resolved issue: PROB2UI-443Fabian Vu
- Make output parameters usable for Execute By PredicatePROB2UI-442Resolved issue: PROB2UI-442
- Add an optional attribute to VisB ItemsPROB2UI-441
- Refactor VisB Items to detect duplicate entriesPROB2UI-440
- Simulator for ProBPROB2UI-439Fabian Vu
- Provide option to ignore parameters and destination variables in TraceReplayPROBCORE-976Jens Bendisposto
- Detect B parse errors in VisB file when parsing VisB filePROB2UI-438
- Translation of models involving recordsSSIMT-10Michael Leuschel
- Unsound result involving existential quantification and append sequenceSSIMT-9Michael Leuschel
- Model translation failed for DefSet5 exampleSSIMT-8Resolved issue: SSIMT-8Michael Leuschel
- Kodkod detects inconsistency in a set comprehension assignmentKODKOD-4Resolved issue: KODKOD-4Michael Leuschel
- Trace Replay with complicated constants does not workPROB2UI-437Resolved issue: PROB2UI-437Michael Leuschel
- Check VisB Parsing and Checking of AttributesPROB2UI-436
- VisB: view SVG object corresponding to VisB eventPROB2UI-435Resolved issue: PROB2UI-435Fabian Vu
- IllegalArgumentException in B Console for symbolic return valuesPROB2UI-434Resolved issue: PROB2UI-434
- Out of bounds exception in B ConsolePROB2UI-433Resolved issue: PROB2UI-433Fabian Vu
- Allow to step forward in history for deterministic statesPROB2UI-432Resolved issue: PROB2UI-432Fabian Vu
- Choosing Graph or Table Visualisation menu command does not move window to frontPROB2UI-431Resolved issue: PROB2UI-431Fabian Vu
- Adapt VisB to incorporate Animation function featuresPROB2UI-430
- Improve error message in Graph Visualisation and Table Visualisation ViewPROB2UI-429
- Allow configuring which kinds of error messages are displayedPROB2UI-428Resolved issue: PROB2UI-428dgelessus
- VisB Reload button no longer works after an errorPROB2UI-427Resolved issue: PROB2UI-427Fabian Vu
- Rendering of point in REPL / Console outputPROB2UI-426Resolved issue: PROB2UI-426
- Too many error messages for Event-B formulasPROBCORE-975Jens Bendisposto
- Leading parentheses not part of source spanPARSERLIB-55Jens Bendisposto
- Change Layout of VisB menu barPROB2UI-425Resolved issue: PROB2UI-425Fabian Vu
- I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...PROB-427Michael Leuschel
- Translation not working for min/maxKODKOD-3Michael Leuschel
- Wrong solution for constraint involving additionKODKOD-2Michael Leuschel
- Out of bounds for cartesian productKODKOD-1Michael Leuschel
- Timeout/Unknown for test 1523 with Z3 4.8.9SSIMT-7Michael Leuschel
- Missing back translation of integers to global set elementsSSIMT-6Resolved issue: SSIMT-6Michael Leuschel
- No value in model with Z3 4.8.9 or laterSSIMT-5Resolved issue: SSIMT-5Michael Leuschel
- model translation failed due to Z3 using lambdaSSIMT-4Resolved issue: SSIMT-4Michael Leuschel
- inverse: z3_exception in mk_couple : Sort mismatch at argument #1 for functionSSIMT-3Michael Leuschel
- z3_set_to_b_set failed on fun / result pair ['k!2',couple(integer,boolean)]SSIMT-2Resolved issue: SSIMT-2Michael Leuschel
- ProB z3 interface does not work with Z3 version 4.8.8 or newerSSIMT-1Michael Leuschel
- Create maven dependencies for ProB CLI BinariesPROBCORE-973dgelessus
50 of