Patch 2227 patch index: remove another kludge for b... (and 7 more)

Title patch index: remove another kludge for b... (and 7 more)
Superseder Nosy List bf
Related Issues
Status needs-review Assigned To

Created on 2021-11-20.11:43:52 by bf, last changed 2021-11-21.07:13:06 by bf.

File name Status Uploaded Type Edit Remove
patch-index_-remove-another-kludge-for-broken-move-patches.dpatch bf, 2021-11-20.11:43:38 application/x-darcs-patch
patch-preview.txt bf, 2021-11-20.11:43:34 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
msg22932 (view) Author: bf Date: 2021-11-20.11:43:38
8 patches for repository http://darcs.net/screened:

patch 955d1155f0cd5063fd12f48217f37dfcb3f0a33e
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jun 10 21:00:38 CEST 2021
  * patch index: remove another kludge for broken move patches

patch 3b5f95878bfbc46cbf3c439c7227dba1db165155
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jun 10 14:09:49 CEST 2021
  * patch index: debug messages when loading

patch 2f2cfa1bea65fa775f25dd9408e0faa22f1311fb
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jun 10 14:06:19 CEST 2021
  * patch index: import from Darcs.Patch.Index.Types explicitly

patch b1ed0fbbca4a874be2905ae1c5b1a82a29b719aa
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jun 10 14:05:01 CEST 2021
  * patch index: reformat a doc comment

patch 05ad2db3ec6da188b5390573154fae5c3aea6025
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Oct  4 18:07:31 CEST 2018
  * patch index: massive performance improvement

  By definition, a directory is regarded as touched whenever a file or
  directory beneath it is. This information was laboriously re-constructed at
  query time (in maybeFilterPatches), which could be very slow when a
  directory had many children. It is much more efficient to add this
  information immediately when we build or update the patch index. This
  requires no change to the data structures, just additional inserts.
  Nonetheless, this is a format change, so we have to increase the version
  number to 4.

patch f61562ebbf31c75f4c7ccfe23751b7b98286a290
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jun 10 14:15:41 CEST 2021
  * patch index: optimize Set Word32 -> IntSet

  This trades a bit of memory (at least on 64 bit archs) for the ability to
  use an optimized data structure. The version number gets increased to 5.

patch ca8f233393233b0580a20eda7eafa8e379687f1a
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Jun 10 14:09:09 CEST 2021
  * patch index: cleanup doc comments

patch 77d58fea123dc04bf96aa646206381d2d5d280a7
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Oct  4 10:09:39 CEST 2021
  * patch index: disentangle Darcs.Patch.Index.* modules, rename PatchMod to FileMod
Date User Action Args
2021-11-20 11:43:52bfcreate
2021-11-21 07:13:06bfsetstatus: needs-screening -> needs-review