more bug fix
authorPeizhao Ou <peizhaoo@uci.edu>
Sat, 2 Nov 2013 00:36:58 +0000 (17:36 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Sat, 2 Nov 2013 00:36:58 +0000 (17:36 -0700)
commit24022553f123d8f8a796b257410b4c1c1b9ef8ee
treefaacace99e78de379b1e6cb4361cd36dbdc65522
parentf2d6efad8b1ee05ef5dd12175af9e59e61c7b8f8
more bug fix
12 files changed:
benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h
benchmark/linuxrwlocks/linuxrwlocks.c
grammer/spec.txt
grammer/spec_compiler.jj
src/edu/uci/eecs/specCompiler/codeGenerator/CodeAddition.java
src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
src/edu/uci/eecs/specCompiler/codeGenerator/CodeVariables.java
src/edu/uci/eecs/specCompiler/codeGenerator/SemanticsChecker.java
src/edu/uci/eecs/specCompiler/specExtraction/ParserUtils.java
src/edu/uci/eecs/specCompiler/specExtraction/SourceFileInfo.java
src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
test.c