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.

jrm 082ca6a90a Initial support for lazy dynamic dispatch ... Summary:public Lazy dynamic dispatch handling works as follows: Assuming a call of the form: foo(a); where the static type of `a` is `A`. If during the symbolic execution, the dynamic type of the variable `a` is `B` where `B <: A`, then we create on-demand a copy `foo(B)` of `foo(A)` where all the uses of the typed parameter `a` are replaced with a parameter of type `B`. Especially, if `foo` contains virtual call, say `get` where `a` is the receiver, then the call gets redirected to the overridden method in `B`, which simulates the runtime behavior of Java. This lazy dynamic dispatch mode is only turn on for the tracing mode for now in order to avoid conflicts with sblackshear's approach for sound dynamic dispatch. Reviewed By: sblackshear Differential Revision: D2888922 fb-gh-sync-id: 3250c9e shipit-source-id: 3250c9e		9 years ago
..
.settings	add ocp-indent configuration and eclipse launcher	9 years ago
backend	Initial support for lazy dynamic dispatch	9 years ago
checkers	Keep only on-demand infrastructure and delete the rest or the infrastructure.	9 years ago
clang	make tenv a typename -> struct_typ map	9 years ago
eradicate	Keep only on-demand infrastructure and delete the rest or the infrastructure.	9 years ago
harness	make tenv a typename -> struct_typ map	9 years ago
java	make tenv a typename -> struct_typ map	9 years ago
llvm	Bypass the interprocedural algorithm in Fork with ondemand, and replace it with a simple iteration.	9 years ago
opensource	Warn of unused open statements	9 years ago
scripts	Revamped Timeout module to save and restore seconds and symops.	9 years ago
Makefile.in	Add test_build target warnings not fatal otherwise	9 years ago
_tags	build ocaml with debug tag to enable stack traces	9 years ago