Some rant about general VCS requirements which will ideally end in a formal model matching Mercurial implementation (with hope it's not totally out of topic on the Mercurial wiki).

See this page as a pure intellectual exercise for now.


Express from coarser detail to finer detail.

High level requirements

Intermediate level requirements

Distributed requirements

Other secondary requirements

Low levels requirements

Map to Mercurial commands/functions:

Map to Mercurial internals:

Formal Method

MathieuClabaut/VcsModelling (last edited 2013-09-02 01:57:06 by KevinBot)