darcs

Patch 1827 v3: fix prop_conflictsCommutePastConflictor

Title v3: fix prop_conflictsCommutePastConflictor
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To
Milestone

Created on 2019-06-15.08:32:56 by bf, last changed 2019-06-15.09:04:06 by bf.

Files
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.
Messages
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.
Attachments
History
Date User Action Args
2019-06-15 08:32:56bfcreate
2019-06-15 09:04:06bfsetstatus: needs-screening -> needs-review