pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Move Eradicate files to a separate directory.

Browse Source 
Reviewed By: jberdine

Differential Revision: D2795316

fb-gh-sync-id: 1c60004
master
Cristiano Calcagno 9 years ago committed by facebook-github-bot-5
parent e607ceb5ba
commit a8ee0e6361
16 changed files with 0 additions and 0 deletions
Show Stats Download Patch File Download Diff File

0
infer/src/checkers/eradicate.ml → infer/src/eradicate/eradicate.ml
Unescape View File

0
infer/src/checkers/eradicate.mli → infer/src/eradicate/eradicate.mli
Unescape View File

0
infer/src/checkers/eradicateChecks.ml → infer/src/eradicate/eradicateChecks.ml
Unescape View File

0
infer/src/checkers/modelTables.ml → infer/src/eradicate/modelTables.ml
Unescape View File

0
infer/src/checkers/modelTables.mli → infer/src/eradicate/modelTables.mli
Unescape View File

0
infer/src/checkers/models.ml → infer/src/eradicate/models.ml
Unescape View File

0
infer/src/checkers/typeAnnotation.ml → infer/src/eradicate/typeAnnotation.ml
Unescape View File

0
infer/src/checkers/typeAnnotation.mli → infer/src/eradicate/typeAnnotation.mli
Unescape View File

0
infer/src/checkers/typeCheck.ml → infer/src/eradicate/typeCheck.ml
Unescape View File

0
infer/src/checkers/typeCheck.mli → infer/src/eradicate/typeCheck.mli
Unescape View File

0
infer/src/checkers/typeErr.ml → infer/src/eradicate/typeErr.ml
Unescape View File

0
infer/src/checkers/typeErr.mli → infer/src/eradicate/typeErr.mli
Unescape View File

0
infer/src/checkers/typeOrigin.ml → infer/src/eradicate/typeOrigin.ml
Unescape View File

0
infer/src/checkers/typeOrigin.mli → infer/src/eradicate/typeOrigin.mli
Unescape View File

0
infer/src/checkers/typeState.ml → infer/src/eradicate/typeState.ml
Unescape View File

0
infer/src/checkers/typeState.mli → infer/src/eradicate/typeState.mli
Unescape View File

Write Preview
Loading…
Cancel
Save