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