btor backend: add option to not include internal names
[yosys.git] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 3881 bitpattern.h
-rw-r--r-- 22420 calc.cc
-rw-r--r-- 12946 cellaigs.cc
-rw-r--r-- 1347 cellaigs.h
-rw-r--r-- 5324 celledges.cc
-rw-r--r-- 2220 celledges.h
-rw-r--r-- 15464 celltypes.h
-rw-r--r-- 10272 consteval.h
-rw-r--r-- 2740 constids.inc
-rw-r--r-- 3102 cost.h
-rw-r--r-- 19917 driver.cc
-rw-r--r-- 28910 hashlib.h
-rw-r--r-- 19315 log.cc
-rw-r--r-- 15141 log.h
-rw-r--r-- 7011 macc.h
-rw-r--r-- 14340 modtools.h
-rw-r--r-- 27525 register.cc
-rw-r--r-- 5402 register.h
-rw-r--r-- 117177 rtlil.cc
-rw-r--r-- 71968 rtlil.h
-rw-r--r-- 54320 satgen.h
-rw-r--r-- 7502 sigtools.h
-rw-r--r-- 6707 timinginfo.h
-rw-r--r-- 5030 utils.h
-rw-r--r-- 38105 yosys.cc
-rw-r--r-- 11886 yosys.h