add new option
authorbdemsky <bdemsky>
Tue, 13 Oct 2009 23:37:32 +0000 (23:37 +0000)
committerbdemsky <bdemsky>
Tue, 13 Oct 2009 23:37:32 +0000 (23:37 +0000)
commit5619b51d907ac76ae554a8aae2c24799ce004ee7
treece31c84573c99c931f6e8395ea6dca8f543f5f92
parentd8ad8f2099735e4a438eb788dfb80aca69889b94
add new option
try to start to organize these options
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/State.java
Robust/src/Main/Main.java
Robust/src/buildscript