3052 Commits (500f0fd5d52f5d3f3ac2eaab3c04e4882d5fc554)
 

Author SHA1 Message Date
Sam Blackshear 3b161a3737 [thread-safety] interprocedural traces for thread safety checker
8 years ago
Sam Blackshear 579b982359 [thread-safety] Lay the groundwork for interprocedural trace-based reporting
8 years ago
Andrzej Kotulski ea4cf13992 [tests] remove inferTest script
8 years ago
Cristiano Calcagno 827d7c3d9c [backend][perf] Address top performance bottleneck from profiling the backend.
8 years ago
Sam Blackshear 226791b631 [ondemand] simplify API by removing need to pass type environment
8 years ago
Sam Blackshear 01136cc326 [thread-safety] interprocedural analysis
8 years ago
Sam Blackshear 937ae12f29 [thread-safety] adding models for lock methods
8 years ago
Jeremy Dubreil cead43b731 [infer][genrule] run the genrule integration as part of the Buck integration test
8 years ago
Josh Berdine 198bc00df7 Remove Utils compare and equal functions
8 years ago
Josh Berdine 83408d4d6a ppx_compare TypeErr
8 years ago
Josh Berdine 177124ce76 ppx_compare IntLit
8 years ago
Josh Berdine 608ed877d3 ppx_compare RepeatedCallsChecker
8 years ago
Josh Berdine bebb00074d ppx_compare CheckTraceCallSequence
8 years ago
Josh Berdine 9fb2258284 ppx_compare Dom
8 years ago
Josh Berdine 81d3e7085a ppx_compare Dotty
8 years ago
Josh Berdine 6e322d96e8 ppx_compare Prover
8 years ago
Josh Berdine 47368b8ae6 ppx_compare Specs
8 years ago
Josh Berdine 5d69d04578 ppx_compare TypeAnnotations
8 years ago
Josh Berdine 0c8a583cb0 ppx_compare CFrontend_utils
8 years ago
Josh Berdine 71664c7828 ppx_compare SiofTrace
8 years ago
Josh Berdine e397afa085 ppx_compare CContext
8 years ago
Josh Berdine 0b605c694c ppx_compate Cfg
8 years ago
Josh Berdine da8cbe55fd ppx_compare JavaTrace
8 years ago
Josh Berdine 0eb864d800 ppx_compare CppTrace
8 years ago
Josh Berdine fe7a0c2483 ppx_compare State
8 years ago
Josh Berdine 97639ba236 ppx_compare Paths
8 years ago
Josh Berdine bbd5ef385d ppx_compare ProcCfg
8 years ago
Josh Berdine 85d15bcc49 ppx_compare Trace
8 years ago
Josh Berdine b94b5f1c58 ppx_compare Procdesc
8 years ago
Josh Berdine 48dcd7bb92 ppx_compare Source
8 years ago
Josh Berdine 75527525e5 ppx_compare Errlog
8 years ago
Josh Berdine 4e849fa5d5 ppx_compare Localise
8 years ago
Josh Berdine 344e724a85 ppx_compare Prop
8 years ago
Josh Berdine 356d081e1f ppx_compare AccessPath
8 years ago
Josh Berdine 9bc72ad790 ppx_compare Var
8 years ago
Josh Berdine aa5998a9d1 ppx_compare Sil
8 years ago
Josh Berdine 6298d043e6 ppx_compare PredSymb
8 years ago
Josh Berdine 71ed8c9e1d ppx_compare Exp
8 years ago
Josh Berdine e36a768d0c Use natural order of Cast expressions
8 years ago
Josh Berdine f73f997e5a ppx_compare TraceElem
8 years ago
Josh Berdine 10046e1848 ppx_compare Passthrough
8 years ago
Josh Berdine 1a0df1029a ppx_compare CallSite
8 years ago
Josh Berdine 8097de5bfd ppx_compare Mleak_buckets
8 years ago
Josh Berdine 25c3cb41bd ppx_compare CallFlags
8 years ago
Josh Berdine 7a5e7c28b5 ppx_compare Const
8 years ago
Josh Berdine 952855288d ppx_compare StructTyp
8 years ago
Josh Berdine 122d2b031f ppx_compare Unop
8 years ago
Josh Berdine cbec3453a3 ppx_compare Typ
8 years ago
Josh Berdine 72b1cd0816 ppx_compare Subtype
8 years ago
Josh Berdine b11e483500 ppx_compare Pvar
8 years ago