Programming Languages Research Group: Git

2015-08-17	Artur Pilipenko	Take alignment into account in isSafeToSpeculativelyExecute...	commit \| commitdiff \| tree
2015-08-03	Artur Pilipenko	Currently string attributes on function arguments/return...	commit \| commitdiff \| tree
2015-06-25	Artur Pilipenko	Take alignment into account in isSafeToLoadUnconditionally	commit \| commitdiff \| tree
2015-06-08	Artur Pilipenko	Minor refactoring of GEP handling in isDereferenceablePointer	commit \| commitdiff \| tree
2015-06-01	Artur Pilipenko	Add isConstant argument to MDBuilder::createTBAAStructTagNode	commit \| commitdiff \| tree
2015-05-21	Artur Pilipenko	Fix memory-dereferenceable.ll test	commit \| commitdiff \| tree
2015-05-21	Artur Pilipenko	Test commit. Fix typo in MemDerefPrinter.cpp comment.	commit \| commitdiff \| tree

C/C++ LLVM-based compilers that forbids OOTA behaviors