Added checks and minor bug fix
authoradash <adash>
Sun, 2 Mar 2008 18:35:18 +0000 (18:35 +0000)
committeradash <adash>
Sun, 2 Mar 2008 18:35:18 +0000 (18:35 +0000)
commit3935733041685945de3c448af2c5b82fdcf0438a
tree66d6d9251fd9bc3ea7d81f33a79e8d85c5c33dfd
parent668d2ed757152a1870cd09dd7edff6b4f4b84175
Added checks and minor bug fix
Robust/src/IR/Flat/BuildCode.java
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/queue.c
Robust/src/Runtime/DSTM/interface/trans.c