Programming Languages Research Group: Git

2006-09-11	Nick Lewycky	Skip the linear search if the answer is already known.	commit \| commitdiff \| tree
2006-09-10	Nick Lewycky	Replace EquivalenceClasses with a custom-built data...	commit \| commitdiff \| tree
2006-09-02	Nick Lewycky	Improve handling of SelectInst.	commit \| commitdiff \| tree
2006-09-01	Nick Lewycky	Don't confuse canonicalize and lookup. Fixes predsimplify...	commit \| commitdiff \| tree
2006-08-31	Nick Lewycky	This program crashes the PredicateSimplifier. Not marked...	commit \| commitdiff \| tree
2006-08-31	Nick Lewycky	Properties where both Values weren't in the union ...	commit \| commitdiff \| tree
2006-08-30	Nick Lewycky	Move to using the EquivalenceClass ADT. Removes SynSets.	commit \| commitdiff \| tree
2006-08-29	Nick Lewycky	The list is sorted by name.	commit \| commitdiff \| tree
2006-08-28	Nick Lewycky	Add PredicateSimplifier pass. Collapses equal variables...	commit \| commitdiff \| tree

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