2 Commits (6a91ad4097a3647e6631cd8d37d258a0a787856c)

Author	SHA1	Message	Date
Mehdi Bouaziz	8615091615	[Summary] Pp simplifications ... Reviewed By: jeremydubreil Differential Revision: D7974404 fbshipit-source-id: 15006cf	7 years ago
Jules Villard	d207f29287	[specs] move biabduction-specific stuff to BiabductionSummary.ml ... Summary: Move the biabduction-specific payloads (the "`'a spec`" stuff) from specs.ml into a new `BiabductinoSummary` module, similar to other checkers. Reviewed By: ngorogiannis Differential Revision: D7935815 fbshipit-source-id: bdff3b9	7 years ago