Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore add .gitignore Aug 23, 2014
BreakStructArguments.cpp BreakStructArguments: ignore intrinsics (llvm.uadd.with.overflow, etc) Oct 26, 2014
BreakStructLiterals.cpp add BreakStructLiterals Aug 23, 2014
FixNestedExtractValue.cpp add FixNestedExtractValue (can't remember if I actually need this for… Nov 25, 2014
Hello.cpp add Makefile and example Aug 23, 2014
Makefile Makefile: use $(CXX) instead of g++ Oct 23, 2014
README.md update readme Mar 6, 2015
RemoveAssume.cpp add RemoveAssume and RemoveOverflowChecks Mar 6, 2015
RemoveOverflowChecks.cpp add RemoveAssume and RemoveOverflowChecks Mar 6, 2015