3070 Commits (c8cad5b0f125142e8dce2753508f0f2ef331694d)
 

Author SHA1 Message Date
Josh Berdine 2a8bf53e9e Don't allow new deprecated uses
8 years ago
Josh Berdine fc976bc3ef Core.Std.( ^/ )
8 years ago
Josh Berdine 7834c95bc8 Silence deprecation warnings
8 years ago
Josh Berdine 2e66dcfac4 Open Core.Std by default, still use Caml Hashtbl, Map, Set
8 years ago
Josh Berdine e438314776 Divide Utils into Utils, Pp, and IStd
8 years ago
Josh Berdine 23cda11fda Core.Std.Int.Set
8 years ago
Josh Berdine 900da595b1 Core.Std.String.Table
8 years ago
Josh Berdine 78ec954ae2 Core.Std.String.Map
8 years ago
Josh Berdine e00c4cd2dd Core.Std.String.Set and remove unused StringPPSet
8 years ago
Josh Berdine 76f8450203 Move proc_flags from Utils to ProcAttributes
8 years ago
Josh Berdine f86fc2ce2d Core.Std.Stack
8 years ago
Josh Berdine 7e6278baeb Core.Std.Printexc
8 years ago
Josh Berdine e4618541dc Core.Std.Int64
8 years ago
Jeremy Dubreil 027bdc32e8 [infer][genrule] Add example of Buck DEFS macro to generate Infer analysis targets
8 years ago
Josh Berdine 8a3707825c Core.Std.Gc
8 years ago
Josh Berdine e5b41a67d0 Core.Std.Char
8 years ago
Josh Berdine c2abce7e3a Core.Std.Array
8 years ago
Josh Berdine 7708fc7c56 Remove extlib dependency
8 years ago
Josh Berdine de2e6c9d88 Core.Std.Option
8 years ago
Josh Berdine 4ea3410b47 Core.Std.Sys
8 years ago
Josh Berdine 9d1b495f57 Core.Std.Unix
8 years ago
Josh Berdine c094287428 Convert Process.create_process_and_wait to Core.Std.Unix
8 years ago
Josh Berdine 81d616a50b Convert Process.run_jobs_in_parallel to Core.Std.Unix
8 years ago
Josh Berdine 53c170ca0a More uniform and explicit treatment of program and arguments
8 years ago
Josh Berdine 0467c9cde1 Convert DB module to Core.Std.Unix
8 years ago
Josh Berdine 57c37f93c9 Convert Infer module to Core.Std.Unix
8 years ago
Josh Berdine 7d57469d2f Core.Std.Filename
8 years ago
Josh Berdine 782e9d69f6 Core.Std.Bool
8 years ago
Josh Berdine e415b73786 Core.Std.String
8 years ago
Josh Berdine a2930b7007 Core.Std.Int
8 years ago
Jeremy Dubreil a0b83ed693 [infer][test] The command should change directory outside the call to silent_on_success
8 years ago
Jeremy Dubreil d47d977322 [infer][java] Do not use multicore when creating the models
8 years ago
Andrzej Kotulski 78dfe85468 [clang] Make sl_file store source file instead of string
8 years ago
Sam Blackshear 831786240a [quandary] ignore null assignments to return value in void functions
8 years ago
Yunxing Dai 1509ae8798 Upgrade yarn to latest version
8 years ago
Sam Blackshear 45ad904c1f [quandary] use actuals in JavaTrace.taint_all
8 years ago
Andrzej Kotulski 56f8757337 [SourceFile] Move DB.SourceFile into separate file
8 years ago
Jules Villard e5863f5420 [siof] handle constexpr constructors
8 years ago
Andrzej Kotulski 69b39dacb0 [DB] Create module for SourceFile
8 years ago
Andrzej Kotulski 3096e8448b Update version of facebook-clang-plugins
8 years ago
Andrzej Kotulski e4a93d5e13 [c++] s/cxx_experimental/cxx
8 years ago
Yunxing Dai 214e9bee1b Use new version of camlp4 and ocp-build
8 years ago
Jeremy Dubreil 2edafcee92 [infer][backend] Save the pretty-print of the type environment when running the analysis in debug mode
8 years ago
Andrzej Kotulski 5310b617fe [c++] turn on c++ analysis by default
8 years ago
Jeremy Dubreil e029612421 [infer][backend] the pp_base parameter was not used anywhere
8 years ago
Jeremy Dubreil d89c69dbe6 [infer][java] Adding the android.jar in the classpath is not needed anymore
8 years ago
Sam Blackshear e212183e7e [thread-safety] don't count accesses in methods of builder classes
8 years ago
Jules Villard b0a5495611 [UI] add source context to reports in bugs.txt
8 years ago
Dino Distefano bd216f3205 Fixed problem with evaluation of sizeof which would give false positive
8 years ago
Matthew Edwards 7d559f4783 Update to Infer v0.9.4.1
8 years ago