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

Commit Graph

  • 6d1a269ca2 update INSTALL.md to require exactly python 2.7 Andrzej Kotulski 2015-06-15 11:30:35 -0100
  • f47166eb44 Always start scripts with python2.7 Andrzej Kotulski 2015-06-15 09:52:36 -0100
  • 6803fb62e8 Synchronize opam installation files jrm 2015-06-12 20:08:39 -0700
  • 553d39eb7d Add OPAM metadata files to permit direct installation of Infer Anil Madhavapeddy 2015-06-12 16:05:08 -0700
  • 4526ada822 [infer][Java] temporarily catching the Invalid_argument exception raised by classname with $$ in the name jrm 2015-06-12 09:24:04 -0700
  • ee3f88a6c1 Remove unused SCRIPT_FOLDER variable Andrzej Kotulski 2015-06-12 12:24:48 -0100
  • 879d7757c7 [INSTALL] point to the website for the binary install Jules Villard 2015-06-12 12:21:33 -0100
  • 1d90ed49c3 Update infer to support symlinking Dan Ambrisco 2015-06-12 11:49:21 -0100
  • 231043f5bc [Infer][bucketing] Moving warnings on dereferences of @Nullable params from B5 -> B1, Sam Blackshear 2015-06-11 13:50:30 -0600
  • 2bce7c6c3d [infer][Java] rename the builtin `InferBuiltins.__infer_assume` into `InferBuiltins.assume` jrm 2015-06-11 07:48:30 -0700
  • 34b911c935 [clang] Fixing the tests for the models of getc. Dulma Rodriguez 2015-06-11 13:22:23 -0100
  • 3ce393f511 Fixed model for getc and fgetc Dino Distefano 2015-06-11 09:53:29 -0100
  • 044df14616 a simple text visualisation of error traces Jules Villard 2015-06-11 09:35:02 -0100
  • c3a1e501bc Fix tests script to add multiple targets martinoluca 2015-06-11 09:00:52 -0100
  • 0fc2f28cba [infer][OSS] use the name Infer instead of INFER in the scripts jrm 2015-06-10 17:26:53 -0700
  • 0062172651 discard git and hg errors in vcs queries Jules Villard 2015-06-10 23:25:25 -0100
  • aa7bf8e69b [infer] fix inconsistencies between the errors that are saved in the generated reports and what is saved in standard output jrm 2015-06-10 14:24:51 -0700
  • 8f9cef0320 [Infer][backend] Fixing bug in removal of abducted program variables Sam Blackshear 2015-06-10 14:35:55 -0600
  • 859631effa more precise gcc and Python requirements in INSTALL.md Jules Villard 2015-06-10 16:21:49 -0100
  • 58debe92be add tarballs to .gitignore Jules Villard 2015-06-10 16:14:27 -0100
  • 4820a0b9fc add version information to InferAnalyze output Jules Villard 2015-06-10 16:04:07 -0100
  • 26108302d2 [infer] report number of files analysed in the absence of *.cfg Jules Villard 2015-06-10 13:45:23 -0100
  • f62005a761 Add simple check for python version Andrzej Kotulski 2015-06-10 13:44:25 -0100
  • 9b145bf5c8 [OSS] Remove info about clang_frontend_stats since it's not public. Dulma Rodriguez 2015-06-10 11:02:11 -0100
  • a6e65c2970 [Readme] Fix link. Cristiano Calcagno 2015-06-10 08:57:57 -0200
  • 459ebb7eb9 Commit alignment martinoluca 2015-06-10 09:48:51 -0100
  • 0df8829783 [OSS] Adding FILES.md Dulma Rodriguez 2015-06-10 09:33:10 -0100
  • 03e3ceb71f Adding docs about the files in bin Dulma Rodriguez 2015-06-09 19:23:07 -0100
  • 085f9ebdd5 Slightly change sync config Andrzej Kotulski 2015-06-09 15:34:54 -0100
  • 93cd195aef [Infer][frontend] Removing logging from inferJ Sam Blackshear 2015-06-09 09:20:36 -0600
  • b8982270f2 initial synchronization Open Source Synchronization 2015-06-09 17:35:48 +0000