7630 Commits (6e1cca731c9b37c6eedcaf2a511b2a92af047fe6)
 

Author SHA1 Message Date
Nikos Gorogiannis ea645cceab [racerd] behave more angelically when dealing with certain methods without summary
5 years ago
Sungkeun Cho ab7c61b836 [inferbo] Extend bound domain to express multiplication of bounds
5 years ago
Sungkeun Cho 82db1c1350 [pulse] Share subst function of itv
5 years ago
Nikos Gorogiannis 7a538c5004 [starvation][whole-program] thread class
5 years ago
Nikos Gorogiannis aef34d8384 [starvation][whole-program] analyze constructors for initial attribute state
5 years ago
Nikos Gorogiannis 82a9f1ac65 [starvation][whole-program] Looper and Handler models and semantics
5 years ago
Artem Pianykh 6564dc9e2f [nullsafe] Add androidx.core.util.Preconditions.checkNotNull models
5 years ago
Jules Villard 9610ceb4b8 [pulse] substitute inferbo attributes in callee summaries
5 years ago
Josh Berdine 517b99e673 [sledge] Avoid infix monad operators in non-pipeline code
5 years ago
Dulma Churchill c9c4adebc2 [AL] Improve the predicate for checking visibility attribute and example rule for checking macro for category implementation
5 years ago
Dulma Churchill 48da570aa0 [AL] Introduce a way of binding the two witnesses of an AND formula
5 years ago
Josh Berdine c9449cce77 [sledge] Some simplifications using let+
5 years ago
Josh Berdine f60ce32125 [sledge] Undeprecate Not_found in the implementation of Import
5 years ago
Josh Berdine 0999d202ad [sledge] Remove dead List.remove
5 years ago
Josh Berdine 661db9db76 [sledge] Implement Map.find_and_remove more directly
5 years ago
Josh Berdine 30aa8aa3b9 [sledge] Basic definitions for monadic binding operators
5 years ago
Josh Berdine cfbbacf9f1 [sledge] Improve using extended open
5 years ago
Josh Berdine 7ed8a6a260 [sledge] Simplify and improve using local subst in sigs
5 years ago
Josh Berdine b22d8b4151 [sledge] Simplify using shadowing of modules from includes
5 years ago
Josh Berdine b1a6928a50 [sledge] Avoid wildcard exception handler
5 years ago
Josh Berdine f2be1cbed0 [sledge] Hashtbl.Key has been deprecated in favor of Hashtbl.Key.S
5 years ago
Josh Berdine b5915db605 [sledge] Clear terminal between builds in watch mode
5 years ago
Jules Villard df49f318f6 [pulse] havoc formals passed by reference to unknown procedures
5 years ago
Jules Villard 32f60f3d3c [pulse] model the fact `free(0)` is a no-op
5 years ago
Jules Villard 3fbefbad34 [pulse] model some of `std::atomic`
5 years ago
Sungkeun Cho da849cc320 [pulse] Add binop arithmetic for BoItv
5 years ago
Sungkeun Cho 61ae040077 [pulse] Add bo_itv to pulse attributes
5 years ago
Mitya Lyubarskiy b41593acb7 [nullsafe] Specify "InferredNonnull" type origin even if it was already Nonnull
5 years ago
Dulma Churchill 75794301dc [AL] Refactor CTL formulas and debugger into separate modules
5 years ago
Dulma Churchill c3e16dbdbc [AL] Remove unused tableaux evaluation
5 years ago
Josh Berdine 48fd99d48f [sledge] Avoid matching on Not_found
5 years ago
Josh Berdine e201e517c9 [sledge][NFC] Refactor to avoid an unused open warning
5 years ago
Josh Berdine 6c5d9d4acb [sledge] Remove dependency on ppx_import
5 years ago
Sungkeun Cho 81667f25ae [cost] Update issues.exp
5 years ago
Josh Berdine 2303cadb73 [ocamlformat] unbreak
5 years ago
Sungkeun Cho 8fa098474e [cost] Fix the model of substring
5 years ago
Ezgi Çiçek fb56f42716 [infer] Rename value to arg_payload in ProcnameDispatcher.Call.FuncArg
5 years ago
Ezgi Çiçek eb8c8af117 [pulse] Move models to ProcnameDispatcher style
5 years ago
Dulma Churchill 766fc2c072 [AL] Adding a new transition to siblings
5 years ago
Sungkeun Cho b15395ad60 [infer] Remove marker from procname dispatcher
5 years ago
Ezgi Çiçek 3d181bd831 [infer] Polymorphic value type for `FuncArg`
5 years ago
Ezgi Çiçek 3792b9b17a [infer] Record the value of function arguments in ProcnameDispatcher calls
5 years ago
Mitya Lyubarskiy b2910c1336 [nullsafe] More specific error messaging for Null nullability
5 years ago
Mitya Lyubarskiy 29ae8086ec [nullsafe] Introduce Null nullability type
5 years ago
Mitya Lyubarskiy 7d1959a5aa [nullsafe][bug fix] Introduce a param guiding optimistic treatment of third party params and fix a bug in the current behavior.
5 years ago
Mitya Lyubarskiy 473147eb40 [nullsafe] Respect third party repo when identifying whether to hide bad param calls
5 years ago
Mitya Lyubarskiy bd426954a3 [nullsafe][easy][bug fix] Swap over reporting for undeclared and already declared third party
5 years ago
Nikos Gorogiannis 624d7d7930 [starvation][whole-program] more models
5 years ago
Nikos Gorogiannis 404caf3bb4 [starvation][whole-program] track runnables as attributes
5 years ago
Nikos Gorogiannis 20a7e9d75b [starvation][whole-program] add a bit of typestate/dataflow
5 years ago