8056 Commits (0d3150d2173e42e7a0b95e7475e12405361c20d7)
 

Author SHA1 Message Date
Ezgi Çiçek a0fd5a0e6a [pulse] Refactor attributes into domain
5 years ago
Nikos Gorogiannis 72a7a0eaab [racerd] use typenames instead of strings in class map
5 years ago
Ezgi Çiçek 7c94ce8cd4 [cost] Fix nb_node_exec
5 years ago
Jules Villard 7d89e5e049 [scripts] delete check_hash_collisions.py
5 years ago
Mitya Lyubarskiy 897e3fa8af Remove FB-ONLY from publicly visible files
5 years ago
Fernando Gasperi Jabalera b8e6bb70b9 Add ProcLocker with a dummy implementation
5 years ago
Josh Berdine 9d12f6502f [sledge] Make aggregate sizes explicit when constructing equalities
5 years ago
Josh Berdine 77cc835199 [sledge] Strengthen Equality.solve_for_vars to concatenate extracts
5 years ago
Josh Berdine f1d94d58b0 [sledge] Strengthen Equality.solve_for_vars for vars under Memory
5 years ago
Josh Berdine 54a3982b1d [sledge] Simplify variable occurrence checking in Equality.solve
5 years ago
Josh Berdine c8ed6dae63 [sledge] Optimize and simplify Equality.solve_interp_eqs
5 years ago
Josh Berdine ffdb429f5e [sledge] Factor solve_poly_eq out of solve_interp_eq
5 years ago
Josh Berdine f3f41fbdf2 [sledge] Filter out trivial pure constraints in Sh.map
5 years ago
Josh Berdine 1e32743312 [sledge] Add Shostak solver for aggregate theory
5 years ago
Josh Berdine 232372f083 [sledge] Factor orient out of solve
5 years ago
Josh Berdine a75f2701c3 [sledge] Lambda-lift Equality.solve_
5 years ago
Josh Berdine a7b0d68574 [sledge] Support Equality.solve generating fresh variables
5 years ago
Josh Berdine 79a74f07c5 [sledge] Pass universal context to Equality.solve
5 years ago
Josh Berdine 06fcb210c9 [sledge] Add Shostak canonizer for aggregate theory
5 years ago
Josh Berdine 7bb1ec073a [sledge] Strengthen Term.invariant on aggregates
5 years ago
Josh Berdine 539b4a0b46 [sledge] Add term to Extract a slice out of an aggregate value
5 years ago
Josh Berdine 8af2a4644a [sledge] Refine dropping of tautologous existential constraints
5 years ago
Josh Berdine 65cff68ae8 [sledge] Strengthen Solver's treatment of existentials using Equality
5 years ago
Josh Berdine 200091fc78 [sledge] Add Equality.Subst.trim
5 years ago
Josh Berdine f0a660792e [sledge] Add Equality.solve_for_vars
5 years ago
Ezgi Çiçek 7cb11b587a [inferbo] Revise String.split's bounds
5 years ago
Jules Villard b948c3e182 [topl] delete unused test file
5 years ago
Dulma Churchill b1eb969635 [selfInBlock] Add a new check when strongSelf is captured in a (sub)block.
5 years ago
Mitya Lyubarskiy 19bc35d836 [nullsafe] Make condition redundant slightly less aggressive
5 years ago
Mitya Lyubarskiy 327aa001c3 [nullsafe] Propagate type origin to condition redundant type error
5 years ago
Nikos Gorogiannis ecea3ecb93 [ondemand] only provide procnames to cluster callbacks
5 years ago
Nikos Gorogiannis c878aa6135 [ondemand] remove type environments from cluster callbacks
5 years ago
Dulma Churchill edc47d4a96 [selfInBlock] Handle conditionals as well as ifs
5 years ago
Sungkeun Cho e0a4e53426 Fix segmentation fault in docker master build in Debian10
5 years ago
Dulma Churchill 430727519b [clang frontend] Translate BinaryOperators in ifs equally whether they are part of a ExprWithCleanups or not
5 years ago
Nikos Gorogiannis 5a1641d319 [racerd] kill non-deterministic test
5 years ago
Dulma Churchill 66c6a73cc6 [SelfInBlock] Report strongSelf Not Checked when strongSelf passed to a function as argument
5 years ago
Dulma Churchill 05bd4185e0 [SelfInBlock] Reporting strongSelf Not Checked only in field access
5 years ago
Fernando Gasperi Jabalera 11300370ed Add task_result type for scheduler analysis tasks
5 years ago
Radu Grigore fe736f4151 [topl] Added two (test) properties for ServletResponse.
5 years ago
Radu Grigore 6e6a33cd01 [topl] Added a test for ByteArrayOutputStream.
5 years ago
Artem Pianykh fe1fd57593 [nullsafe] Add a test for subclass annotation with multiple interfaces
5 years ago
Jules Villard a8b2c58bfb [pulse] new option to turn pulse back into an intra-procedural analysis
5 years ago
Martin Trojer 764b2229db [buck] also use the converted compdb paths before parsing
5 years ago
Martin Trojer 9e0922c269 [buck] Use project_root as base for compilation data file instead of cwd
5 years ago
Ezgi Çiçek d673bb0073 [cost] Move cost to its own realm and refactor
5 years ago
Nikos Gorogiannis f8e0a148d1 [starvation] simplify deadlock dedup
5 years ago
Mitya Lyubarskiy cf26c024bf [nullsafe] Specific error message for overriding Object.equals()
5 years ago
Ezgi Çiçek 2e8fc68080 [cost] Add mli file for CostDomain
5 years ago
Mitya Lyubarskiy d641c9ac9a [nullsafe] Better error message for inheritance rule, part 2
5 years ago