issues
search
TAPAAL
/
verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
GNU General Public License v3.0
7
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Cpn unfolding - fix 2081147
#174
mtygesen
opened
1 month ago
1
CPN unfolding bug - fix 2081147
#173
mtygesen
closed
1 month ago
0
Update build-linux.yml
#172
srba
closed
1 month ago
1
Fix rule P not checking initial marking
#171
NicEastvillage
closed
1 month ago
0
Update build-macos.yml
#170
srba
closed
3 months ago
1
Create build-macos-arm.yml
#169
srba
closed
3 months ago
1
Fixed build-macos.yml
#168
tand00
closed
4 months ago
0
Improve CI configuration
#167
yanntm
closed
2 months ago
2
Fix stubborn reduction bug involving inhibitor arcs
#166
NicEastvillage
closed
3 months ago
0
adding MCC artifact contruction
#165
petergjoel
closed
6 months ago
0
trace-list tag and name attribute missing for hyperLTL with one trace - fix 2051740
#164
mtygesen
closed
7 months ago
0
Update QueryPrinter.cpp
#163
srba
closed
10 months ago
0
Possible bug printing queries of the form EX
#162
n-vds
closed
10 months ago
2
Print bidings for CPNs
#161
srba
closed
10 months ago
0
Planning Engine - Example of colored binding dump
#160
HGinnerup
closed
8 months ago
0
Prevent use of use of Rule I if query is loop sensitive
#159
NicEastvillage
closed
11 months ago
0
Bug: Rule I can be applied on loop-sensitive queries when using a custom structural reduction sequence
#158
NicEastvillage
closed
11 months ago
0
Fixing problem with printing traces where reduction was disabled.
#157
srba
closed
11 months ago
0
Fix bug in colored reduction rule Relevance
#156
NicEastvillage
closed
12 months ago
0
Wrong color reduction relevance
#155
srba
closed
12 months ago
0
Bug fix in PetriNetBuilder regarding direction
#154
NicEastvillage
closed
11 months ago
0
Sanitation
#153
mads256h
closed
1 year ago
1
Test with hardening flags
#152
mads256h
opened
1 year ago
2
Fixed printing of error messages in the parser
#151
srba
closed
1 year ago
0
Generate Trace for random walk searchs
#150
Malleek
closed
10 months ago
1
Fix trace token miscalculation
#149
Malleek
closed
1 year ago
0
Max tokens reporting in game Fix
#148
Malleek
closed
1 year ago
0
Fix ControlCondition negation propagation
#147
Malleek
closed
1 year ago
0
Miscalculation of extra consumed tokens during net reduction
#146
Malleek
closed
1 year ago
1
adding missing visitors
#145
petergjoel
closed
1 year ago
0
No accept in PathQuant error
#144
srba
closed
1 year ago
0
Use Linear Programming to initialize potencies
#143
Malleek
closed
1 year ago
3
Hyperltl simplificaiton fix
#142
petergjoel
closed
1 year ago
0
Wrong query simplification for hyper-LTL
#141
srba
closed
1 year ago
2
Wrong max token count for LTL non-Tarjan
#140
srba
closed
1 year ago
0
Fix printStats StatisticsLevel condition
#139
Malleek
closed
1 year ago
0
added missing default tuple size for empty tuples
#138
petergjoel
closed
1 year ago
1
fixed issue with trace-generation with application of ruleM
#137
petergjoel
closed
1 year ago
0
fixing LTL loop+deadlock output for tarjan
#136
petergjoel
closed
1 year ago
0
Updated macos CI to use gcc-10
#135
yrke
closed
1 year ago
0
Removed the reorder of potencies in RPFS strategy
#134
Malleek
closed
1 year ago
2
Loop instead of deadlock - trace issue
#133
srba
closed
1 year ago
0
Random walk feature
#132
Malleek
closed
1 year ago
4
Seg fault with unfolding optimizations
#131
srba
closed
1 year ago
0
Option for Partial Stats Reporting
#130
njulrik
closed
1 year ago
0
Srba patch 1
#129
srba
closed
1 year ago
0
added loop guard for single transition loop
#128
petergjoel
closed
1 year ago
0
Improved searches
#127
petergjoel
closed
1 year ago
0
new scripts
#126
petergjoel
closed
1 year ago
0
new MCC scripts
#125
petergjoel
closed
1 year ago
0
Next