change: more aggressively re-initialize fields of rcrRecords.
authoryeom <yeom>
Sat, 6 Nov 2010 00:00:21 +0000 (00:00 +0000)
committeryeom <yeom>
Sat, 6 Nov 2010 00:00:21 +0000 (00:00 +0000)
commiteaacef5b9ddee2772b3e8335d05889606e97d7b2
tree03779f1f9108ae690acbcb5043791c0b15bfedb0
parent94ae60519140f72f84ae6a4a04622a63f7ac6261
change: more aggressively re-initialize fields of rcrRecords.

now, rcr is working fine with all benchmarks, except mergesort.
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/Flat/RuntimeConflictResolver.java