.gitignore « benchmarks - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/benchmarks/.gitignore

blob: fa9cc884c4b2895989af2a6b23d9218bde488c8d (plain)

*.clog
*.iver
*.comp
*.tmp
*.v
*-exec.csv