Improved auto-detection of -show signals in sat_solve
-rw-r--r-- 192 .gitignore
-rw-r--r-- 3322 Makefile
-rw-r--r-- 9026 README
drwxr-xr-x - backends
drwxr-xr-x - frontends
drwxr-xr-x - kernel
drwxr-xr-x - libs
drwxr-xr-x - passes
drwxr-xr-x - techlibs
drwxr-xr-x - tests
-rw-r--r-- 395 yosys-config.in