Changes for galois porting
authorjzhou <jzhou>
Mon, 3 Oct 2011 23:31:14 +0000 (23:31 +0000)
committerjzhou <jzhou>
Mon, 3 Oct 2011 23:31:14 +0000 (23:31 +0000)
commit59c0aa9720e8247ac80434d40e373e320bf7c9c7
tree3e3c097561087c63087da922db8f05a6ff481cc5
parentbe012734a6104f080fba80b1800b1ac869dcad98
Changes for galois porting
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/TypeUtil.java