Data Structure Repair

About
Publications
Download

To acquire the data structure repair tool you have two options:

Anonymous CVS Access

To checkout the CVS repository in bash type:
export CVS_RSH=ssh
cvs -d :pserver:cvsguest@flex-cvs.csail.mit.edu:/data/cvs login
(password is cvsguest)
cvs -d :pserver:cvsguest@flex-cvs.csail.mit.edu:/data/cvs co Repair

Downloadable Versions

Latest Compiler-based Implementation (v1.2)
Compiler-based Implementation (v1.1)
Compiler-based Implementation (v1.0)
Older Interpreter-based Implementation with External Constraints