4 Commits (bb37447bd5f1750e5e5f980597f2bfe15be0c5c0)

Author	SHA1	Message	Date
BSKY	d080b7806c	[infer][PR] Add some minor changes to the website ... Summary: | Before | After | | :----------------------------------------------------------------------------------------------------------------------------------------: | :----------------------------------------------------------------------------------------------------------------------------------------: | |  |  | Pull Request resolved: https://github.com/facebook/infer/pull/1245 Reviewed By: dulmarod Differential Revision: D20766774 Pulled By: jvillard fbshipit-source-id: d7ab17998	5 years ago
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
Jules Villard	e38f51f969	[debt] kill --procs-csv ... Summary: It's a lot of code to maintain for something that no one ever uses anymore. Reviewed By: ngorogiannis Differential Revision: D20282794 fbshipit-source-id: 28422c415	5 years ago
BSKY	14aee52eee	[infer][PR] Migrate Website to Docusaurus 2 ... Summary: Context: https://github.com/facebook/infer/issues/1171 Pull Request resolved: https://github.com/facebook/infer/pull/1190 Reviewed By: jberdine Differential Revision: D19330662 Pulled By: jvillard fbshipit-source-id: d5b3d920c	5 years ago