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.

Timotej Kapus ad035a4cc7 [sledge] Fix handling of bitcasts in call instr ... Summary: Some call instructions in LLVM bitcast the function, for example `%call = call i32 (i64, ...) bitcast (i32 (...)* @__llair_alloc to i32 (i64, ...)*)(i64 %conv)` This would cause sledge to crash in LLVM when build with assertions. Reviewed By: jberdine Differential Revision: D15779003 fbshipit-source-id: c273f92db		6 years ago
..
config	[sledge] Put all the entry points in the config	6 years ago
import	[sledge] Add formal parameters to functions for return values	6 years ago
llair	[sledge] Fix handling of bitcasts in call instr	6 years ago
ppx_trace	[sledge] Add Trace.{printf,fprintf,kprintf}	6 years ago
symbheap	[sledge] Add formal parameters to functions for return values	6 years ago
trace	[sledge] Use more standard interface for Trace.parse	6 years ago
control.ml	[sledge] Add formal parameters to functions for return values	6 years ago
control.mli	[sledge] Add CL option to disable exceptions	6 years ago
dune.in	[sledge] Put all the entry points in the config	6 years ago
report.ml	[sledge] Skeleton for symbolic execution of unsafe intrinsics	6 years ago
report.mli	[sledge] Skeleton for symbolic execution of unsafe intrinsics	6 years ago
sledge.ml	[sledge] Add CL option to disable exceptions	6 years ago
sledge.mli	[ocamlformat] upgrade to ocamlformat 0.7	6 years ago
sledge_buck.ml	[sledge] Put all the entry points in the config	6 years ago
sledge_buck.mli	[sledge] Rework command line interface	6 years ago
version.ml.in	[sledge] Rework command line interface	6 years ago
version.mli	[sledge] Update entry point and command line interface	6 years ago