btor backend: add option to not include internal names
[yosys.git] / techlibs /
drwxr-xr-x   ..
-rw-r--r-- 11 .gitignore
drwxr-xr-x - achronix
drwxr-xr-x - anlogic
drwxr-xr-x - common
drwxr-xr-x - coolrunner2
drwxr-xr-x - easic
drwxr-xr-x - ecp5
drwxr-xr-x - efinix
drwxr-xr-x - gowin
drwxr-xr-x - greenpak4
drwxr-xr-x - ice40
drwxr-xr-x - intel
drwxr-xr-x - intel_alm
drwxr-xr-x - sf2
drwxr-xr-x - xilinx