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.

Nikos Gorogiannis 1db53f43b5 [biabduction][models] move to sqlite ... Summary: Store model summaries in the `model_specs` database table instead of in spec files. This table is populated when a new database is created by loading a dump of the `specs` table in the models database. This avoids the perf and reliability implications of ATTACHing the same, non-read-only models-DB by many processes. - `BiabductionModels` is moved into `IR` so that `JsonReports` can access it. - The binary `sqlite3` is now required on the host compiling infer. Reviewed By: skcho Differential Revision: D23191601 fbshipit-source-id: 1532481ee		4 years ago
..
c/src	[biabd] delete model of gettimeofday()	4 years ago
cpp/src	[models] get rid of include-based C++ models	5 years ago
java	[java] store specs files same as clang models	5 years ago
objc/src	[closures preanalysis] [3/n] Adding models to dispatch functions and remove code for previous specialization and dispatch models	4 years ago
objcpp/src	[objc] pass SDK config to plugin	5 years ago
.inferconfig	[models] check in empty .inferconfig	7 years ago
Makefile	[biabduction][models] move to sqlite	4 years ago
models-config.make	[copyright] Remove years	6 years ago