1. e07c0cf Merge "LockAgent: Refactor transformation code" by Treehugger Robot · 5 years ago
  2. 8695b40 LockAgent: Add option to synthesize Java crash logging by Andreas Gampe · 5 years ago
  3. 5e2a884 LockAgent: Add ability to generate a native crash by Andreas Gampe · 5 years ago
  4. cbc93c7 LockAgent: Refactor transformation code by Andreas Gampe · 5 years ago
  5. 72ede72 Framework: Lock inversion checker by Andreas Gampe · 6 years ago