Bot releases are hidden (Show)
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