Programming Languages Research Group: Git

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