[darcs-users] David's darcs
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