From: Konstantin Khomoutov Date: Mon, 11 Jun 2012 17:07:42 GMT Subject: Re: Help understanding git checkout behavior Message-ID: <20120611210742.7983d92d.kostix+git@domain007.com> In-Reply-To: On Mon, 11 Jun 2012 17:52:26 +0100 Cláudio Lourenço wrote: > We are master students at University of Minho in Portugal and we are > currently working on a project suggested by CSAIL (MIT), called > "Understanding Git with Alloy". The project consists in modeling git > using alloy and then check for some properties that git does (not) > guarantee. I think providing a link to that "alloy" thing could be helpful. [...]