Fix typeo in assertion message
[oota-llvm.git] / lib / VMCore / Verifier.cpp
2002-09-10 Chris LattnerFix typeo in assertion message
2002-09-09 Chris LattnerDo not allow adds of pointer types, or many other opera...
2002-08-22 Chris LattnerEliminated the MemAccessInst class, folding contents...
2002-08-22 Chris LattnerLoad & StoreInst no longer derive from MemAccessInst...
2002-08-08 Chris Lattner- Cleaned up the interface to AnalysisUsage to take...
2002-08-02 Chris LattnerImplement dominator checking in the verifier, so that...
2002-07-23 Chris LattnerRegister Verifier pass
2002-07-18 Chris LattnerAdd a hack to check for a subset of true dominance...
2002-06-25 Anand Shuklachanges for 64bit gcc
2002-06-25 Chris Lattner* Update to work with Megapatch
2002-05-08 Chris LattnerVerify that function call arguments match the function...
2002-04-29 Chris LattnerEliminate duplicate or unneccesary #include's
2002-04-29 Chris LattnerAdd new optional getPassName() virtual function that...
2002-04-28 Chris LattnerTighten up the AnalysisUsage of lots of passes, primari...
2002-04-28 Chris LattnerRemove extra unused argument from CheckFailed method
2002-04-28 Chris LattnerThe check to see if an external function was marked...
2002-04-27 Chris Lattner* Rename MethodPass class to FunctionPass
2002-04-24 Chris Lattner* Abort program on verification errors
2002-04-18 Chris LattnerAdd some basic checks of CallInst's.
2002-04-18 Chris Lattner* Convert the verifier to use an InstVisitor to be...
2002-04-13 Chris Lattner* Fix bug: test/Regression/Verifier/2002-04-13-RetTypes.ll
2002-04-12 Chris LattnerAdd new check of return value type matching ret instruc...
2002-04-08 Chris Lattners/Method/Function
2002-04-07 Chris LattnerRemove some gross code by using the Value::dump method...
2002-03-29 Chris Lattner* s/Method/Function
2002-03-15 Chris LattnerCheckin new test for problem anand ran into
2002-03-14 Chris LattnerAdd a check to ensure that only PHI nodes are self...
2002-02-26 Chris LattnerExpose more entry points to the verifier
2002-02-24 Chris LattnerMake it compile with GCC 3.0.4
2002-02-20 Chris LattnerActually implement some checking in the verifier.
2002-01-31 Chris LattnerConvert analyses to new pass structure
2002-01-20 Chris LattnerChanges to build successfully with GCC 3.02
2001-11-06 Chris LattnerAdd notes
2001-09-07 Chris LattnerRemove #include of nonexistant header file
2001-06-29 Chris LattnerAdded a note about a new verification the verifier...
2001-06-27 Chris LattnerMiscellaneous cleanups:
2001-06-06 Chris LattnerInitial revision