-rw-r--r-- | 248 | .gitignore | blob | history | raw |
-rw-r--r-- | 1845 | CHANGELOG | blob | history | raw |
-rw-r--r-- | 5337 | Makefile | blob | history | raw |
-rw-r--r-- | 11571 | README | blob | history | raw |
drwxr-xr-x | - | backends | tree | history |
-rw-r--r-- | 309 | btor.ys | blob | history | raw |
drwxr-xr-x | - | frontends | tree | history |
drwxr-xr-x | - | kernel | tree | history |
drwxr-xr-x | - | libs | tree | history |
drwxr-xr-x | - | manual | tree | history |
drwxr-xr-x | - | passes | tree | history |
drwxr-xr-x | - | techlibs | tree | history |
drwxr-xr-x | - | tests | tree | history |
-rwxr-xr-x | 402 | verilog2btor.sh | blob | history | raw |
-rw-r--r-- | 2307 | yosys-config.in | blob | history | raw |