remove duplicate builds in CMakeList.txt

Fix uniqueFunRetNode error

small fix

Merge pull request SVF-tools#141 from davis-matthew/master

Spelling fix worklist.h

Update README.md

Update README.md

Merge pull request SVF-tools#22 from dtzWill/fix/cudd_quit

BddCondManager: fix deallocation to use Cudd_Quit.

Update README.md

Update setup.sh to LLVM-3.8.0

Update homepage