[darcs-devel] Re: Combining Verification Methods for Darcs
David Roundy
droundy at abridgegame.org
Thu Apr 28 06:08:22 PDT 2005
On Thu, Apr 28, 2005 at 08:37:09AM +0000, Aaron Denney wrote:
> On 2005-04-27, David Roundy <droundy at darcs.net> wrote:
> > So (for example) the trivial_filepatch_commute algorithm says that
> > if two patches are filepatches and don't affect the same file, they
> > commute trivially.
>
> Um, are all the tries at commuting guarded by checks for manually-added
> dependencies?
Yes. In this case, only "named" patches have manual dependencies, and
named patches aren't filepatches.
--
David Roundy
http://www.darcs.net
More information about the darcs-devel
mailing list