| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-05-26 | gitignore build | Jörg Thalheim | |
| 2015-12-13 | Ignore some generated files that will be visible if doing an in source | Dan Liew | |
| build. Spotted by @domainexpert | |||
| 2015-12-13 | Ignore some autoconf generated files. | Dan Liew | |
| 2014-09-12 | Update .gitignore. | Daniel Dunbar | |
| 2014-01-20 | * Do not ignore lit.local.cfg files needed for llvm-lit | Dan Liew | |
| * Ignore lit.site.cfg file. | |||
| 2013-10-11 | Added Output/ and site.exp to .gitignore | Cristian Cadar | |
| 2013-08-26 | Add Debug and Debug+Asserts in .gitignore. | Lei Zhang | |
| 2013-08-26 | Add .gitignore | Lei Zhang | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/.gitignore