From: Brian Norris Date: Sat, 3 Nov 2012 03:20:49 +0000 (-0700) Subject: Merge remote-tracking branch 'origin/master' into pldi13 X-Git-Tag: pldi2013~20 X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=79f51bf7df7ed2c8095b0c2d7f730db6ccb9394a Merge remote-tracking branch 'origin/master' into pldi13 --- 79f51bf7df7ed2c8095b0c2d7f730db6ccb9394a