Programming Languages Research Group: Git

2014-10-21	Philip Reames	Extend the verifier to check usage of 'nonnull' metadata.	commit \| commitdiff \| tree
2014-10-21	Philip Reames	Introduce enum values for previously defined metadata...	commit \| commitdiff \| tree
2014-10-20	Philip Reames	Extend the verifier to validate range metadata on calls...	commit \| commitdiff \| tree
2014-10-20	Philip Reames	Introduce a 'nonnull' metadata on Load instructions.	commit \| commitdiff \| tree
2014-08-21	Philip Reames	Minor refactor to make applying patches from 'Add a...	commit \| commitdiff \| tree
2014-08-21	Philip Reames	Whitespace change to reduce diff in future patch.	commit \| commitdiff \| tree
2014-08-21	Philip Reames	[X86] Split out the logic to select the stack probe...	commit \| commitdiff \| tree
2014-08-05	Philip Reames	Remove dead zero store to calloc initialized memory	commit \| commitdiff \| tree
2014-08-01	Philip Reames	Add support for StackMap section for ELF/Linux systems	commit \| commitdiff \| tree
2014-08-01	Philip Reames	Explicitly report runtime stack realignment in StackMap...	commit \| commitdiff \| tree

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