Age | Commit message (Expand) | Author |
---|---|---|
2019-06-27 | Merge "LockAgent: Refactor transformation code" | Treehugger Robot |
2019-06-20 | LockAgent: Add option to synthesize Java crash logging | Andreas Gampe |
2019-06-20 | LockAgent: Add ability to generate a native crash | Andreas Gampe |
2019-04-19 | LockAgent: Refactor transformation code | Andreas Gampe |
2019-04-12 | Framework: Lock inversion checker | Andreas Gampe |