8000 Commits · teazj/infer · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Oct 26, 2016

[SIOF] detect which variables need initialization

jvillard
authored and
Facebook Github Bot
committed
[make] generate test rules automatically, add cpp checkers tests

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 25, 2016

[clang] treat constexpr as const too

jvillard
authored and
~~Facebook Github Bot~~
~~committed~~

Commits on Oct 20, 2016

~~[clang] store args into files for Buck compilation db too~~

jvillard
authored and
Facebook Github Bot
committed
~~[buck compilation db] use -- to pass buck command to BuckCompilationDatabase~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 19, 2016

~~bump version of javalib and sawja~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 18, 2016

~~[clang] cleanup obsolete python code~~

jvillard
authored and
Facebook Github Bot
committed
~~[clang] write clang arguments into a file~~

jvillard
authored and
Facebook Github Bot
committed
~~[clang] convert filter_args_and_run_fcp_clang to OCaml~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 17, 2016

~~[siof] check origin of globals and complain if potential siof~~

jvillard
authored and
Facebook Github Bot
committed
~~[travis] use new reason version~~

jvillard
authored and
Facebook Github Bot
committed
~~[clang] translate global var initializers~~

jvillard
authored and
Facebook Github Bot
committed
~~[base] resolve links when guessing which executable we are running, move infer into bin/~~

jvillard
authored and
Facebook Github Bot
committed
~~make annoying tput shut up~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 13, 2016

~~[checkers] make SimpleCheckers compile~~

jvillard
authored and
Facebook Github Bot
committed
~~[logging] always set up logging on startup~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 12, 2016

~~[clang] rewrite plugin attachment logic in OCaml~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 7, 2016

~~[llvm] delete llvm frontend~~

jvillard
authored and
Facebook Github Bot
committed
~~[lint] check copyright notices for Reason files too~~

jvillard
authored and
Facebook Github Bot
committed
~~[clang] kill unused plugin~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 6, 2016

~~[clang] do not depend on Config.clang_lang and Config.source_file~~

jvillard
authored and
Facebook Github Bot
committed
~~[clang] rewrite hijack_and_normalize_clang_command in OCaml~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Oct 3, 2016

~~[clang] minor cleanups~~

jvillard
authored and
Facebook Github Bot
committed
~~[utils] return process exit status in with_process_{in,full} helpers~~

jvillard
authored and
Facebook Github Bot
committed

Commits on Aug 31, 2016

~~give correct type to root exps of array dereferences~~

jvillard
authored and
Facebook Github Bot 2
committed

Commits on Aug 30, 2016

~~move printing module to its own file~~

jvillard
authored and
Facebook Github Bot 8
committed

Commits on Aug 26, 2016

~~replace boolean by named argument in Inteproc.propagate~~

jvillard
authored and
Facebook Github Bot 6
committed

Commits on Aug 23, 2016

~~pass -l to infer.py~~

jvillard
authored and
Facebook Github Bot 8
committed

Commits on Aug 22, 2016

~~bump version: 0.9.1 -> 0.9.2~~

jvillard
authored and
Facebook Github Bot
committed
~~detect unsigned values inside structured expressions~~

jvillard
authored and
Facebook Github Bot 0
committed
~~move --fail-on-issue functionality to OCaml~~

jvillard
authored and
Facebook Github Bot 0
committed

Commits on Aug 19, 2016

~~align --help and support -h~~

jvillard
authored and
Facebook Github Bot 3
committed
~~test that running infer deletes the previous infer-out folder~~

jvillard
authored and
Facebook Github Bot 1
committed
~~compile *.java files only~~

jvillard
authored and
Facebook Github Bot 7
committed

Commits on Aug 18, 2016

~~exit with correct error code when infer.py fails~~

jvillard
authored and
Facebook Github Bot 8
committed

~~Previous~~

~~Next~~

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Docs

Contact

0