3 Commits (3fb5427b0c2b3deb9abfac893bc3e2ec4e87e56a)

Author	SHA1	Message	Date
Josh Berdine	d1de5db6c8	[sledge] Document Equality variable context handling ... Summary: Many Equality functions accept and return a set of variables, document their function. Reviewed By: ngorogiannis Differential Revision: D20596492 fbshipit-source-id: b91ae7197	5 years ago
Josh Berdine	3b4b2f3999	[sledge] Add replay debugging for Equality ... Summary: This diff adds wrappers for Equality entry points that augment exceptions escaping out of Equality with an sexp that can be given back to Equality.replay in order to reexecute the function call that failed. A (bogus) example could be raising: ``` ((Failure "domains intersect: ((u8) %x_5)") (And_eq () (Ap1 (Unsigned (bits 8)) (Var (id 5) (name x))) (Var (id 6) (name y)) ((xs ()) (sat true) (rep (((Var (id 6) (name y)) (Var (id 5) (name x)))))))) ``` and then calling `Equality.replay {|(And_eq ...)|}`. Reviewed By: jvillard Differential Revision: D20583753 fbshipit-source-id: 80d855950	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