Programming Languages Research Group: Git

2016-01-03	Dimitry Andric	Fix one file that I didn't convert properly in r256707.	commit \| commitdiff \| tree
2016-01-03	Dimitry Andric	Fix several accidental DOS line endings in source files	commit \| commitdiff \| tree
2015-07-20	Dimitry Andric	Avoid early pipefail exits due to grep failures in...	commit \| commitdiff \| tree
2015-07-20	Dimitry Andric	Since BSD cmp(1) does not support the --ignore-initial...	commit \| commitdiff \| tree
2015-02-13	Dimitry Andric	Increase the CPU time timeout for testing from 10 to...	commit \| commitdiff \| tree

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