← Back to branch summary

~verifypn-cpn/verifypn/cpn

From Revision 238 to 219

expand all expand all

Rev   Summary Authors Date Diff Files
238
Working on cpn overapproximation
Andreas Klostergaard 6 years ago Diff Files
237
Fixed another bug
Andreas Klostergaard 6 years ago Diff Files
236
Fixed bug in binding reduction
Andreas Klostergaard 6 years ago Diff Files
235
Removed debug output
Andreas Klostergaard 6 years ago Diff Files
234
Added reduction for binding generator
Andreas Klostergaard 6 years ago Diff Files
233
Merged with trunk
Andreas Klostergaard 6 years ago Diff Files
232
Added correct parsing support for PhilosophersDyn-COL nets
Andreas Klostergaard 6 years ago Diff Files
231
Removed debug messages
Andreas Klostergaard 6 years ago Diff Files
230
Fixed compilation warning
Andreas Klostergaard 6 years ago Diff Files
229
Removed call to multiset clean method.
Andreas Klostergaard 6 years ago Diff Files
228
Moved expressions to share_ptr
Andreas Klostergaard 6 years ago Diff Files
227
Now it should actually work
Andreas Klostergaard 6 years ago Diff Files
226
Hopefully fixed subtract operator
Andreas Klostergaard 6 years ago Diff Files
225
Added unfolding of fireability queries
Andreas Klostergaard 6 years ago Diff Files
224
Fixed cardinality queries for colored nets.
Andreas Klostergaard 6 years ago Diff Files
223
Tmp commit. weird initializer bug.
Andreas Klostergaard 6 years ago Diff Files
222
Begun adding IdentifierExpr unfolding
Andreas Klostergaard 6 years ago Diff Files
221
tmp commit
Andreas Klostergaard 6 years ago Diff Files
220
Rewrite of Multisets, to fix indexing error.
Andreas Klostergaard 6 years ago Diff Files
219
Changed unfolded place name lookup scheme.
Andreas Klostergaard 6 years ago Diff Files