git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Help understanding git checkout behavior

From
KKKonstantin Khomoutov <kostix+git@007spb.ru>
Date
Jun 11, 2012, 17:07 UTC
Message-ID
<20120611210742.7983d92d.kostix+git@domain007.com>
In-Reply-To
<CAMUXYmUFbixgA1bVMA46Zzjed1Dwmjv54kWWXyjsuyu904GpTA@mail.gmail.com>

On Mon, 11 Jun 2012 17:52:26 +0100 Cláudio Lourenço <pt.smooke@gmail.com> wrote:

Show 5 quoted lines
> 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.
[...]
Previous: Cláudio LourençoNext: konglu@minatec.inpg.fr
Message 2 of 13 in “Help understanding git checkout behavior”
  1. Cláudio LourençoJun 11, 2012
  2. Konstantin KhomoutovJun 11, 2012
  3. konglu@minatec.inpg.frJun 11, 2012
  4. LeilaJun 11, 2012
  5. Jeff KingJun 11, 2012
  6. Junio C HamanoJun 11, 2012
  7. Cláudio LourençoJun 11, 2012
  8. Junio C HamanoJun 11, 2012
  9. Junio C HamanoJun 11, 2012
  10. Jeff KingJun 11, 2012
  11. Jeff KingJun 11, 2012
  12. Junio C HamanoJun 11, 2012
  13. Vincent van RavesteijnJun 11, 2012

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.