bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Expand)	Author	Age	Files	Lines
*	[analyzer] Fix constraint being dropped when analyzing a program without tain...	Mikhail R. Gadelha	2018-07-16	1	-3/+2
*	[analyzer] Model and check unrepresentable left shifts	Gabor Horvath	2018-01-22	1	-0/+6
*	[analyzer] Left shifting a negative value is undefined	Gabor Horvath	2017-10-30	1	-0/+7
*	[Analyzer] Clarify error messages for undefined result	Daniel Marjamaki	2017-10-11	1	-3/+17
*	Revert "[analyzer] Support generating and reasoning over more symbolic constr...	Dominic Chen	2017-07-12	1	-4/+5
*	[analyzer] Support generating and reasoning over more symbolic constraint types	Dominic Chen	2017-07-12	1	-5/+4
*	Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...	Dominic Chen	2017-03-03	1	-1/+1
*	Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...	Dominic Chen	2017-03-02	1	-1/+1
*	Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...	Dominic Chen	2017-03-02	1	-1/+1
*	Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...	Dominic Chen	2017-03-02	1	-1/+1
*	Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...	Dominic Chen	2017-03-02	1	-1/+1
*	Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...	Dominic Chen	2017-02-28	1	-1/+1
*	Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...	Dominic Chen	2017-02-28	1	-1/+1
*	Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...	Dominic Chen	2017-02-27	1	-1/+1
*	[analyzer] NFC: Update test infrastructure to support multiple constraint man...	Dominic Chen	2017-02-27	1	-1/+1
*	[analyzer] Shitfing a constant value by its bit width is undefined.	Jordan Rose	2014-01-16	1	-1/+19
*	[analyzer] Add tests for symbolic expression liveness.	Jordan Rose	2012-09-25	1	-0/+14