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.

Kihong Heo 42a3176882 Fix the widening operator of the Map functor ... Summary: This commit avoids using the join operator for the widening of the Map functor in ```abstractDomain.ml``` and ensures termination when ```ValueDomain``` is infinite by using ```ValueDomain.widen```. Closes https://github.com/facebook/infer/pull/535 Differential Revision: D4319797 Pulled By: sblackshear fbshipit-source-id: 16f15e4		8 years ago
..
annotations	Remove support for SuppressWarnings annotations	8 years ago
bin	[make] make infer/src/Makefile less phony	8 years ago
etc	[clang] replace yojson frontend with biniou frontend	9 years ago
lib	Directly handle javac -version option in build command	8 years ago
models	[make] do not confuse the jobserver	8 years ago
src	Fix the widening operator of the Map functor	8 years ago
tests	[threadsafety] Fix situation where @NotThreadSafe is reported on, when super is @ThreadSafe	8 years ago
.merlin	[base] remove C stubs for ioctl in favour of Ctypes	8 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	9 years ago