News for hackers. Stuff that matters.

A comment on Darcs - Another open source version control system. Parent comment

Re:Darcs - Another open source version control system by etherealG on Wednesday May 09, 2012 @10:06AM (#3948601)
git's only "theory" that could potentially be verified is merge resolution. which has been.

I think darcs approach is a little different.

[ Parent | on HN ]
Re:Darcs - Another open source version control system by dons on Wednesday May 09, 2012 @02:42PM (#3949926)
git has plenty of properties that are supposed to be true. The developers write tests for them. The properties being tested could be proven instead.
[ Parent | on HN ]