Most of these are not or only weakly related to the v3 changes.

7 patches for repository /home/ben/src/darcs/without-v3:

patch 964b37023032a7405527cbf429de569db669a192
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 23 10:46:47 CET 2019
  * fold partialPermutivity into permutivity property

patch 0c5d7571d3f67fb78c470b6c068414dc0ecc1ada
Author: Ben Franksen <ben.franksen@online.de>
Date:   Sat Feb 23 10:53:55 CET 2019
  * fold partialCommuteInverses into property commuteInverses

patch 7f00dd7af4caa3ef34dac5435cd403a5a8ac5601
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Feb 25 11:15:44 CET 2019
  * harness: remove qc_V2P1 and qc_V3P1
  
  The properties listed therein do not in any way depend on the prim patch
  being V1. So I generalized the signatures and moved the tests to qc_V2 and
  qc_V3, respectively.

patch 2b6d20c8ce467b70be0f195908f68a7701738485
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Feb 25 15:29:21 CET 2019
  * simplify type signatures in D.T.P.Properties.Generic

patch 6a5ff3ce98c15a9ba01a0cfdb104faba3da0aa01
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Feb 26 10:13:01 CET 2019
  * harness: minor code cleanups

patch 09b0e70b01a5da9362b4c5714d87a93b7697be30
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Feb 25 10:15:04 CET 2019
  * move v3 repo properties to harness
  
  This is so we can use Darcs.Test.Util.TestResult and give better output when
  testing the property fails.

patch 778f90783c8a7ad396efc6a8c3fdd9fd3cbc40c7
Author: Ben Franksen <ben.franksen@online.de>
Date:   Tue Feb 26 10:34:18 CET 2019
  * harness: more detailed fail output for some properties

Attachments

• fold-partialpermutivity-into-permutivity-property.dpatch
• patch-preview.txt
• unnamed

> patch 964b37023032a7405527cbf429de569db669a192
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Sat Feb 23 10:46:47 CET 2019
>   * fold partialPermutivity into permutivity property

OK

> patch 0c5d7571d3f67fb78c470b6c068414dc0ecc1ada
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Sat Feb 23 10:53:55 CET 2019
>   * fold partialCommuteInverses into property commuteInverses

OK

> patch 7f00dd7af4caa3ef34dac5435cd403a5a8ac5601
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Mon Feb 25 11:15:44 CET 2019
>   * harness: remove qc_V2P1 and qc_V3P1
OK
> patch 2b6d20c8ce467b70be0f195908f68a7701738485
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Mon Feb 25 15:29:21 CET 2019
>   * simplify type signatures in D.T.P.Properties.Generic
OK 
> patch 6a5ff3ce98c15a9ba01a0cfdb104faba3da0aa01
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Tue Feb 26 10:13:01 CET 2019
>   * harness: minor code cleanups

OK

> patch 09b0e70b01a5da9362b4c5714d87a93b7697be30
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Mon Feb 25 10:15:04 CET 2019
>   * move v3 repo properties to harness
OK 
> patch 778f90783c8a7ad396efc6a8c3fdd9fd3cbc40c7
> Author: Ben Franksen <ben.franksen@online.de>
> Date:   Tue Feb 26 10:34:18 CET 2019
>   * harness: more detailed fail output for some properties

OK