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.

Sungkeun Cho f0f91b21c6 [inferbo] Distinguish array declaration and size-setting in trace ... Summary: This diff distinguishes array declaration and size-setting in trace. For example, when there is an assume statement on an array size, the array size can be pruned to another value. In which case, we want to see "Set array size" in the trace, instead of "Array declaration". Reviewed By: jvillard Differential Revision: D20914930 fbshipit-source-id: 0253fb69e		5 years ago
..
annotations	[infer][PR] Release infer-annotations 0.17.2	5 years ago
bin	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
etc	[clang] replace yojson frontend with biniou frontend	9 years ago
lib	[python] it's just a flesh wound	5 years ago
man/man1	[inferbo] Limit depth of abstract location	5 years ago
models	[nullsafe] Error reporting: recommend non-nullable alternarives for known nullable methods	5 years ago
src	[inferbo] Distinguish array declaration and size-setting in trace	5 years ago
tests	[inferbo] Distinguish array declaration and size-setting in trace	5 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	9 years ago
IR.mld	[odoc] fix doc generation, no need for public names	5 years ago
atd.mld	[odoc] fix doc generation, no need for public names	5 years ago
base.mld	[odoc] fix doc generation, no need for public names	5 years ago
dune	[odoc] fix doc generation, no need for public names	5 years ago
dune-project	[dune] ignore all dirs except src/	5 years ago
dune-workspace.in	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
index.mld	[odoc] fix doc generation, no need for public names	5 years ago
infer.mld	[odoc] fix doc generation, no need for public names	5 years ago
infer.opam	[dune] ignore all dirs except src/	5 years ago
istd.mld	[odoc] fix doc generation, no need for public names	5 years ago