map descrease hints to variables
tests
tidy termination code
rename strict to lazy
make termination check default
take care of undefined source positions
update README
update tests
adding seed file for Incchecking
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
merge
adding make all-test option to run reg tests and bench
adding no-termination to tests
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
correct all-test
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