# pack-refs with: peeled fully-peeled 
f3f8270952dfc68c290ff6f5a42b9ba5e63a40cf refs/remotes/origin/ESOP2014-heap
175286a6e87217badfe8e2bb69e9e86284d4be1e refs/remotes/origin/cegis
d0efd8b9ce0a88411719fa1f1f68740af312499b refs/remotes/origin/deadlock-analysis
e0936677b5bfaefe8646e07f9ccb90400e586332 refs/remotes/origin/gcc-style-errors
56aea470fd6996e3765fb506a20d5108be9769d0 refs/remotes/origin/master
e4a5a611f569c72f97c0e099e56a827c9a55d2aa refs/remotes/origin/peter-incremental-unwinding
75d5ebbaf1a996f34df8221d510a96509c4ae9f8 refs/remotes/origin/peter-incremental-unwinding-4.9
8a4b4b10c1b4cc4c6d7a833175c6a90a7ad1662f refs/remotes/origin/propositional-encodings
d016039600e8824ee38daa8297ad19bd0952021b refs/tags/cbmc-4.0
^e3a4bbbcb4e090c8776c483edb57c65b16860ca8
bd77b282f5297569ff906a1651be2704e0e0c109 refs/tags/cbmc-4.1
^a841dacf458636483cb0a12ab4e675ca0b862c2d
3cb37ded170c52c91abf9ab0d20d4e7a78fc8fe3 refs/tags/cbmc-4.2
^469ae6a0162b5dc077591340e27179daa904531b
f7201e131dcdf663fbe759832eb4fc8c95faa869 refs/tags/cbmc-4.3
^4ea8da79dd4beed5d487a804e6c543b05f7d030d
ba52cd84010aff983b8da3fcc409e08da19890b4 refs/tags/cbmc-4.4
^b3dd63d63b0a6d70749aed359e175e9507452a53
534530344b27c8d5d396fa628faf658d9475badd refs/tags/cbmc-4.5
^5995c1319a33d0c7b89a779620d3df3315dd4732
18e6fa7fca818505b4efdb91eb2f3e5c9b91fbb7 refs/tags/cbmc-4.5-sv-comp-2014
^9dce3d67c9ff441e20854bbdf6d8bf038bcd0d3c
8d3e560abe3b57bccd01b47ab3a8d8850977c2af refs/tags/cbmc-4.6
^09b842a153974ff7877d66b2ae5ea7890477e5f1
849c7b6aa2a053ea4698d6b526bbe1b007f6efc3 refs/tags/cbmc-4.7
^89852dfd7266d38a65d3a7acaf8df52bffe2a9ca
dccbd8bb7f57831fa8119ac2d1d3608d0aea08b5 refs/tags/cbmc-4.8-incremental
^d8981305dd7078b6e1652b1328f02d25448efb03
7f82b82a627da9f27cada775ece457b0bfb7aa58 refs/tags/cbmc-4.9
^a536611bbcb051abc27758d08d02eb27f604c462
654d39bdef0ced855a132dfb095118454ebf6e50 refs/tags/cbmc-4.9-sv-comp-2015
^8e7f7bbad11a5c86c67bab419618e92c5e0b9fee
f68234f8ae81a9c4fdc95c74cb3638b4369e49dc refs/tags/cbmc-5.0
^8e5a0a5899bb3c57534eec5b8f05808d3d427ea6
357ffb0da22f10ea606b5222f40d4eb84789cd47 refs/tags/cbmc-5.1
^047c60fc54f9a2b96843cfc2696351dbf5fb846a
b8b540d0e853bf513e4a90b7b5eb9df11d024d2b refs/tags/cbmc-5.2
^670d332b34186939bbffd811182706ae31cdd349
0a75f6b8f790507615050b333aa46633d9bb59b8 refs/tags/cbmc-5.3
^a46003b1d746e07a506db4c9cf5d90132282b156
3506ec0a43666ee3e726c1b26c90f744335785eb refs/tags/cbmc-5.4
^163e999b07b7f0e007333396f0ffd6665a3d3949
aa7c5ac3c9b2681b48671acb4a0e0be10fda7b15 refs/tags/cbmc-5.5
^51b6ab7415a3350b2f8438270961ef060387f534
8a0088ecfacd4b88ed9a606da415bff1211ee114 refs/tags/cbmc-5.6
