darcs

Patch 1827 v3: fix prop_conflictsCommutePastConflictor

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

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

Files
File name Status Uploaded Type Edit Remove
fix-prop_conflictscommutepastconflictor.dpatch bfrk, 2019-06-15.08:32:56 application/x-darcs-patch
patch-preview.txt bfrk, 2019-06-15.08:32:56 text/x-darcs-patch
unnamed bfrk, 2019-06-15.08:32:56 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg20819 (view) Author: bfrk 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
msg20968 (view) Author: ganesh Date: 2019-07-26.12:56:04
OK
History
Date User Action Args
2019-06-15 08:32:56bfrkcreate
2019-06-15 09:04:06bfrksetstatus: 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