From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 03:31:02 +0000 (-0800)
Subject: README
X-Git-Tag: pldi2013~2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=dd56df466206a5f34f1d9b1777d1f076f7c33e0f;hp=dd56df466206a5f34f1d9b1777d1f076f7c33e0f;p=model-checker.git

README
---