[darcs-devel] [patch1891] add Darcs.Util.Graph.components with pro... (and 5 more)

Ben Franksen bugs at darcs.net
Mon Aug 26 09:43:31 UTC 2019


New submission from Ben Franksen <ben.franksen at online.de>:

... and yet one less V3INTEGRATION item. Yay!

6 patches for repository http://darcs.net/screened:

patch ec98ed9308dd1d4e41c1c4814049e59b16e61892
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Aug 25 14:34:34 CEST 2019
  * add Darcs.Util.Graph.components with properties and tests

patch 70e5a05cbd3a101582a23b22b33680a7602d68a5
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Aug 25 18:26:06 CEST 2019
  * simplify and improve Darcs.Util.Graph.components
  
  It wasn't incorrect (according to the spec) but it did not always return
  vertices ordered and also did a bit too much work.

patch 10f31d86c1275da3a54e50814bb69a6c7baa9843
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Aug 25 15:31:04 CEST 2019
  * replace quickcheck with leancheck for testing Graph properties
  
  Calculating graph properties scales very badly because the specifications
  aren't optimised (naturally). Exhaustive testing with leancheck is a lot
  more effective here because we avoid testing with (too) large graphs.
  Unfortunately test-framework is a bit limited in that it doesn't allow to
  scale the number of tests, just to set them to a fixed value. We opt to
  set it to 0x8000 which covers all graphs up to size 6.

patch 179677ce4e328e0fb6bc3b9db977da28b40499b2
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Aug 25 18:23:21 CEST 2019
  * move functions to generate graphs from harness to library

patch 9012663a6a2fb6b4c46db0994697a4901e8151d5
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Aug 25 14:32:25 CEST 2019
  * remove Darcs.Util.Graph.bk and some minor refactors

patch c4630e4db47190ca95b346a81017fa62a704a390
Author: Ben Franksen <ben.franksen at online.de>
Date:   Sun Aug 25 23:19:20 CEST 2019
  * use Darcs.Util.Graph.components for RepoPatchV3
  
  This required a few refactors and the introduction of a new data type for
  components. In particular, the ltmis algorithm needs to be adapted to
  working with just a subset of the vertices of a graph.

----------
files: add-darcs_util_graph_components-with-properties-and-tests.dpatch, patch-preview.txt, unnamed
messages: 21200
nosy: bf
status: needs-screening
title: add Darcs.Util.Graph.components with pro... (and 5 more)

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1891>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-preview.txt
Type: text/x-darcs-patch
Size: 21760 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190826/ca5f3ad0/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: add-darcs_util_graph_components-with-properties-and-tests.dpatch
Type: application/x-darcs-patch
Size: 73885 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20190826/ca5f3ad0/attachment-0003.bin>
-------------- next part --------------
.





More information about the darcs-devel mailing list