ucsd-progsys/liquidhaskell — pull request #96 by ranjitjhala (2013-07-24 01:56:04+00:00)
Title: Inccheck

Added a new option -d or (--diffcheck).

This means we don't have to keep chopping HUGE files into smaller
files, but can instead just work with the large file, and have the changed
bits and the functions they depend on be rechecked incrementally (quickly!)

See README.md for more.