You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jia Chen 3e82890d6d Teach the prover and the normalizer aliasing rules between pointers and integers ... Reviewed By: sblackshear Differential Revision: D5604587 fbshipit-source-id: c8045df		8 years ago
..
biabduction	Added constant-folding support for shifting	8 years ago
bufferoverrun	[clang] correct sizeof info	8 years ago
errors	Teach the prover and the normalizer aliasing rules between pointers and integers	8 years ago
frontend	[C] Fix issue with enum initialization lists	8 years ago