| Mode | Name | Size | |
|---|---|---|---|
| d--------- | .github | 201 | logplain |
| -rw-r--r-- | .gitignore | 833 | logplain |
| -rw-r--r-- | .install_verilator.sh | 658 | logplain |
| -rw-r--r-- | .install_yosys.sh | 274 | logplain |
| -rw-r--r-- | .install_z3.sh | 341 | logplain |
| -rw-r--r-- | .mergify.yml | 2320 | logplain |
| -rwxr-xr-x | .run_formal_checks.sh | 809 | logplain |
| -rw-r--r-- | .scalafmt.conf | 553 | logplain |
| -rw-r--r-- | LICENSE.apache | 10384 | logplain |
| -rw-r--r-- | Makefile | 846 | logplain |
| -rw-r--r-- | README.md | 10302 | logplain |
| -rw-r--r-- | _config.yml | 27 | logplain |
| d--------- | benchmark | 64 | logplain |
| -rw-r--r-- | build.sbt | 8710 | logplain |
| -rw-r--r-- | build.sc | 8718 | logplain |
| d--------- | doc / images | 33 | logplain |
| d--------- | fuzzer / src | 30 | logplain |
| d--------- | jqf / src / main / scala | 30 | logplain |
| d--------- | notes | 1119 | logplain |
| d--------- | project | 83 | logplain |
| d--------- | regress | 270 | logplain |
| -rw-r--r-- | root-doc.txt | 39 | logplain |
| d--------- | scripts | 100 | logplain |
| d--------- | src | 62 | logplain |
| d--------- | test / integration | 38 | logplain |
| d--------- | utils / bin | 30 | logplain |
