Programming Languages Research Group: Git

2013-07-22	Mihai Popa	This adds range checking for "ldr Rn, [pc, #imm]" Thumb	commit \| commitdiff \| tree
2013-07-03	Mihai Popa	This corrects the implementation of Thumb ADR instruction...	commit \| commitdiff \| tree
2013-06-11	Mihai Popa	It adds support for negative zero offsets for loads...	commit \| commitdiff \| tree
2013-06-11	Mihai Popa	This patch adds support for FPINST/FPINST2 as operands...	commit \| commitdiff \| tree
2013-06-05	Mihai Popa	This is a simple patch that changes RRX and RRXS to...	commit \| commitdiff \| tree
2013-05-20	Mihai Popa	VSTn instructions have a number of encoding constraints...	commit \| commitdiff \| tree
2013-05-20	Mihai Popa	Q registers are encoded in fields of the same length...	commit \| commitdiff \| tree
2013-05-13	Mihai Popa	The purpose of the patch is to fix the syntax of ARM...	commit \| commitdiff \| tree
2013-05-08	Mihai Popa	This patch fixes two tests marked as XFAIL among the...	commit \| commitdiff \| tree
2013-04-30	Mihai Popa	s tightens up the encoding description for ARM post...	commit \| commitdiff \| tree

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