- ecf0079 Automatic code cleanup. by Googler · 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
- 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
- dae0e82 Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/lifetime_analysis`. by Wei Yi Tee · 2 years, 6 months ago
- 187176a Generate constraint for function calls. by Luca Versari · 2 years, 7 months ago
- 1f9fc2e Generate constraints caused by initialization and assignment. by Luca Versari · 2 years, 7 months ago
- 2a1b27a Make TransferInitializer and CloneObject use pointers. 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
- 5d1a524 [NFC] Make `TransferLifetimesForCall()` available outside lifetime_analysis.cc. by Martin Brænne · 2 years, 9 months ago
- 99fddff Open-source lifetime inference/verification code. by Luca Versari · 2 years, 10 months ago
