issues
search
DEIS-Tools
/
H-Uppaal
MIT License
8
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix: v1.4.0-rc1 feedback issues & bugs
#60
sillydan1
closed
1 year ago
1
Feature: add a splashscreen/preloader to indicate loading progress
#59
sillydan1
closed
1 year ago
0
Fix: scale all toolbar icons with a slider
#58
sillydan1
closed
8 months ago
1
Links in logs does not handle embedded parentheses
#57
sillydan1
closed
1 year ago
0
Loading big projects is quite slow
#56
sillydan1
closed
1 year ago
0
Scrolling sideways doesn't work scrollwheels
#55
sillydan1
closed
1 year ago
0
Fix: dont escape utf8 characters when saving
#54
sillydan1
closed
1 year ago
0
Feature: search through project with ctrl + f
#53
sillydan1
closed
1 year ago
1
Refactor: New Logging framework
#52
sillydan1
closed
1 year ago
1
New feature - run configurations
#51
sillydan1
closed
1 year ago
1
Multiline Tags & Bug fixes
#50
sillydan1
closed
2 years ago
0
Builds through CI for GNU/Linux, MacOSX and Windows
#49
sillydan1
closed
2 years ago
4
hcshmk/java17lts - Update from Java 16 to Java 17 LTS
#48
ghost
closed
2 years ago
0
Editor cannot load invalid subcomponents
#47
sillydan1
closed
2 years ago
1
Java+JavaFX 16, updated libraries, new Gradle, a bunch of misc. fixes
#46
ghost
closed
3 years ago
0
Save and Save As does not work for new projects
#45
MBSource
closed
2 years ago
1
Create release 1.0.6
#44
ghost
closed
2 years ago
1
tbyrre/improve-file-handling
#43
tbyrresen
closed
3 years ago
0
hcshmk/gradle-and-dependencies - Update Gradle, dependencies and build.gradle
#42
ghost
closed
3 years ago
0
hcshmk/project-dir - Place H-UPPAAL project directory in home folder
#41
ghost
closed
3 years ago
1
hcshmk/launch-procedure - Wrap call to JavaFX class in plain Java class in order to fix jfx module loading bug
#40
ghost
closed
3 years ago
0
Query and warning delay
#39
Nielswps
closed
4 years ago
0
Delay before running background queries
#38
ulriknyman
closed
4 years ago
5
XML export
#37
Nielswps
closed
4 years ago
0
No main component FIX
#36
Nielswps
closed
4 years ago
0
Ensure main component always exists
#35
Nielswps
closed
4 years ago
0
Errors/Warnings tab automatically expand REMOVED
#34
Nielswps
closed
4 years ago
0
Export XML version
#33
ulriknyman
closed
4 years ago
5
Save as option
#32
ulriknyman
closed
4 years ago
0
Do not auto-expand Warnings view
#31
ulriknyman
closed
4 years ago
0
'New project' and 'Save as' functionalities added
#30
Nielswps
closed
4 years ago
0
Add new project functionality
#29
Nielswps
closed
4 years ago
0
"Integer expected" error
#28
Nielswps
closed
3 years ago
2
Reachability and deadlock check on project with no main component
#27
Nielswps
closed
4 years ago
1
Queries using wrong UPPAALDriver
#26
Nielswps
closed
4 years ago
0
UPPAAL server updated for queries on change
#25
Nielswps
closed
4 years ago
0
Uppaal file not found warning not removed FIX
#24
Nielswps
closed
4 years ago
0
UPPAAL file not found warning not removed when resolved
#23
Nielswps
closed
4 years ago
0
Hide DropDownMenu exception FIX
#22
Nielswps
closed
4 years ago
1
Exception on right click
#21
yrke
closed
4 years ago
0
Ensure distance between locations
#20
Nielswps
closed
4 years ago
1
Zoom functionality
#19
Nielswps
closed
4 years ago
0
Dragging tags outside of component fixed
#18
Nielswps
closed
4 years ago
0
Make it impossible to place two locations on top of each other
#17
ulriknyman
closed
4 years ago
0
Adding zoom to the editing canvas
#16
ulriknyman
closed
4 years ago
1
Make it impossible to move text labels outside the frame of a component
#15
ulriknyman
closed
4 years ago
0
Draggable edges
#14
Nielswps
closed
4 years ago
0
ContextMenu update
#13
Nielswps
closed
4 years ago
0
Drag source or destination of edge
#12
ulriknyman
closed
4 years ago
1
Nickname and invariant fix
#11
Nielswps
closed
4 years ago
0
Next