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 8325630da1
remove the function Sil.get_typ and use Sil.tenv_lookup instead
10 years ago
..
.settings add ocp-indent configuration and eclipse launcher 10 years ago
backend remove the function Sil.get_typ and use Sil.tenv_lookup instead 10 years ago
checkers remove the function Sil.get_typ and use Sil.tenv_lookup instead 10 years ago
clang Use the Mangled module to name the parameters in the procudure description instead of simple string 10 years ago
harness remove the function Sil.get_typ and use Sil.tenv_lookup instead 10 years ago
java Use the Mangled module to name the parameters in the procudure description instead of simple string 10 years ago
llvm Use the Mangled module to name the parameters in the procudure description instead of simple string 10 years ago
opensource fix open-source taint models 10 years ago
scripts Remove unnecessary code from Arg module 10 years ago
Makefile.in do not use --delete when rsyncing annotations 10 years ago
_tags add empty _tags file to pacify ocaml 10 years ago