hhu-stups prob-issues issues

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Exception when model checking for GOAL in ProB2-UI for XTL model

#377 leuschel opened 3 days ago
4
ProB2-UI: Sequence Chart Visualisation for HTML Export does not work with included ProB

#376 cobizobi opened 2 weeks ago
0
Save selected VisB JSON file automatically to project

#375 leuschel opened 2 weeks ago
1
No feedback about VisB JSON file being used

#374 leuschel opened 2 weeks ago
1
Exceptions when animating TLA modules in ProB2-UI

#373 cobizobi opened 3 weeks ago
0
Enable pasting multi-line formulas into ProB2-UI Console

#372 leuschel closed 3 weeks ago
3
Parser check of definition parameters provides misleading message

#371 leuschel closed 1 month ago
1
Exception when re-loading a machine

#370 favu100 closed 1 month ago
1
Improve user feedback in operations view for events with MAX_OPERATIONS=0

#369 leuschel closed 3 weeks ago
1
Wrong location for unknown token parse error message

#368 leuschel closed 1 month ago
0
TLA2B Exception for Zookeeper model

#367 leuschel opened 1 month ago
0
TLA2B operation identifier clash

#366 leuschel opened 1 month ago
1
SimB configuration cannot be edited during real-time simulation

#365 cobizobi opened 2 months ago
0
ProB2-UI Exception

#364 leuschel opened 2 months ago
2
ProB2-UI: CTRL+Z does not work properly (and can be dangerous to use)

#363 cobizobi opened 2 months ago
1
Exception when trying to visualise failed execute by predicate in ProB2-UI

#362 leuschel opened 3 months ago
3
SETUP_CONSTANTS not executed in ProB2-UI when initialisation fails

#361 leuschel opened 3 months ago
3
Exceptions regarding saved Traces in ProB2-UI

#360 cobizobi closed 3 months ago
0
Error while loading ProB UI

#359 gllambi-at-pyxis opened 3 months ago
2
Changes are lost when switching between machines in ProB2-UI Editor

#358 cobizobi closed 3 months ago
1
Exception during SimB simulation

#357 cobizobi closed 3 months ago
2
Exception during SimB Simulation

#356 cobizobi closed 3 months ago
1
"Save as"/clone for machines

#355 iTitus closed 3 months ago
1
Copy validation tasks and VOs from one machine to another

#354 favu100 closed 4 months ago
1
Change path of machine in project

#353 favu100 closed 4 months ago
1
ProB2UI CTL model check does not work with XTL files

#352 leuschel closed 4 months ago
2
Implement cancel button in VisB

#351 favu100 opened 5 months ago
0
Fix cancel button in operations view

#350 favu100 closed 4 months ago
1
ProB v1.13.0 Error using revised example FourCounters.mch

#349 AndreaPasconcino closed 4 months ago
1
Deadlock check causes subsequent error messages

#348 ukaea-chah opened 7 months ago
2
ProB2-UI Show Full Value does not show full value

#347 leuschel closed 7 months ago
2
Improve message in ProB2-UI when dot not installed

#346 leuschel closed 7 months ago
2
Exception in ProB2-UI Table Dialog after changing model

#345 leuschel closed 7 months ago
1
Warnings when doing Trace Replay

#344 leuschel closed 7 months ago
10
Equality / Hashcode on AbstractEvalElement broken

#343 pkoerner closed 7 months ago
1
Improve communication between Python and SimB

#342 cobizobi opened 8 months ago
2
VisB support in ProB2-UI for groups and titles

#341 leuschel opened 8 months ago
5
Improve VisB UI

#340 iTitus opened 9 months ago
1
Refactor project model wrt verification tasks

#339 iTitus opened 9 months ago
0
Global Copy/Paste & Undo/Redo

#338 iTitus opened 9 months ago
0
Improve error display and add an error log

#337 iTitus opened 9 months ago
0
Add search to VisB in ProB2-UI

#336 cobizobi opened 12 months ago
0
Improve usability of SimB

#335 favu100 closed 7 months ago
5
Warning when loading a prob2trace in ProB2-UI

#334 cobizobi opened 1 year ago
0
Respect LTL/CTL state limit parameter

#333 iTitus opened 1 year ago
0
Exception in SimB when trying to save a real-time simulation trace after continued animation

#332 cobizobi closed 7 months ago
1
Generated traces by SimB are not saved at the selected location

#331 cobizobi closed 1 year ago
2
SimB does not reset when changing machine

#330 favu100 closed 7 months ago
1
Errors in ProB2UI Execute by Predicate for Theory Operators

#329 leuschel opened 1 year ago
6
State errors display in ProB2UI not very readable and sometimes fails

#328 leuschel opened 1 year ago
3