From: Peizhao Ou Date: Wed, 15 Apr 2015 00:38:16 +0000 (-0700) Subject: Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=ccad1a6eb845e0e2e7f1e8395c3d32cc569306fc Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/spec-checker-compiler --- ccad1a6eb845e0e2e7f1e8395c3d32cc569306fc