issues
search
TAPAAL
/
tapaal-gui
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
https://www.tapaal.net
3
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Inconsistent batch processing - fix 2046829
#130
mtygesen
closed
9 months ago
0
Premature end of file in CPN verifypn - fix 2046960
#129
mtygesen
closed
9 months ago
1
Raw verification options issues - fix 2046945
#128
mtygesen
closed
8 months ago
16
Fix grid snapping on all zoom levels
#127
NicEastvillage
closed
10 months ago
2
CPN Guard dialog parenthesis - fix 2046277
#126
mtygesen
closed
9 months ago
2
GUI passes constants to verifydtapn - fix 2046038
#125
mtygesen
closed
9 months ago
0
Duplication of invariants - fix 2045985
#124
mtygesen
closed
10 months ago
0
Updated gradle config to work with Gradle 8.5
#123
HGinnerup
closed
10 months ago
1
Raw verification options
#122
mtygesen
closed
10 months ago
0
NPE Color semantics - fix 2045061
#121
mtygesen
closed
10 months ago
0
Missing error dialogs - fix 2044661
#120
mtygesen
closed
10 months ago
0
Wrong k-bound passed - fix 2044542
#119
mtygesen
closed
10 months ago
0
Batch processing output - fix 2044415
#118
mtygesen
closed
10 months ago
0
More descriptive unfold error - fix 2043616
#117
mtygesen
closed
10 months ago
0
Colored reduction fix - 2043334
#116
mtygesen
closed
11 months ago
0
Change of range in product - fix 2037066
#115
mtygesen
closed
11 months ago
0
License?
#114
mads256h
closed
11 months ago
1
Broken history CPN - fix 2040246
#113
mtygesen
closed
11 months ago
0
Initial markings disappearing - fix 2038418
#112
mtygesen
closed
11 months ago
0
Smart draw layout - fix 2038420
#111
mtygesen
closed
12 months ago
1
Update README.md
#110
srba
closed
1 year ago
1
CPN max tokens - fix 2037357
#109
mtygesen
closed
11 months ago
1
Fix for reset of colored tokens - bug 2037705
#108
srba
closed
1 year ago
0
CPN Improve layout - fix 2036733
#107
mtygesen
closed
1 year ago
3
product types must contain at least two components - fix 2036984
#106
srba
closed
1 year ago
0
Added starter readme from wiki pages
#105
yrke
closed
1 year ago
0
Fixes to HyperLTL query dialog
#104
srba
closed
1 year ago
5
Inhibitor arcs do not make the net colored anymore (fixes workflow analysis but 2035728)
#103
srba
closed
1 year ago
0
Fix HyperLTL trace editor NPE
#102
Malleek
closed
1 year ago
1
updated Icon to tapaal 4.0
#101
srba
closed
1 year ago
0
Fixed bug lp:2031648 - verifypn support games
#100
yrke
closed
1 year ago
0
Workaround boundedness check from workflow - 2029475
#99
srba
closed
1 year ago
0
Workaround for bug lp:2029475
#98
yrke
closed
1 year ago
0
Fixing variable index bug 2030270
#97
srba
closed
1 year ago
0
Fixing wrong k-bound in batch processing
#96
srba
closed
1 year ago
0
Fix message format 2028688
#95
srba
closed
1 year ago
0
Added inspection to debug net state
#94
yrke
opened
1 year ago
0
wrong token count 2024961
#93
LenaSaid
closed
1 year ago
0
wrong engine 2024960
#92
LenaSaid
closed
1 year ago
0
Red/yellow transitions 2024959
#91
LenaSaid
closed
1 year ago
0
Hyperltl traces visibility 2024939
#90
LenaSaid
closed
1 year ago
0
Urgent transition color intervals 2024930
#89
LenaSaid
closed
1 year ago
0
intervals product colors 2024928
#88
LenaSaid
closed
1 year ago
0
Boundedness issue 2024923
#87
LenaSaid
closed
1 year ago
0
Boundedness and parsing fixes
#86
LenaSaid
closed
1 year ago
0
Weight constant blink 1895130
#85
LenaSaid
closed
1 year ago
0
Boundedness issue 2023291
#84
LenaSaid
closed
1 year ago
0
Update TimedArcPetriNet.java
#83
LenaSaid
closed
1 year ago
0
Token minimization 2020590
#82
LenaSaid
closed
1 year ago
1
Untiming engine change 2020433
#81
LenaSaid
closed
1 year ago
0
Previous
Next