Skip to content

Tags: VDPrasad/infer

Tags

v0.9.3

Toggle v0.9.3's commit message
bump version: 0.9.2 -> 0.9.3

Reviewed By: cristianoc

Differential Revision: D3892772

fbshipit-source-id: cda9448

v0.9.2

Toggle v0.9.2's commit message
bump version: 0.9.1 -> 0.9.2

Reviewed By: jberdine

Differential Revision: D3751244

fbshipit-source-id: 6192883

v0.9.1

Toggle v0.9.1's commit message
do not print infer.py usage message on wrong arguments

Summary:
On wrong arguments (or on no arguments at all), `infer` would spew the error
message of `infer.py`, which makes no sense. Make the python code swallow error
messages and exit with a special code on errors coming from command line
parsing so that the OCaml side is in charge of printing usage messages.

Reviewed By: cristianoc

Differential Revision: D3731594

fbshipit-source-id: fe49cda

v0.9.0

Toggle v0.9.0's commit message
Move a few missing tests to the new location

Reviewed By: jvillard

Differential Revision: D3598867

fbshipit-source-id: 199f477

v0.8.1

Toggle v0.8.1's commit message
update clang command-line flags that we filter out

Summary:Open-source clang has caught up a bit with apple's clang, so we don't need to
filter as many compilation flags as we used to.

Reviewed By: akotulski, martinoluca

Differential Revision: D3212553

fb-gh-sync-id: 5638dc8
fbshipit-source-id: 5638dc8

v0.8.0

Toggle v0.8.0's commit message
Restore translating C++ methods only in cxx experimental mode

Reviewed By: ddino

Differential Revision: D3048117

fb-gh-sync-id: bf12437
shipit-source-id: bf12437

v0.7.0

Toggle v0.7.0's commit message
version 0.7.0

Reviewed By: jeremydubreil

Differential Revision: D2922080

fb-gh-sync-id: 67e1862
shipit-source-id: 67e1862

v0.6.0

Toggle v0.6.0's commit message
Bump version number for release

Reviewed By: jvillard

Differential Revision: D2840164

fb-gh-sync-id: 5d7aea3

v0.5.0

Toggle v0.5.0's commit message
Fix broken test

Summary: public In this example we now get a dangling pointer dereference, so contains exactly doesn't work.

Reviewed By: jvillard

Differential Revision: D2773769

fb-gh-sync-id: 64d1044