diff options
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -86,6 +86,7 @@ creduce_bug_*/ /docs/man/ /docs/manual/ /docs/src/ +/html/ *~ *.man @@ -94,3 +95,5 @@ creduce_bug_*/ /bin /share /results* + +_CoqProject |
index : vericert | ||
Vericert is a formally verified high-level synthesis tool. |
aboutsummaryrefslogtreecommitdiffstats |
-rw-r--r-- | .gitignore | 3 |
@@ -86,6 +86,7 @@ creduce_bug_*/ /docs/man/ /docs/manual/ /docs/src/ +/html/ *~ *.man @@ -94,3 +95,5 @@ creduce_bug_*/ /bin /share /results* + +_CoqProject |