3db68bcb4c
Create .start file when infer starts
...
Reviewed By: jberdine, cristianoc
Differential Revision: D2926803
fb-gh-sync-id: 5992487
shipit-source-id: 5992487
9 years ago
d31b041fba
Replace CRC module with Digest.
...
Reviewed By: jberdine
Differential Revision: D2906134
fb-gh-sync-id: 08dd19f
9 years ago
7938fbb344
Fixing 'file name too long' errors
...
Reviewed By: cristianoc
Differential Revision: D2894470
fb-gh-sync-id: 7eec316
9 years ago
dc0b91662a
Save space/simplify by deleting Exe.file_map
...
Reviewed By: jeremydubreil
Differential Revision: D2868560
fb-gh-sync-id: b8f9155
9 years ago
a774f5e733
compile with -safe-string
...
Summary: public so that we don't introduce more string mutations in the future.
Reviewed By: jberdine
Differential Revision: D2729167
fb-gh-sync-id: 746319a
9 years ago
a62c71290b
[infer] Change the error message when the project root is not a prefix of the absolute path of the source files
...
Summary:
More verbose error in the case where the project root is not a prefix of the source file path
10 years ago
6911a1516c
[whitespace] ocp-indent the code
...
Summary:
This commit is the result of
`find infer/src -name '*.ml' -or -name '*.mli' -exec ocp-indent -i \{\} \;`
and
`INFER_CHECK_COPYRIGHT=1 InferPrint`
10 years ago
3e199467f4
Complete copyright messages.
10 years ago
b8982270f2
initial synchronization
10 years ago
Andrzej Kotulski
Cristiano Calcagno
Sam Blackshear
Jules Villard
jrm
Open Source Synchronization