- 45fd4be [LifetimeAnalysis] Fix potential breakages for PruneTriviallyFalseEdges by Kinuko Yasuda · 1 year, 11 months ago
- 528862c Delete unused function: `SetExprObjectSetRespectingType`. by Lukasz Anforowicz · 2 years ago
- c04e9f9 Remove an extraneous include by Googler · 2 years, 1 month ago
- a12c9d5 Add support for calling functions that accept callbacks. by Luca Versari · 2 years, 1 month ago
- 9949b46 The LLVM patch https://reviews.llvm.org/D143920 changes the type signature of `transfer()`. Since this is a concept and not a virtual interface, we can prepare for this change by adding the new overload. by Googler · 2 years, 1 month ago
- 5082488 Add basic support for inferring lifetimes for callbacks. by Luca Versari · 2 years, 2 months ago
- cd873a6 Remove visit_lifetimes. by Luca Versari · 2 years, 2 months ago
- d1b2e69 Cleanup: remove kUseConstraintBasedAnalysis build-time flag. by Luca Versari · 2 years, 2 months ago
- efeaf27 Simplify handling of function calls, and prepare support for callbacks. by Luca Versari · 2 years, 2 months ago
- 53a2f58 Allow tracking of single-valued objects to be dynamic. by Luca Versari · 2 years, 2 months ago
- 0959cc4 Fix handling of co/invariance and flow-sensitive lifetimes in fn calls. by Luca Versari · 2 years, 5 months ago
- 5a414a2 Split GenerateConstraintsForAssignment in a Recursive and a NonRecursive part. by Luca Versari · 2 years, 6 months ago
- dae0e82 Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/lifetime_analysis`. by Wei Yi Tee · 2 years, 6 months ago
- c084315 Fix handling of co/invariance in constraint generation (for the last time?) by Luca Versari · 2 years, 7 months ago
- c6965ec Fix handling of (in)variance in GenerateConstraintsForAssignment. by Luca Versari · 2 years, 7 months ago
- 187176a Generate constraint for function calls. by Luca Versari · 2 years, 7 months ago
- cd257d3 Extend constraint generation to return values. by Luca Versari · 2 years, 7 months ago
- 1f9fc2e Generate constraints caused by initialization and assignment. by Luca Versari · 2 years, 8 months ago
- e5f66ad Add link in lifetime_analysis's README to the docs. by Luca Versari · 2 years, 8 months ago
- 2a1b27a Make TransferInitializer and CloneObject use pointers. by Martin Brænne · 2 years, 9 months ago
- 4d8cdfd Make ObjectSet store pointers instead of Object values by Martin Brænne · 2 years, 9 months ago
- 0581855 Make FunctionArgument::arg_object a pointer by Martin Brænne · 2 years, 9 months ago
- 2c003b6 Make methods on LifetimeVisitor return objects by Martin Brænne · 2 years, 9 months ago
- d7c0d0b Make various ObjectRepository methods return pointers. by Martin Brænne · 2 years, 9 months ago
- 46b5f07 Make GetDeclObject() return a pointer. by Martin Brænne · 2 years, 9 months ago
- e08ac88 Make GetBaseClassObject() return a pointer. by Martin Brænne · 2 years, 9 months ago
- 46f1a57 Make GetFieldObject() return a pointer. by Martin Brænne · 2 years, 9 months ago
- ba9a344 Rename `lifetime_points_to_set` to `lifetime_object_set` part 2. by Martin Brænne · 2 years, 9 months ago
- 239a221 Finish support for defaulted default constructors. by Martin Brænne · 2 years, 9 months ago
- 5d1a524 [NFC] Make `TransferLifetimesForCall()` available outside lifetime_analysis.cc. by Martin Brænne · 2 years, 9 months ago
- d714440 Rename lifetime_points_to_set to lifetime_to_object_set. by Martin Brænne · 2 years, 9 months ago
- d4560ce Fix forwarding of static lifetimes in function calls. by Martin Brænne · 2 years, 9 months ago
- ea74ebb Only overwrite destination points-to-set if we have a single object on the LHS. by Martin Brænne · 2 years, 10 months ago
- 99fddff Open-source lifetime inference/verification code. by Luca Versari · 2 years, 10 months ago