- c6965ec Fix handling of (in)variance in GenerateConstraintsForAssignment. by Luca Versari · 2 years, 7 months ago
- e06f94b Add debug-dot visualization for LifetimeConstraints. by Luca Versari · 2 years, 7 months ago
- 187176a Generate constraint for function calls. by Luca Versari · 2 years, 7 months ago
- d430c3f Improve points-to-map debug printing. by Luca Versari · 2 years, 7 months ago
- cd257d3 Extend constraint generation to return values. by Luca Versari · 2 years, 7 months ago
- 91a56ff Implement application of constraints to FunctionLifetimes. by Luca Versari · 2 years, 7 months ago
- 1f9fc2e Generate constraints caused by initialization and assignment. by Luca Versari · 2 years, 8 months ago
- 8122285 Add LifetimeConstraints to the lattice. 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
- 57ddcf9 Migrate Clang tools to a std-compatible interface of llvm::Optional by Dmitri Gribenko · 2 years, 8 months ago
- 57e0bfa Make Object non-copyable as well as non-moveable. by Martin Brænne · 2 years, 9 months ago
- 617c92b Remove value semantics from Object. by Martin Brænne · 2 years, 9 months ago
- 1b98ac6 Make ObjectRepository use pointers instead of Object values throughout. by Martin Brænne · 2 years, 9 months ago
- b5c794b Make VisitLifetimes use pointers by Martin Brænne · 2 years, 9 months ago
- a5098e1 Make PointsToMap use pointers instead of Object values. by Martin Brænne · 2 years, 9 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
- af59468 ObjectRepository: Add overloads that take pointers. by Martin Brænne · 2 years, 9 months ago
- 565b8eb FindLifetimeSubstitutions and TransferDefaultConstructor now take a pointer by Martin Brænne · 2 years, 9 months ago
- d892fe5 Make points_to_map_test use pointer versions of methods. by Martin Brænne · 2 years, 9 months ago
- 65bae0a Make object_set_test use pointer versions of member functions. by Martin Brænne · 2 years, 9 months ago
- 06b9642 Make value of object_cache_ be a pointer. 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
- 493d4d4 Make CreateObjects take a pointer 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
- b891677 ObjectSet and PointsToMap: Add overloads that accept pointers. by Martin Brænne · 2 years, 9 months ago
- e9a4a47 Make value of ObjectRepository::MapType a pointer. by Martin Brænne · 2 years, 9 months ago
- ecd58c3 Make value of initialized_objects_ 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
- a7ca838 Make value of BaseObjects a pointer. by Martin Brænne · 2 years, 9 months ago
- b6764af Make value of FieldObjects a pointer. by Martin Brænne · 2 years, 9 months ago
- 3b587cf Make value of static_objects_ a pointer. by Martin Brænne · 2 years, 9 months ago
- 982a115 Make values of call_expr_args_objects_ and call_expr_this_pointers_ pointers. by Martin Brænne · 2 years, 9 months ago
- d8e3214 Make value type of initial_parameter_object_ a pointer. by Martin Brænne · 2 years, 9 months ago
- 8f8e4fe Make value of temporary_objects_ a pointer. by Martin Brænne · 2 years, 9 months ago
- 04fb3a4 Turn this_object_ and return_object_ into pointers. by Martin Brænne · 2 years, 9 months ago
- 4a1231d Introduce the ObjectRepository::CreateObject...() object allocation functions. by Martin Brænne · 2 years, 9 months ago
- 5740582 Move most private members of `ObjectRepository` to the bottom. 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
- 7438ce1 Refactor `AnalyzeSingleFunctionBody()`. by Martin Brænne · 2 years, 9 months ago
- b9a5e0f Error out if a pointer of static lifetime points at an object of local lifetime. 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
- 5c6549f Add test demonstrating failure to forward static lifetimes through function call by Martin Brænne · 2 years, 9 months ago
- fb8153d Extend class comment for `ObjectRepository`. by Martin Brænne · 2 years, 9 months ago
- d7f2009 Add documentation for `ObjectRepository::const_iterator`. by Martin Brænne · 2 years, 9 months ago
- e7266f8 Rename lifetime_value_types_ to object_value_types_. by Martin Brænne · 2 years, 9 months ago
- 1c097f2 Add `CreateThisLifetimes()` to `FunctionLifetimeFactory` interface. by Martin Brænne · 2 years, 9 months ago
- 712b7f4 Thread `TypeLoc` through `FunctionLifetimes` and `ValueLifetimes`. by Martin Brænne · 2 years, 9 months ago
- 03d9330 Add `const Expr *` parameter to LifetimeFactory. by Martin Brænne · 2 years, 9 months ago
- bcdfe32 Remove unused parameters from LifetimeFactory. 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
