← Back to branch summary

~verifypn-cpn/verifypn/optimize-unfolding

From Revision 273 to 254

expand all expand all

Rev   Summary Authors Date Diff Files
273
Can now parse UtilityControlRoom (new net in 2021)
ptaankvist at gmail 2 years ago Diff Files
272
Remove some debugging code
tpede16 at aau 2 years ago Diff Files
271
Add compact writing of xml queries
tpede16 at aau 2 years ago Diff Files
270
merge graceful exitting branch
ptaankvist at gmail 2 years ago Diff Files
269
Add comments to partitioning
tpede16 at aau 2 years ago Diff Files
268
Finish adding symmetric vars to binding generator
tpede16 at aau 2 years ago Diff Files
267
fixing binding generator for symmetric vars work in progress
ptaankvist at gmail 2 years ago Diff Files
266
Discover symmetric variables for unfolding
ptaankvist at gmail 2 years ago Diff Files
265
Fix parsing error and petri net reordering
tpede16 at aau 2 years ago Diff Files
264
Split varmaps on or expressions
tpede16 at aau 2 years ago Diff Files
263
Merge in trunk LTL fix
tpede16 at aau 2 years ago Diff Files
262
Fix order in parsing of places
tpede16 at aau 2 years ago Diff Files
261
Merge in inhibitor arc code
tpede16 at aau 2 years ago Diff Files
260
Fix partition flag
tpede16 at aau 2 years ago Diff Files
259
Add partition timeout
tpede16 at aau 2 years ago Diff Files
258
Optimize unfolding with diagonal tuple positions
tpede16 at aau 2 years ago Diff Files
257
Attempt to improve partitioning time
tpede16 at aau 2 years ago Diff Files
256
Merge equivalence classes and fix getVariables
tpede16 at aau 2 years ago Diff Files
255
Attempt to ensure diagonal is passed correctly
tpede16 at aau 2 years ago Diff Files
254
Improve diagonal check
tpede16 at aau 2 years ago Diff Files