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.

Benno Stein 637fff5247 [sledge] Check for intrinsic calls in used-globals analysis ... Summary: Fixes a bug where are all calls are treated as intrinsics in used globals analysis, since exec_intrinsic is invoked at _all_ calls to determine which are intrinsic, not only at call sites known to target intrinsics. Reviewed By: jberdine Differential Revision: D17499406 fbshipit-source-id: 41f7621f2		5 years ago
..
bin	[sledge] Use dune's Build_info for version reporting	5 years ago
model	[sledge] Build models without threads support	5 years ago
semantics	[sledge sem] Start sketching translation correctness	5 years ago
src	[sledge] Check for intrinsic calls in used-globals analysis	5 years ago
test	[sledge] Add option to skip recursive calls at depth bound	5 years ago
tools	[sledge] Use dune's Build_info for version reporting	5 years ago
.clang-format	Add initial version of LLAIR and LLVM to LLAIR translation	7 years ago
.gitignore	[sledge] Use dune's Build_info for version reporting	5 years ago
.ocamlformat	[sledge] Update build system, etc.	6 years ago
.ocp-indent	Add initial version of LLAIR and LLVM to LLAIR translation	7 years ago
Makefile	[sledge] Use dune's Build_info for version reporting	5 years ago
ROADMAP.org	[sledge] Update roadmap	6 years ago
TODO.org	[sledge] Add global merge pass	5 years ago
dune	[sledge] Generate and commit cli help	5 years ago
dune-common.in	[sledge] Add dbg-opt build mode	5 years ago
dune-project	[sledge] Simplify build	6 years ago
dune-workspace	[sledge] Add dbg-opt build mode	5 years ago
llair.opam	[sledge] Upgrade base to v0.12	6 years ago
sledge-help.txt	[sledge] Add used-globals abstract domain and transfer functions	5 years ago
sledge.opam	[sledge] Use dune's Build_info for version reporting	5 years ago