From mboxrd@z Thu Jan 1 00:00:00 1970 From: Konstantin Khomoutov Subject: Re: Help understanding git checkout behavior Date: Mon, 11 Jun 2012 21:07:42 +0400 Message-ID: <20120611210742.7983d92d.kostix+git@domain007.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: QUOTED-PRINTABLE Cc: git@vger.kernel.org, Renato Neves To: =?UTF-8?B?Q2zDoXVkaW8gTG91cmVuw6dv?= X-From: git-owner@vger.kernel.org Mon Jun 11 19:20:24 2012 Return-path: Envelope-to: gcvg-git-2@plane.gmane.org Received: from vger.kernel.org ([209.132.180.67]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Se8Hp-00008d-Rz for gcvg-git-2@plane.gmane.org; Mon, 11 Jun 2012 19:20:18 +0200 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751543Ab2FKRUL convert rfc822-to-quoted-printable (ORCPT ); Mon, 11 Jun 2012 13:20:11 -0400 Received: from mailhub.007spb.ru ([84.204.203.130]:52922 "EHLO mailhub.007spb.ru" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750877Ab2FKRUK (ORCPT ); Mon, 11 Jun 2012 13:20:10 -0400 X-Greylist: delayed 743 seconds by postgrey-1.27 at vger.kernel.org; Mon, 11 Jun 2012 13:20:10 EDT Received: from programmer.Domain007.com (programmer.domain007.com [192.168.2.100]) by mailhub.007spb.ru (8.14.3/8.14.3/Debian-5+lenny1) with SMTP id q5BH7gG8027590; Mon, 11 Jun 2012 21:07:43 +0400 In-Reply-To: X-Mailer: Sylpheed 3.1.1 (GTK+ 2.10.14; i686-pc-mingw32) Sender: git-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org Archived-At: On Mon, 11 Jun 2012 17:52:26 +0100 Cl=C3=A1udio Louren=C3=A7o wrote: > We are master students at University of Minho in Portugal and we are > currently=C2=A0working 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. [...]