| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-11-07 | [CMake] Report git revision information if available. | Dan Liew | |
| This is done as a separate commit because it imports third party code. It's under the Boost license though so it "should be" fine. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |