added type skeleton for inccheck, now fill in the blanks
zig zog
much progress on inccheck
much progress on inccheck
done with code for inccheck
inccheck builds
misc tweak to files
humph not quite working, keep at it.
hmm why is Test0.incr showing up in seed changed vars
temp
rename module to DiffCheck
misc tweaks to options
diffcheck seems to work on Data.ByteString
ok done with diff-checking
asdasd
updated README
add checking of individual vars. let user know what we actually checked.
update README
reuse `thin` in DiffCheck
Merge pull request #96 from ucsd-progsys/inccheck

Inccheck