Added $assume cell type
-rw-r--r-- 362 .gitignore
-rw-r--r-- 12681 CHANGELOG
-rw-r--r-- 11860 CodingReadme
-rw-r--r-- 15377 Makefile
-rw-r--r-- 13467 README
drwxr-xr-x - backends
drwxr-xr-x - frontends
drwxr-xr-x - kernel
drwxr-xr-x - libs
drwxr-xr-x - manual
drwxr-xr-x - misc
drwxr-xr-x - passes
drwxr-xr-x - techlibs
drwxr-xr-x - tests