Skip to content

Tags: puppet12306/infer

Tags

v1.1.0

Toggle v1.1.0's commit message
[Topl] add doc and change TOPL -> Topl

Summary:
Copied the documentation from a document created by rgrig
(thanks!!).

Reviewed By: rgrig

Differential Revision: D27325829

fbshipit-source-id: 118e1a2be

v1.0.0

Toggle v1.0.0's commit message
[website] misc. minor improvements

Summary:
- rename the checker "Uninitialized Variable" to "Uninitialized Value"
  as this is the name of the issue type
- delete timestamp XML comment from the man pages to avoid future git
  churn when updating the website
- counting is hard

Reviewed By: martintrojer

Differential Revision: D24219165

fbshipit-source-id: cf3057373

infer-annotation-0.18.0

Toggle infer-annotation-0.18.0's commit message
[maven-release-plugin] copy for tag infer-annotation-0.18.0

infer-annotation-0.17.2

Toggle infer-annotation-0.17.2's commit message
[maven-release-plugin] copy for tag infer-annotation-0.17.2

infer-annotation-0.17.1

Toggle infer-annotation-0.17.1's commit message
[maven-release-plugin] copy for tag infer-annotation-0.17.1

v0.17.0

Toggle v0.17.0's commit message
Bump facebook-clang-plugins version

Summary:
Use version 9386890 with fixes to setup script and less # of targets
to build.
update-submodule: facebook-clang-plugins

Reviewed By: jvillard

Differential Revision: D16604337

fbshipit-source-id: f371345ac

v0.16.0

Toggle v0.16.0's commit message
[man] fix bogus markup

Summary:
Replace `$(u,...)` with `$(i,...)` since `$(u,...)` doesn't exist.
Cmdliner was emitting a warning at runtime:

  cmdliner error: Unknown cmdliner markup $(u,...) in "Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as $(u,unique_ptr<type>)) will count as dead stores when the variables are not read explicitly by the program. (default: $(i,[]))"

Reviewed By: mbouaziz

Differential Revision: D15045004

fbshipit-source-id: e03ece4f7

v0.15.0

Toggle v0.15.0's commit message
[release] preparing for binary releases

Summary:
Change the documentation to refer to (upcoming) binary releases. Update the
scripts to treat .release differently: now we want to build clang and the
plugins even in release mode, as that's just the preparation for the release
tarball containing only binaries.

Reviewed By: mbouaziz

Differential Revision: D8235388

fbshipit-source-id: bfb4ae8

v0.14.0

Toggle v0.14.0's commit message
[cost] Removed dead abstract domains

Reviewed By: ddino

Differential Revision: D7781539

fbshipit-source-id: 28fef76

v0.13.1

Toggle v0.13.1's commit message
bump version 0.13.1