issues
search
Ecdar
/
Ecdar-GUI
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Scaling is not accurate when opening ecdar.
#112
WassawRoki
closed
1 year ago
1
Engines not shutting down sometimes when exiting the GUI
#111
Casper-NS
closed
1 year ago
0
102 clock values/constraints in trace
#110
APaludan
closed
1 year ago
0
107 refaktorer så man ikke skal have static properties list of components currentstate
#109
jhbengtsson
closed
1 year ago
0
Grid removal
#108
Nielswps
closed
1 year ago
0
Backend refactoring
#107
Nielswps
closed
1 year ago
0
Visual part of simulation
#106
WassawRoki
closed
1 year ago
0
Remove grid
#105
Nielswps
closed
1 year ago
0
Remove `Contains Deadlock?` menu item from component dropdown menu
#104
Nielswps
closed
1 year ago
0
21 5 width of query symbolicon is not same
#103
WassawRoki
closed
1 year ago
0
Set tooltip when query is unsuccesful
#102
APaludan
closed
1 year ago
0
Validate change query text
#101
EmilieSonne
closed
1 year ago
0
Running Ecdar on MacOS
#100
magoorden
closed
1 year ago
2
Nail placement on all zoom levels FIXED
#99
Nielswps
closed
1 year ago
0
Show the GRPC error message when a query fails
#98
seblund
opened
2 years ago
0
Edge dropdown menu issues
#97
Nielswps
closed
2 years ago
0
Edge dropdown not accounting for zoom
#96
Nielswps
closed
2 years ago
0
Guards are added off-screen
#95
Nielswps
closed
2 years ago
0
No feedback given on delayed startup
#94
Nielswps
closed
2 years ago
0
Incorrect JAVA_HOME causes the application to crash
#93
Nielswps
closed
1 year ago
0
Pop-up showing query result
#92
Nielswps
closed
2 years ago
0
Usage improvements
#91
Nielswps
closed
2 years ago
0
Handling of components generated by the engines
#90
Nielswps
closed
2 years ago
0
Fix error when initializing submodules
#89
seblund
closed
2 years ago
0
White Space At Side-panes
#88
Nielswps
closed
1 year ago
1
Exception when trying to save backends with no backends FIXED
#87
Nielswps
closed
2 years ago
0
Query whitespace
#86
Nielswps
closed
2 years ago
1
Preserve whitespace for queries
#85
Nielswps
closed
2 years ago
2
Declaration placement FIX
#84
Nielswps
closed
2 years ago
0
CPU usage
#83
Nielswps
closed
1 year ago
1
Simulator
#82
Nielswps
closed
11 months ago
0
UI Testing
#81
Nielswps
closed
2 years ago
1
Backend refactor
#80
Nielswps
closed
2 years ago
0
Icon font family
#79
Nielswps
closed
2 years ago
0
Toggle for running background queries
#78
Nielswps
closed
2 years ago
0
Simple string validation for component names and queries
#77
Nielswps
closed
2 years ago
0
Removal of UPPAAL dependencies
#76
Nielswps
closed
2 years ago
0
Performance issues
#75
Nielswps
opened
2 years ago
3
Distributable readme
#74
Nielswps
closed
2 years ago
0
Release changes
#73
Nielswps
closed
2 years ago
0
Add samples to distributable
#72
Nielswps
closed
2 years ago
1
Dragging of elements within component
#71
Nielswps
closed
2 years ago
0
Option to turn off background queries
#70
florber
closed
2 years ago
0
Ensure matching opening and closing parentheses in queries
#69
seblund
closed
2 years ago
0
Deletion of tags
#68
Nielswps
opened
2 years ago
0
Disallow '.' character in component names
#67
Nielswps
closed
2 years ago
0
Marking channel found in both inputs and outputs of component
#66
Nielswps
closed
2 years ago
0
Delete invariant
#65
Nielswps
closed
2 years ago
0
Default zoom level changed
#64
Nielswps
closed
2 years ago
0
Zoom-to-fit not fitting input/output arrows
#63
Nielswps
closed
2 years ago
0
Previous
Next