verifypn

Code review comment for lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103

  1. Fix-partitioning-1934103
  2. Merge into new-trunk
Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

Passes regression-tests on colored nets.
Minor gains in reachability, otherwise comparable to trunk in performance.

review: Approve

« Back to merge proposal