| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | convert.sh | 817 | logstatsplain |
| d--------- | docker | 118 | logstatsplain |
| -rwxr-xr-x | download_artifact.sh | 337 | logstatsplain |
| -rw-r--r-- | gather_data.rkt | 4240 | logstatsplain |
| -rw-r--r-- | run-legup.sh | 516 | logstatsplain |
| -rwxr-xr-x | run-vivado.sh | 178 | logstatsplain |
| -rw-r--r-- | statistics.py | 1946 | logstatsplain |
| -rw-r--r-- | synth.tcl | 4905 | logstatsplain |
| -rw-r--r-- | verilator_main.cpp | 866 | logstatsplain |
 |
index : vericert | |
| Vericert is a formally verified high-level synthesis tool. |
| aboutsummaryrefslogtreecommitdiffstats |