projects / soc.git / blob
? search:


e7b8b1117035e01255a178b94291bfddd9e71874
[soc.git] / src / soc / experiment / formal / .gitignore
1 proof*/**
2 *.il
3 *.vcd