All work
- 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
- 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
- Detect B parse errors in VisB file when parsing VisB filePROB2UI-438
- 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
- Change Layout of VisB menu barPROB2UI-425Resolved issue: PROB2UI-425Fabian Vu
- Project View ImprovementsPROB2UI-424Resolved issue: PROB2UI-424Fabian Vu
- Trace Replay Exception for Event-B files and InitialisationPROB2UI-423Resolved issue: PROB2UI-423Fabian Vu
- Trace Replay Dialog: first dialog not working, second dialog confusingPROB2UI-422Resolved issue: PROB2UI-422Yumiko Jansing
- Execute by Predicate dialog boxPROB2UI-421Resolved issue: PROB2UI-421Fabian Vu
- Refactor HTML, Javascript and SVG in VisBPROB2UI-420Resolved issue: PROB2UI-420Fabian Vu
- When opening/reopening VisB visualisations multiple old visualisations remain activePROB2UI-419Resolved issue: PROB2UI-419
- VisB does not report/detect parse, type or other errors in event predicatesPROB2UI-418Resolved issue: PROB2UI-418
- Reload Visualisation in VisB does not reload JSON visualization filePROB2UI-417Resolved issue: PROB2UI-417Fabian Vu
- Provide additional convenience buttons in VisB viewPROB2UI-416Resolved issue: PROB2UI-416Fabian Vu
- IllegalStateException on Windows upon every state changePROB2UI-415Resolved issue: PROB2UI-415Fabian Vu
- Error message display is too small by defaultPROB2UI-414Resolved issue: PROB2UI-414Yumiko Jansing
- Exception when starting VisB without Internet connectionPROB2UI-413Resolved issue: PROB2UI-413Fabian Vu
- Allow to call LTSmin/TLC/parB model checker in the verification viewPROB2UI-412
- VisB: allow to link a VisB visualisation with a model in a ProB2 UI projectPROB2UI-411Resolved issue: PROB2UI-411Fabian Vu
- VisB: view SVG object corresponding to VisB itemPROB2UI-410Resolved issue: PROB2UI-410Fabian Vu
- VisB: ability to inspect VisB Items current valuePROB2UI-409Resolved issue: PROB2UI-409Fabian Vu
- Cannot scroll to the right of the table viewPROB2UI-408Resolved issue: PROB2UI-408Fabian Vu
- Exception from Prolog Output when starting the UI ...PROB2UI-407Resolved issue: PROB2UI-407Yumiko Jansing
- Implement memory usage of model checkingPROB2UI-406Resolved issue: PROB2UI-406Fabian Vu
- Implement visualize with Before/After predicate in Execute by Predicate when no solution is foundPROB2UI-405
- NullPointerException in PrologOutputPROB2UI-404Yumiko Jansing
- Respond to clicks in the table viewPROB2UI-403Resolved issue: PROB2UI-403Fabian Vu
- Implement progress bar for model checkingPROB2UI-402Resolved issue: PROB2UI-402Fabian Vu
- Support XTL in State ViewPROB2UI-401
50 of 439
java.lang.RuntimeException: java.lang.reflect.InvocationTargetException
at javafx.fxml.FXMLLoader$MethodHandler.invoke(FXMLLoader.java:1787)
at javafx.fxml.FXMLLoader$ControllerMethodEventHandler.handle(FXMLLoader.java:1670)
at com.sun.javafx.event.CompositeEventHandler.dispatchBubblingEvent(CompositeEventHandler.java:86)
at com.sun.javafx.event.EventHandlerManager.dispatchBubblingEvent(EventHandlerManager.java:238)
at com.sun.javafx.event.EventHandlerManager.dispatchBubblingEvent(EventHandlerManager.java:191)
at com.sun.javafx.event.CompositeEventDispatcher.dispatchBubblingEvent(CompositeEventDispatcher.java:59)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:58)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.EventUtil.fireEventImpl(EventUtil.java:74)
at com.sun.javafx.event.EventUtil.fireEvent(EventUtil.java:49)
at javafx.event.Event.fireEvent(Event.java:198)
at javafx.scene.Node.fireEvent(Node.java:8879)
at javafx.scene.control.Button.fire(Button.java:200)
at com.sun.javafx.scene.control.behavior.ButtonBehavior.mouseReleased(ButtonBehavior.java:206)
at com.sun.javafx.scene.control.inputmap.InputMap.handle(InputMap.java:274)
at com.sun.javafx.event.CompositeEventHandler$NormalEventHandlerRecord.handleBubblingEvent(CompositeEventHandler.java:218)
at com.sun.javafx.event.CompositeEventHandler.dispatchBubblingEvent(CompositeEventHandler.java:80)
at com.sun.javafx.event.EventHandlerManager.dispatchBubblingEvent(EventHandlerManager.java:238)
at com.sun.javafx.event.EventHandlerManager.dispatchBubblingEvent(EventHandlerManager.java:191)
at com.sun.javafx.event.CompositeEventDispatcher.dispatchBubblingEvent(CompositeEventDispatcher.java:59)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:58)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.BasicEventDispatcher.dispatchEvent(BasicEventDispatcher.java:56)
at com.sun.javafx.event.EventDispatchChainImpl.dispatchEvent(EventDispatchChainImpl.java:114)
at com.sun.javafx.event.EventUtil.fireEventImpl(EventUtil.java:74)
at com.sun.javafx.event.EventUtil.fireEvent(EventUtil.java:54)
at javafx.event.Event.fireEvent(Event.java:198)
at javafx.scene.Scene$MouseHandler.process(Scene.java:3851)
at javafx.scene.Scene$MouseHandler.access$1200(Scene.java:3579)
at javafx.scene.Scene.processMouseEvent(Scene.java:1849)
at javafx.scene.Scene$ScenePeerListener.mouseEvent(Scene.java:2588)
at com.sun.javafx.tk.quantum.GlassViewEventHandler$MouseEventNotification.run(GlassViewEventHandler.java:397)
at com.sun.javafx.tk.quantum.GlassViewEventHandler$MouseEventNotification.run(GlassViewEventHandler.java:295)
at java.base/java.security.AccessController.doPrivileged(Unknown Source)
at com.sun.javafx.tk.quantum.GlassViewEventHandler.lambda$handleMouseEvent$2(GlassViewEventHandler.java:434)
at com.sun.javafx.tk.quantum.QuantumToolkit.runWithoutRenderLock(QuantumToolkit.java:390)
at com.sun.javafx.tk.quantum.GlassViewEventHandler.handleMouseEvent(GlassViewEventHandler.java:433)
at com.sun.glass.ui.View.handleMouseEvent(View.java:556)
at com.sun.glass.ui.View.notifyMouse(View.java:942)
at com.sun.glass.ui.mac.MacView.notifyMouse(MacView.java:127)
Caused by: java.lang.reflect.InvocationTargetException
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.base/java.lang.reflect.Method.invoke(Unknown Source)
at com.sun.javafx.reflect.Trampoline.invoke(MethodUtil.java:76)
at jdk.internal.reflect.GeneratedMethodAccessor28.invoke(Unknown Source)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.base/java.lang.reflect.Method.invoke(Unknown Source)
at com.sun.javafx.reflect.MethodUtil.invoke(MethodUtil.java:273)
at com.sun.javafx.fxml.MethodHelper.invoke(MethodHelper.java:83)
at javafx.fxml.FXMLLoader$MethodHandler.invoke(FXMLLoader.java:1784)
... 73 more
Caused by: java.util.ConcurrentModificationException
at java.base/java.util.HashMap$HashIterator.nextNode(Unknown Source)
at java.base/java.util.HashMap$KeyIterator.next(Unknown Source)
at com.sun.javafx.collections.ObservableSetWrapper$1.next(ObservableSetWrapper.java:219)
at java.base/java.lang.Iterable.forEach(Unknown Source)
at de.prob2.ui.verifications.modelchecking.Modelchecker.cancelModelcheck(Modelchecker.java:134)
at de.prob2.ui.verifications.modelchecking.ModelcheckingView.cancelModelcheck(ModelcheckingView.java:355)
... 84 more