← Back to branch summary

~verifypn-cpn/verifypn/partitioning

From Revision 255 to 236

expand all expand all

Rev   Summary Authors Date Diff Files
255
const makes it faster
ptaankvist at gmail 3 years ago Diff Files
254
Fix other bug related to merging of ranges
ptaankvist at gmail 3 years ago Diff Files
253
Merge all variable changed by a guard correctly
ptaankvist at gmail 3 years ago Diff Files
252
merge print option branch to this branch
ptaankvist at gmail 3 years ago Diff Files
251
Merge parser changes to colorfixpoint branch
ptaankvist at gmail 3 years ago Diff Files
250
merge
ptaankvist at gmail 3 years ago Diff Files
249
remove copy
ptaankvist at gmail 3 years ago Diff Files
248
Add computation of possible varaible values
tpede16 at aau 3 years ago Diff Files
247
all expr in intial marking no longer uses mergeintervals
alexander at bilgram 3 years ago Diff Files
246
Fix all expression for loop and fix colortype lookup issue i...
ptaankvist at gmail 3 years ago Diff Files
245
Implement sets of intervals
tpede16 at aau 3 years ago Diff Files
244
Add full range for variable if no restrictions were found
ptaankvist at gmail 3 years ago Diff Files
243
Handle orphan places when unfolding
ptaankvist at gmail 3 years ago Diff Files
242
Remove hack in parser
ptaankvist at gmail 3 years ago Diff Files
241
Fix for loop in AllExpression so we correctly collect all co...
ptaankvist at gmail 3 years ago Diff Files
240
Implement succ/pred for interval range calculation
ptaankvist at gmail 3 years ago Diff Files
239
Fix a bug where some places never were added to the queue
ptaankvist at gmail 3 years ago Diff Files
238
Add fix to nextBinding
ptaankvist at gmail 3 years ago Diff Files
237
Fixed issue where transitions were activated too early
tpede16 at aau 3 years ago Diff Files
236
Force statistics printing for unfolding
tpede16 at aau 3 years ago Diff Files