Patch 1827 v3: fix prop_conflictsCommutePastConflictor

Title v3: fix prop_conflictsCommutePastConflictor
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2019-06-15.08:32:56 by bf, last changed 2019-07-27.17:59:37 by ganesh.

File name Status Uploaded Type Edit Remove
fix-prop_conflictscommutepastconflictor.dpatch bf, 2019-06-15.08:32:56 application/x-darcs-patch
patch-preview.txt bf, 2019-06-15.08:32:56 text/x-darcs-patch
unnamed bf, 2019-06-15.08:32:56 text/plain
See mailing list archives for discussion on individual patches.
msg20819 (view) Author: bf Date: 2019-06-15.08:32:56
After this bundle, all tests should succeed.

1 patch for repository /home/ben/src/darcs/without-v3:

patch d06188e92994e0f9d27b6c4c0164c781ecdc099f
Author: Ben Franksen <ben.franksen@online.de>
Date:   Fri Feb 15 16:58:17 CET 2019
  * fix prop_conflictsCommutePastConflictor
  The property was almost correct but not quite. Indeed, patches we conflict
  with may not individually commute past the conflictor because of
  dependencies between these patches. However we can always commute them to a
  contiguous segment right before the conflictor, and then commute them past
  the conflictor as a whole.
msg20968 (view) Author: ganesh Date: 2019-07-26.12:56:04
Date User Action Args
2019-06-15 08:32:56bfcreate
2019-06-15 09:04:06bfsetstatus: needs-screening -> needs-review
2019-07-26 12:56:04ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg20968
2019-07-27 17:59:37ganeshsetstatus: accepted-pending-tests -> accepted