[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