3 ms·
git's only "theory" that could potentially be verified is merge resolution. which has been. I think darcs approach is a little different.
by etherealG 14y ago
git's only "theory" that could potentially be verified is merge resolution. which has been.
I think darcs approach is a little different.
- dons 14y agogit has plenty of properties that are supposed to be true. The developers write tests for them. The properties being tested could be proven instead.