On Mon, 11 Jun 2012 17:52:26 +0100 Cláudio Lourenço <pt.smooke@xxxxxxxxx> 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. [...] -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html