Bugzilla – Bug List
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
Log In
[x]
|
Forgot Password
Login:
[x]
This issue tracker is closed.
Please visit
UPPAAL issue tracker at Github
instead.
Tue May 14 2024 17:17:10 CEST
verifier
Hide Search Description
Product:
UPPAAL
Resolution:
---
Component:
GUI
62 bugs found.
ID
Product
▲
Comp
▲
Assignee
▼
Status
▼
Resolution
▼
Summary
Changed
575
UPPAAL
GUI
zhaow
ASSI
---
GUI can not handle -inf value in limits
2014-10-06
578
UPPAAL
GUI
zhaow
ASSI
---
Random simulation is not stopped loading another model
2014-10-14
579
UPPAAL
GUI
zhaow
ASSI
---
Model view is not removed
2014-10-14
580
UPPAAL
GUI
zhaow
ASSI
---
Change query verification message
2014-10-09
582
UPPAAL
GUI
zhaow
ASSI
---
Error - Verification query
2014-11-15
586
UPPAAL
GUI
zhaow
ASSI
---
syntax error location is wrong
2014-10-07
592
UPPAAL
GUI
pgj
ASSI
---
command+q not quitting
2015-05-15
605
UPPAAL
GUI
pgj
ASSI
---
File extension missing
2016-03-16
365
UPPAAL
GUI
marius
ASSI
---
smarter random walk in simulator
2006-11-04
409
UPPAAL
GUI
marius
ASSI
---
View->Variables... does not remember deselected variables
2019-10-21
410
UPPAAL
GUI
marius
ASSI
---
Text color on exported eps templates
2019-10-21
420
UPPAAL
GUI
marius
ASSI
---
Error on channel identifiers
2019-10-21
460
UPPAAL
GUI
marius
ASSI
---
out of memmory exception when exporting huge MSC in raster format
2009-03-10
515
UPPAAL
GUI
marius
ASSI
---
Unknown Tag Error
2016-08-01
576
UPPAAL
GUI
marius
ASSI
---
Error verifying model query
2014-10-14
577
UPPAAL
GUI
marius
ASSI
---
Execute 'processXMLSystem3' two times
2014-10-14
581
UPPAAL
GUI
marius
ASSI
---
Error of the query verification
2014-10-09
585
UPPAAL
GUI
marius
ASSI
---
Simulation out of memory
2014-10-08
594
UPPAAL
GUI
marius
ASSI
---
Syntax highlighting of comments
2015-05-15
617
UPPAAL
GUI
marius
ASSI
---
Simulator displaying discrete variable as continuous
2017-03-15
624
UPPAAL
GUI
marius
ASSI
---
Error in GUI with huge double-values
2017-03-15
658
UPPAAL
GUI
marius
ASSI
---
Add Support for Retina Resolution for most modern Macs
2019-02-04
675
UPPAAL
GUI
marius
ASSI
---
Shows deadlock in simulator but model does not contain deadlock
2019-12-10
25
UPPAAL
GUI
illum
ASSI
---
Gannt chart in simulator
2006-08-03
193
UPPAAL
GUI
egir
ASSI
---
Remote execution of the server
2006-03-03
199
UPPAAL
GUI
egir
ASSI
---
Better default exception handling
2006-03-03
113
UPPAAL
GUI
egir
ASSI
---
Selection change after using the "Edit Transition" dialog
2006-03-03
246
UPPAAL
GUI
behrmann
ASSI
---
Syntax errors in property specification are not reported
2006-01-02
387
UPPAAL
GUI
behrmann
ASSI
---
Exception when opening new model
2007-03-02
275
UPPAAL
GUI
behrmann
ASSI
---
Open source parsers and engine stubs
2006-04-30
318
UPPAAL
GUI
behrmann
ASSI
---
Undo/redo only works in the editor pane
2009-02-04
319
UPPAAL
GUI
behrmann
ASSI
---
Cancel leads to: Lost server connection
2006-05-16
341
UPPAAL
GUI
behrmann
ASSI
---
items missing localization (translation support)
2006-08-03
377
UPPAAL
GUI
behrmann
ASSI
---
crash when much mouse use in graphical editor
2006-12-15
379
UPPAAL
GUI
behrmann
ASSI
---
textual editing of templates?
2006-12-15
385
UPPAAL
GUI
behrmann
ASSI
---
display of local vectors
2006-12-27
390
UPPAAL
GUI
behrmann
ASSI
---
duplicate verification checks
2007-02-09
395
UPPAAL
GUI
behrmann
ASSI
---
Cancel in the Save System dialog quits UPPAAL
2007-05-13
402
UPPAAL
GUI
behrmann
ASSI
---
Unable to open multiple systems
2007-03-14
403
UPPAAL
GUI
behrmann
ASSI
---
Undo has unexpected behaviour
2007-05-15
404
UPPAAL
GUI
behrmann
ASSI
---
Command-C in the Verifier Overview list copies Object.toString()
2007-05-13
405
UPPAAL
GUI
behrmann
ASSI
---
make shortcuts for zooming in and out in the simulator and the editor
2007-03-25
407
UPPAAL
GUI
behrmann
ASSI
---
Implement find/replace for locating and replacing variables/clocks etc.
2007-05-13
110
UPPAAL
GUI
behrmann
ASSI
---
Auto save
2006-12-15
242
UPPAAL
GUI
behrmann
ASSI
---
Unfolding of cyclic traces no longer works
2005-12-29
247
UPPAAL
GUI
behrmann
ASSI
---
Better transition labels in the simulator
2010-06-25
366
UPPAAL
GUI
behrmann
ASSI
---
Newly inserted templates have no initial state
2008-04-18
406
UPPAAL
GUI
behrmann
ASSI
---
Make shortcuts for moving states and the edge properties in the editor window
2007-03-24
49
UPPAAL
GUI
behrmann
ASSI
---
No indication of "No syntax errors"
2005-06-29
144
UPPAAL
GUI
behrmann
ASSI
---
Expose location and transition id in the system editor.
2005-06-17
373
UPPAAL
GUI
behrmann
ASSI
---
contextual popup menu item for quick-fixing syntax errors
2006-12-08
429
UPPAAL
GUI
adavid
ASSI
---
Uppaal spec. file extension and integration with OS shell
2008-06-11
444
UPPAAL
GUI
adavid
ASSI
---
Select over dynamic types
2008-06-11
446
UPPAAL
GUI
adavid
ASSI
---
Undo of location/transition colors
2008-09-09
447
UPPAAL
GUI
adavid
ASSI
---
it should be possible to read help during verification
2008-09-09
516
UPPAAL
GUI
adavid
NEW
---
Text editor jumps to top on undo
2011-05-04
525
UPPAAL
GUI
adavid
NEW
---
Options menu not available
2011-09-13
538
UPPAAL
GUI
adavid
NEW
---
Internet Connection Problem (Windows-7)
2012-05-01
547
UPPAAL
GUI
adavid
NEW
---
Null pointer exception
2013-02-25
558
UPPAAL
GUI
adavid
NEW
---
Uppaal GUI/MacOs X 10.8.4 download file damaged
2013-12-06
567
UPPAAL
GUI
adavid
NEW
---
In Client Server example, java error is displayed.
2014-04-20
568
UPPAAL
GUI
adavid
NEW
---
problème UPPAAL
2014-05-04
62 bugs found.
Change Columns
Edit Search
as
File a new bug in the "GUI" component of the "UPPAAL" product