0000000000000000000000000000000000000000 4826998d3440aff25b540300f1f5633634432ada Nathan Chong <nathan.chong@gmail.com> 1364582585 +0000	commit (initial): First commit
4826998d3440aff25b540300f1f5633634432ada aad3b24d7d716e4e3d8232cfd73a6d93087abc41 Nathan Chong <nathan.chong@gmail.com> 1364582764 +0000	commit: GPUVerify must be on path
aad3b24d7d716e4e3d8232cfd73a6d93087abc41 278a033a6624bd74689407092d2801724ebc2ac5 Nathan Chong <nathan.chong@gmail.com> 1364582946 +0000	commit: Inference not required
278a033a6624bd74689407092d2801724ebc2ac5 0bab460e02b12f98ee764a236d2454a30f385168 Nathan Chong <nathan.chong@gmail.com> 1364583167 +0000	commit: Add FORCE_FAIL flag for sanity checking
0bab460e02b12f98ee764a236d2454a30f385168 9f1e00724cb141628abefba81d6feb31188b68c5 Nathan Chong <nathan.chong@gmail.com> 1364583178 +0000	commit: Add FORCE_FAIL flag
9f1e00724cb141628abefba81d6feb31188b68c5 230d3c14ab34f67b2b6428807ccffb9c82057079 Nathan Chong <nathan.chong@gmail.com> 1364589351 +0000	pull: Fast-forward
230d3c14ab34f67b2b6428807ccffb9c82057079 e1c940fe29d507bf042136cc12aa27302ec2199f Nathan Chong <nathan.chong@gmail.com> 1364589364 +0000	commit: Update staged.py script to work on Windows
e1c940fe29d507bf042136cc12aa27302ec2199f 9cf882a6278716c9c9e4d4a91037412c111c9eac Nathan Chong <nathan.chong@gmail.com> 1364589451 +0000	commit: Update README.txt for running script on Windows
