aboutsummaryrefslogtreecommitdiff
ModeNameSize
d---------.github201logplain
-rw-r--r--.gitignore833logplain
-rw-r--r--.install_verilator.sh658logplain
-rw-r--r--.install_yosys.sh274logplain
-rw-r--r--.install_z3.sh341logplain
-rw-r--r--.mergify.yml2320logplain
-rwxr-xr-x.run_formal_checks.sh809logplain
-rw-r--r--.scalafmt.conf553logplain
-rw-r--r--LICENSE.apache10384logplain
-rw-r--r--Makefile846logplain
-rw-r--r--README.md10302logplain
-rw-r--r--_config.yml27logplain
d---------benchmark64logplain
-rw-r--r--build.sbt8711logplain
-rw-r--r--build.sc8719logplain
d---------doc / images33logplain
d---------fuzzer / src30logplain
d---------jqf / src / main / scala30logplain
d---------notes1119logplain
d---------project83logplain
d---------regress270logplain
-rw-r--r--root-doc.txt39logplain
d---------scripts100logplain
d---------src62logplain
d---------test / integration38logplain
d---------utils / bin30logplain