ClemsonRSRG/RESOLVE — pull request #75 by Welchd1 (2013-11-05 23:06:34+00:00)
Title: Translation moveover

Here's the "latest" version of the translator thats been sitting for too long in an ancient, long-going branch. The specific flag to invoke the Java version of the translator is:
-javaTranslate .
Similarly, once mark adds his newer changes on top of this stuff, the C version should be able to be invoked with:
-cTranslate

Mark: Go to town. That is, rebase and put your stuff on top of this (changing whatever you want/feel should be changed).

Note that most things are not yet translating due to some (many) outstanding bugs related to population such as the foldr bug, etc (stories: 55770086, 53892307, 59610882, and on and on.. take your pick).