Skip to content

Tags: kenkyee/infer

Tags

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.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