| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | comparison.csv | 2363 | logstatsplain |
| -rw-r--r-- | comparison.numbers | 217028 | logstatsplain |
| -rw-r--r-- | coqup.csv | 945 | logstatsplain |
| -rw-r--r-- | legup.csv | 1028 | logstatsplain |
 |
index : oopsla21_fvhls | |
| Formal verification of high-level synthesis. |
| summaryrefslogtreecommitdiffstats |