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 c5f261e977 [sledge] [summaries] Fix variable naming bugs ... Summary: This fixes two bugs: * All local variables would get existentially quantified out, that means the the local variables of the caller couldn't be restored properly * Frame was added back on after the formals were killed. Which meant that if frame talked about formals (in pure for example), those formals would remain to be free variables. Reviewed By: ngorogiannis Differential Revision: D16091157 fbshipit-source-id: dfe12ed82		5 years ago
..
bin	[sledge] Add dbg-opt build mode	5 years ago
model	[sledge] Build models without threads support	5 years ago
src	[sledge] [summaries] Fix variable naming bugs	5 years ago
test	[sledge] Add test for use-after-destroy of a temp	6 years ago
tools	[sledge] Generate and commit cli help	5 years ago
.clang-format	Add initial version of LLAIR and LLVM to LLAIR translation	7 years ago
.gitignore	[sledge] Revise test scripts	6 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] Add dbg-opt build mode	5 years ago
ROADMAP.org	[sledge] Update roadmap	6 years ago
TODO.org	[sledge] Combine scan_locs and scan_names into a single pass	6 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 -margin flag for debug tracing output	5 years ago
sledge.opam	[sledge] Add dbg-opt build mode	5 years ago