Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitattributes | 324 | logstatsplain |
-rw-r--r-- | .gitignore | 462 | logstatsplain |
-rw-r--r-- | .hgignore | 476 | logstatsplain |
-rw-r--r-- | Makefile | 3599 | logstatsplain |
-rw-r--r-- | abc.rc | 4509 | logstatsplain |
-rw-r--r-- | abcexe.dsp | 4635 | logstatsplain |
-rw-r--r-- | abclib.dsp | 82937 | logstatsplain |
-rw-r--r-- | abcspace.dsw | 765 | logstatsplain |
-rw-r--r-- | arch_flags.c | 355 | logstatsplain |
-rw-r--r-- | copyright.txt | 1129 | logstatsplain |
-rwxr-xr-x | depends.sh | 235 | logstatsplain |
-rw-r--r-- | i10.aig | 14696 | logstatsplain |
d--------- | lib | 171 | logstatsplain |
-rw-r--r-- | readme.md | 5037 | logstatsplain |
-rw-r--r-- | readmeaig | 3324 | logstatsplain |
d--------- | scripts | 424 | logstatsplain |
d--------- | src | 522 | logstatsplain |