8000 Commits · imranali123/infer · GitHub

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

Commits

Commits on Sep 8, 2015

[Eradicate] Allow assigning null to fields marked @InjectView to support ButterKnife.
Cristiano Calcagno
committed
[eradicate] generalize domain from two fields (nullable, present) to a map
Cristiano Calcagno
committed
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
Cristiano Calcagno
committed

Commits on Sep 7, 2015

[Fixed] Specify to clang to use x86_64 to build models and tests for ObjectiveCxx
martinoluca
committed

Commits on Sep 4, 2015

Commits on Sep 3, 2015

[Infer][Gradle plugin] Fixing issue where files are captured twice
sblackshear
committed
Update script that creates releases
Irene Papakonstantinou
committed

Commits on Sep 2, 2015

Commits on Sep 1, 2015

Commits on Aug 30, 2015

[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
Cristiano Calcagno
committed

Commits on Aug 28, 2015

[eradicate] handle methods overridden in other files
Cristiano Calcagno
committed
[clang] Generating procedures only if there isn't a spec for them already.
dulmarod
committed

Commits on Aug 27, 2015

Commits on Aug 26, 2015

Commits on Aug 25, 2015

Commits on Aug 24, 2015

0