init
cp+project
clean
before changing to compact encoding
before implementing obj-sensitive
after changing object-sensitivity, jvm crashes
after changing to compact encoding
rewrite the code
after making recording unsynchronized
checked in
ok
conflict resolved
before removing index computation using bitlib
move leap+stride to call sites directly
opt_remove_write_seq added
object sensitive recording added
object sensitive recording added
options organized
now
before attending oopsla