source: doc/papers/general/evaluation/.gitignore@ 80e83b6c

stuck-waitfor-destruct
Last change on this file since 80e83b6c was 604e76d, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

initial setup for general and concurrency papers
  • Property mode set to 100644
File size: 46 bytes
Line 
1c-bench
2cpp-bench
3cpp-vbench
4cfa-bench
5*.o
6*.d
Note: See TracBrowser for help on using the repository browser.