Bot releases are visible (Hide)
Published by jvillard over 8 years ago
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
--reactive
mode to rapidly analyze the effects of a code change. Be sure to check out the documentation of the new workflow. As a result, the incremental mode (--incremental
) is now deprecated.--pmd-xml
flag to Infer (see infer --help
).@SuppressWarnings("infer")
in your Java projects to annotate methods or classes where Infer shouldn't report.This release incorporates a number of contributions (#284 #289 #300 #301) and addresses a number of issues (#279 #281 #283 #288 #291 #294).
For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.8.0.tar.xz
4942ca2c8ad9e76ff6e31c6473b7f360cc95d9db43218dc7747ae34aef6294f4 ?infer-linux64-v0.8.0.tar.xz
2b494a2b595bd7cf0f0cfaac4e9bece568575a4bcf25cc00161ed34c0319dc58 ?infer-osx-v0.8.0.tar.xz
Published by jvillard over 8 years ago
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
This release addresses a number of bugs, eg #270 #274 #275 #276. Thanks to all of you who reported bugs!
There are also new features:
For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.7.0.tar.xz
b8c4f32bc286893aded3302a2915a66fe7e799edbbaf286ffdcc5218866db3ae ?infer-linux64-v0.7.0.tar.xz
c83753c04bea8ad1dae3877d23d094d963d293b5d926a21ea8ea9443c870404a ?infer-osx-v0.7.0.tar.xz
Published by sblackshear almost 9 years ago
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
New features:
For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ shasum -a 256 -p infer-*-v0.6.0.tar.xz
26abc0312c892b53e4b93c22c2c051381ce1012a3d8458e8e2574b27302eec37 infer-linux64-v0.6.0.tar.xz
8a1c4d0425c0ef3efcf4683cdbeebba63f3dd2fd5e75df4f04142dc9a5a5f15d infer-osx-v0.6.0.tar.xz
Published by jvillard almost 9 years ago
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
New features:
@PerformanceCritical
and @Expensive
method annotations. Infer will check that an expensive method is never called during the execution of a performance critical method (run it with infer -a checkers -- ...
).For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ shasum -a 256 infer-*-v0.5.0*.tar.xz
9d6eefeb63742bd408bc5769e93f34b378b36c0561c8e80035797c1be0c6fc66 infer-linux64-v0.5.0.tar.xz
6a8547ac0b75a5e2bbeccae2169e39f753a60adbcacb6c94599fd31343a71ce7 infer-osx-v0.5.0.tar.xz
Published by irpap about 9 years ago
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ sha256sum infer-*-v0.4.0.tar.xz
bb84656153b59ff43f477c2432039195b614ecb5c19ed2a3f73aea7921696730 infer-osx-v0.4.0.tar.xz
14f6e6d96a450d7acb17de0b26b136851d1b2815edd267e5865ea0af7aaf2887 infer-linux64-v0.4.0.tar.xz
Published by irpap about 9 years ago
This is a source release of Infer packaged with pre-built binaries for clang and facebook-clang-plugins for Linux and MacOS. To use it follow these instructions.
For the full list of changes included see here.
The sha256 checksums of the tarballs are:
$ sha256sum infer-*-v0.3.0.tar.xz
325013468da5b221e81ad3f1ba348e07a87f061c698e46b32d20f94d599ab463 infer-linux64-v0.3.0.tar.xz
cfd17c647098baff2875f3ff4db994f2ee02e7b5577cde5fe59ee21ec57a2d44 infer-osx-v0.3.0.tar.xz
Published by jvillard over 9 years ago
Notable fixes and improvements:
Action required to compile from source when upgrading from a previous version:
opam update && opam upgrade
. You'll alsomake -C infer clean
before recompiling Infer../update-fcp.sh && ../facebook-clang-plugin/clang/setup.sh && ./compile-fcp.sh
.See the full list of changes here.
Published by jvillard over 9 years ago
This release fixes a number of bugs. Non-exhaustive list below.
assert
(closes #68)@import
(closes #2)Published by jvillard over 9 years ago