Merge branch 'develop' of github.com:Whiley/WhileyCompiler

Whiley · Jun 18, 2015 · 06f30c1 · 06f30c1
2 parents b3c562f + 8f38447
commit 06f30c1
Show file tree

Hide file tree

Showing 299 changed files with 3,130 additions and 7,770 deletions.
diff --git a/config.xml b/config.xml
@@ -1,4 +1,4 @@
 <project name="BuildConfig">
-  <property name="version" value="0.3.34"/>
+  <property name="version" value="0.3.35"/>
   <property name="JASM_JAR" value="lib/jasm-v0.1.7.jar"/>
 </project>
diff --git a/modules/wyc/src/wyc/builder/CodeGenerator.java b/modules/wyc/src/wyc/builder/CodeGenerator.java