afa416ed4e
add toplevel Makefile
...
Reviewed By: jeremydubreil
Differential Revision: D2703006
fb-gh-sync-id: 04b9df8
9 years ago
dbfa1f7c69
migrate infer/annotations/Makefile
...
Summary:
public
Create Makefile.config.in to hold paths to various source directories used
in infer/annotations/Makefile.
Reviewed By: jeremydubreil
Differential Revision: D2702986
fb-gh-sync-id: b5eb5bf
9 years ago
529d103977
refactor reading json
...
Summary: public
Small refactoring.
Reviewed By: martinoluca
Differential Revision: D2679581
fb-gh-sync-id: 26f8ca2
9 years ago
12e37c97fc
sort the list of bugs in order to preserve the position of the entries in the JSON file
...
Summary: public
The main objective here is to reduce the list of changes as much as possible to that the change set in the JSON base case only relates to the changes in Infer
Reviewed By: sblackshear
Differential Revision: D2661085
fb-gh-sync-id: 113a695
9 years ago
81e143b3be
move csv and json constants to issues.py
...
Reviewed By: martinoluca
Differential Revision: D2646844
fb-gh-sync-id: 03d7f80
9 years ago
1848f6deba
move paths constants to config.py
...
Reviewed By: martinoluca
Differential Revision: D2642391
fb-gh-sync-id: 21271e6
9 years ago
b2b2322db7
rename INFER to INFER_EXECUTABLE
...
Summary: public this follows the naming in other scripts
Reviewed By: jeremydubreil
Differential Revision: D2646981
fb-gh-sync-id: 4c69c1f
9 years ago
6d649259c8
unbreak the error path
...
Summary: public
a casualty from a previous refactoring
Reviewed By: jberdine
Differential Revision: D2642065
fb-gh-sync-id: a569bfa
9 years ago
d50a401cd0
replace string constants for json fields with variables
...
Summary: public
Now that we have modules, we can gather string constants in one place only.
Reviewed By: jeremydubreil
Differential Revision: D2615791
fb-gh-sync-id: 7cc21e4
9 years ago
872ce8ea87
move python code to infer package
...
Summary: public
This unclutters infer/bin/ and gives more structure to infer/lib/
Reviewed By: jeremydubreil
Differential Revision: D2605809
fb-gh-sync-id: 508fc2c
9 years ago
9466aeaef3
Revert "Revert "Revert "[sync] syncing files to github"""
...
Reviewed By: martinoluca
Differential Revision: D2626393
fb-gh-sync-id: 4c54703
9 years ago
289fdaccd4
Add the version as an argument to the packaging script
...
Reviewed By: @jvillard
Differential Revision: D2531363
fb-gh-sync-id: 71c1c59
9 years ago
4263b9a7c6
Add integration tests for Ant-based Java projects
...
Reviewed By: @cristianoc
Differential Revision: D2516653
fb-gh-sync-id: 67be26c
9 years ago
d27d0b5c9d
Update script that creates releases
9 years ago
6e29be8559
output sensible version number without git or .git
...
Summary:
Create infer/src/backend/version.ml even if git is not installed or returns
errors. This is useful for source releases of Infer, which need to be able to
produce a sensible version number without a .git repository.
See also #167 .
9 years ago
027ba53203
Create source release for infer including clang binaries
9 years ago
721cc1957c
Specify to clang to use x86_64 to build models and tests for ObjectiveCxx
9 years ago
204b2ccc53
Make facebook-clang-plugins a submodule @update-submodule: facebook-clang-plugins
9 years ago
3e199467f4
Complete copyright messages.
10 years ago
df04749cd0
Add module to fix copyright messages.
10 years ago
d95c4cd12c
[Fix][Clang] Add the standard includes of clang into the binaries
...
Summary:
@public
This change adds the includes of clang into the binaries, to solve problems like the ones described in
https://github.com/facebook/infer/issues/69
https://github.com/facebook/infer/issues/77
Test Plan: I tested the newly generated binaries of clang with cpp files importing `memory` and it compiles.
10 years ago
c3a1e501bc
Fix tests script to add multiple targets
10 years ago
b8982270f2
initial synchronization
10 years ago
Jules Villard
jrm
Irene Papakonstantinou
martinoluca
Cristiano Calcagno
Open Source Synchronization