Jules Villard d8134e39cb [infer-out] change bugs.txt to report.txt ... Summary: Seems like a more sensible name. Most tooling should read report.json so won't notice. Still output a bugs.txt file with a message to point to report.txt while people migrate. Reviewed By: mityal, artempyanykh Differential Revision: D20626111 fbshipit-source-id: efb84d098		5 years ago
..
create_annotations_release.sh	Fix release script for infer-annotation JAR	6 years ago
create_binary_release.sh	[inferbo] Revert external relational domains (apron, elina)	5 years ago
infer_repl	[build] Replace custom make cmds w/ dune promotion and byte_complete	5 years ago
make-strict-mode.sh	[infer-out] change bugs.txt to report.txt	5 years ago
opam_utils.sh	[build] fix opam_retry	5 years ago
toplevel_init	Simplify payloads with ppx_fields_conv	6 years ago