kframework/c-semantics — pull request #57 by dwightguth (2014-11-20 22:02:05+00:00)
Title: add new parallel makefile for gcc torture test

@chathhorn please review