8000 Tags · xuehuaze/infer · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: xuehuaze/infer

Tags

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-sy
8000
nc-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

v0.4.0

v0.3.0

Toggle v0.3.0's commit message 
Translate call instruction and construct call graph.

v0.2.0

Toggle v0.2.0's commit message 
bumping Infer version to 0.2.0

v0.1.1

Toggle v0.1.1's commit message 
Bump infer version to 0.1.1

v0.1.0

Toggle v0.1.0's commit message 
Fixed model for getc and fgetc
0