Optimizations for lusearch. Serializable log is correctly done now. No TS yet.?

Author Jonathan Bell <jbell@cs.columbia.edu>
Author date 2012-08-09 15:31:07
Author local date 2012-08-09 11:31:07 -0400
Committer Jonathan Bell <jbell@cs.columbia.edu>
Committer date 2012-08-09 15:31:07
Committer local date 2012-08-09 11:31:07 -0400
Commit 02dbcf399badf8bb688751c70f559bb11fccadb1
Tree 2df3aecafa5b734bdf24613cce6a3faa12c568ee
Parent 417b16ff6855b458cafca6dca7a53dd212bde8c2
Optimizations for lusearch. Serializable log is correctly done now. No TS yet.?
Affected files:
testcase-generation-tester/src/edu/columbia/cs/psl/invivo/example/ReaderUser.java
testcase-generation/src/edu/columbia/cs/psl/invivo/bench/WallaceLogExplorer.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/Log.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/WallaceExportRunner.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/WallaceUncaughtExceptionHandler.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/CloningAdviceAdapter.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/MutatingFieldMethodVisitor.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/NonDeterministicLoggingClassVisitor.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/NonDeterministicLoggingMethodVisitor.java
testcase-generation/src/edu/columbia/cs/psl/invivo/replay/NonDeterministicReplayMethodVisitor.java