| Mode | Name | Size | |
|---|---|---|---|
| d--------- | benchmark_results | 224 | logstatsplain |
| -rw-r--r-- | comparison.csv | 2670 | logstatsplain |
| -rw-r--r-- | comparison.numbers | 209098 | logstatsplain |
| -rw-r--r-- | coqup.csv | 1013 | logstatsplain |
| -rw-r--r-- | exec-time.csv | 2879 | logstatsplain |
| -rw-r--r-- | legup.csv | 1102 | logstatsplain |
| d--------- | legup_results_div | 367 | logstatsplain |
| -rw-r--r-- | poly.csv | 2393 | logstatsplain |
| -rw-r--r-- | results.org | 42783 | logstatsplain |
| -rw-r--r-- | slice-div.csv | 1298 | logstatsplain |
| -rw-r--r-- | slice-nodiv.csv | 1359 | logstatsplain |
 |
index : oopsla21_fvhls | |
| Formal verification of high-level synthesis. |
| summaryrefslogtreecommitdiffstats |