Programming Languages Research Group: Git

2018-03-07	Peizhao Ou	Ensures further conditional branch tainting instructions...	commit \| commitdiff \| tree
2018-03-07	Peizhao Ou	Adds cast to 64-bit integers and set fake conditional...	commit \| commitdiff \| tree
2018-03-07	Peizhao Ou	Adds bogus conditional branch after all relaxed loads	commit \| commitdiff \| tree
2017-12-05	Peizhao Ou	Sets insertion point of fake cond branch to the last...	commit \| commitdiff \| tree
2017-12-05	Peizhao Ou	Fixes undominating relaxed loads issue	commit \| commitdiff \| tree
2017-11-29	Peizhao Ou	Fixes a bug in finding the upcoming store/conditional...	commit \| commitdiff \| tree
2017-11-29	Peizhao Ou	Generates conditional branch instead of fake ones for...	commit \| commitdiff \| tree
2017-11-20	Peizhao Ou	Reverts wrong modification to MachineBlockPlacement...	commit \| commitdiff \| tree
2017-11-17	Peizhao Ou	Fixes the issue of removing manually added fake conditional...	commit \| commitdiff \| tree
2017-11-17	Peizhao Ou	Adds fake conditional branches right after relaxed...	commit \| commitdiff \| tree
2017-11-16	Peizhao Ou	Fixes untainted branch that is immediately after relaxed...	commit \| commitdiff \| tree
2017-11-15	Peizhao Ou	Taints relaxed loads to enforce load/store ordering	commit \| commitdiff \| tree
2017-11-08	Peizhao Ou	Modifies AtomicExpandPass to transform relaxed loads...	commit \| commitdiff \| tree

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