pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '8b7208df62'
${ noResults }
infer_clone/infer/src/base
History
Josh Berdine f89e687efa
[ocamlformat] Use ocamlformat from github 		7 years ago
..
CommandDoc.ml [ocamlformat] Use ocamlformat from github 7 years ago
CommandDoc.mli [help] in infer --help, show in which manual each option can be found 8 years ago
CommandLineOption.ml [ocamlformat] Use ocamlformat from github 7 years ago
CommandLineOption.mli [log] disable --keep-going in strict mode 8 years ago
Config.ml [ocamlformat] Use ocamlformat from github 7 years ago
Config.mli [cleanup] rename thread-safety analysis 7 years ago
DB.ml [ocamlformat] Use ocamlformat from github 7 years ago
DB.mli [sql] Cache key blobs 8 years ago
Die.ml [ocamlformat] Use ocamlformat from github 7 years ago
Die.mli [ocamlformat] Use ocamlformat from github 7 years ago
Epilogues.ml [ocamlformat] Use ocamlformat from github 7 years ago
Epilogues.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
Escape.ml [ocamlformat] Use ocamlformat from github 7 years ago
Escape.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
IssueType.ml [ocamlformat] Use ocamlformat from github 7 years ago
IssueType.mli [infer][clang] initial version of a nullable checker for Clang languages 7 years ago
Latex.ml [ocamlformat] Use ocamlformat from github 7 years ago
Latex.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
Logging.ml [ocamlformat] Use ocamlformat from github 7 years ago
Logging.mli [log] print sensible backtrace and message on `Logging.die` 8 years ago
MarkupFormatter.ml [ocamlformat] Use ocamlformat from github 7 years ago
MarkupFormatter.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
MergeResults.ml [ocamlformat] Use ocamlformat from github 7 years ago
MergeResults.mli [sql] let sqlite handle the attributes update logic 8 years ago
Multilinks.ml [ocamlformat] Use ocamlformat from github 7 years ago
Multilinks.mli [format] Attach docstrings to be warning 50 clean, other doc fixes 8 years ago
Pp.ml [ocamlformat] Use ocamlformat from github 7 years ago
Pp.mli [clang] distinguish genuine internal failures from unimplemented features 8 years ago
PrettyPrintable.ml [ocamlformat] Use ocamlformat from github 7 years ago
PrettyPrintable.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
Process.ml [ocamlformat] Use ocamlformat from github 7 years ago
Process.mli [AL] Use Parmap to schedule parallel processes on compilation-database-based analyses 8 years ago
ProcessPool.ml [ocamlformat] Use ocamlformat from github 7 years ago
ProcessPool.mli [ocamlformat] Use ocamlformat from github 7 years ago
ResultsDir.ml [ocamlformat] Use ocamlformat from github 7 years ago
ResultsDir.mli [ocamlformat] Use ocamlformat from github 7 years ago
Serialization.ml [ocamlformat] Use ocamlformat from github 7 years ago
Serialization.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
SourceFile.ml [ocamlformat] Use ocamlformat from github 7 years ago
SourceFile.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
SqliteUtils.ml [ocamlformat] Use ocamlformat from github 7 years ago
SqliteUtils.mli [ocamlformat] Use ocamlformat from github 7 years ago
StatisticsToolbox.ml [ocamlformat] Use ocamlformat from github 7 years ago
StatisticsToolbox.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
SymOp.ml [ocamlformat] Use ocamlformat from github 7 years ago
SymOp.mli [ocamlformat] Use ocamlformat from github 7 years ago
Utils.ml [ocamlformat] Use ocamlformat from github 7 years ago
Utils.mli [time] do not rely on gettimeofday for measuring time 8 years ago
Version.ml.in [infer] python integration: parser, cfg support 8 years ago
Version.mli [infer] python integration: parser, cfg support 8 years ago
ZipLib.ml [ocamlformat] Use ocamlformat from github 7 years ago
ZipLib.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago