[darcs-users] David's darcs

Karel Gardas kgardas at objectsecurity.com
Thu Jul 23 06:39:48 UTC 2009

Petr Rockai wrote:
> The darcs-2 core works great as long as you stay away from duplicate hunks and
> complex conflicts. However, this is much weaker guarantee than we would
> like. We want a tool that is robust under *all* conditions: no crashing or
> hanging bugs please. If you need to tread carefully around your VCS, then
> something is wrong (and we all do and we also want to fix that...).


> No, with theory I mean more rigorous definition of theory. There are many
> "patch theories" possible: darcs-1 implements one of them, and darcs-2
> different. And camp works on yet another, which will come formalised, unlike
> darcs-1 and darcs-2, which only come in form of (somewhat under-documented)
> code -- especially the darcs-2 case.

Ah, OK, this sounds indeed very good. So I'm not afraid anymore.

Karel Gardas                  kgardas at objectsecurity.com
ObjectSecurity Ltd.           http://www.objectsecurity.com

More information about the darcs-users mailing list