![]() | | * 001b20a Prints number of iteration and node. | * 1579581 Merge branch 'llvm-inv' into cvc3 | * 1cad874 CFLAGS for cvc3 to work successfully | | * 5b98a10 (nullvars) All uninitialized variables get zero inits ![]() | * d9e8b5e More sane Yices SMT solver caller | * 901c7dd (cvc3) cvc3 now configured before building * a29ceb7 Removed offensive binary file that was compiled on my machine and was hence incompatible with other machines. This will print text-based representation like this: * 040cc7c (HEAD, master) Manual is NOT built by default With colors (if your shell is Bash): git log -graph -full-history -all -color \ I usually use git log -graph -full-history -all -pretty=format:"%h%x09%d%x20%s" Left the copy on the other question for historical reasons- it's closed now, and the answer's referenced by a bunch of other answers. Note: Answer copied from and improved upon the answer at /questions/1057564/pretty-git-branch-graphs since it's far more appropriate here than it was there. gitconfigs in the future (or alternatively version control your dotfiles, of course). And then save a copy to a Gist or other code snippet tool so you can copy
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |