You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Josh Berdine a3e7107969 [sledge] Optimize variable renaming in symbolic heaps ... Summary: Add shortcut code paths to return early in some cases guaranteed to be the identity function. Reviewed By: ngorogiannis Differential Revision: D15468704 fbshipit-source-id: f137049c6		6 years ago
..
domain.ml	[sledge] Skeleton for symbolic execution of unsafe intrinsics	6 years ago
domain.mli	[sledge] Skeleton for symbolic execution of unsafe intrinsics	6 years ago
dune.in	[sledge] Build system support inline tests in all libraries	6 years ago
equality.ml	[sledge] Simplify Equality.map_exps	6 years ago
equality.mli	[sledge] Use ppx_compare to define equal functions	6 years ago
equality_test.ml	[sledge] Optimize equality solver treatment of atomic exps	6 years ago
equality_test.mli	[sledge] Revise Sh.dnf to handle nested existentials	6 years ago
exec.ml	[sledge] Add abort instruction and use it for abort and llvm.trap	6 years ago
exec.mli	[sledge] Skeleton for symbolic execution of unsafe intrinsics	6 years ago
sh.ml	[sledge] Optimize variable renaming in symbolic heaps	6 years ago
sh.mli	[sledge] Revise Sh.dnf to handle nested existentials	6 years ago
sh_test.ml	[sledge] Revise Sh.dnf to handle nested existentials	6 years ago
sh_test.mli	[sledge] Revise Sh.dnf to handle nested existentials	6 years ago
solver.ml	[sledge] Improve debug tracing	6 years ago
solver.mli	[sledge] Add frame inference solver over symbolic heaps	6 years ago
solver_test.ml	[sledge] Add Solver tests demonstrating incompleteness	6 years ago
solver_test.mli	[sledge] Revise Sh.dnf to handle nested existentials	6 years ago