Issue 2587 proposal: "darcs check --hard" (or --invariants)

Title proposal: "darcs check --hard" (or --invariants)
Priority wishlist Status unknown
Milestone Resolved in
Superseder Nosy List gh
Assigned To

Created on 2018-04-22.23:39:39 by gh, last changed 2018-05-03.14:30:04 by bf.

msg20126 (view) Author: gh Date: 2018-04-22.23:39:37
We could have a "darcs check --hard" command that would check hard (as
in cuadradic time or above) invariants of the current repo, like:

1. no duplicate PatchInfo (Inspired by http://bugs.darcs.net/issue1868)
2. more stuff that is not tested/known to be implemented by current
patch-related code?
2. more properties about hashed files? (no cycle?)
msg20131 (view) Author: bf Date: 2018-05-03.14:30:03
1. (no) duplicate PatchInfo

This should not need not be quadratic, only slightly super-linear:
traverse the complete inventory chain; for each patch calculate the meta
data hash and use it as key to accumulate the patch representation
hash(es) into a HashMap indexed by the meta data hash; finally traverse
the map and display any duplicates found.
Date User Action Args
2018-04-22 23:39:39ghcreate
2018-05-03 14:30:04bfsetmessages: + msg20131