infer_clone

Author	SHA1	Message	Date
Josh Berdine	148d3d366f	[sledge] Cleanup ppx_trace docs Reviewed By: jvillard Differential Revision: D21441541 fbshipit-source-id: 939266e72	5 years ago
Josh Berdine	7e4673cbeb	[sledge] Improve Equality invariant checking and debugging support Summary: Ensure all entry points check the representation invariant before returning, and strengthen it to check the constraints on preference between representative terms, and to check that the relation is closed. Reviewed By: jvillard Differential Revision: D20612566 fbshipit-source-id: b345397c4	5 years ago
Josh Berdine	8880dd48eb	[sledge] Remove base dep from ppx_trace Reviewed By: jvillard Differential Revision: D20322875 fbshipit-source-id: 8e7f15eaf	5 years ago
Josh Berdine	b6ddd8fe8e	[sledge] Rearrange into CLI binary and LLVM-independent library Summary: Move files, adjust build system, etc. This also separates out the ppx_trace conditional compilation debug tracing machinery into an independent package and library. Reviewed By: jvillard Differential Revision: D20322876 fbshipit-source-id: a50522462	5 years ago