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 | 3829 | logstatsplain |
-rw-r--r-- | abc.rc | 4714 | logstatsplain |
-rw-r--r-- | abcexe.dsp | 4562 | logstatsplain |
-rw-r--r-- | abclib.dsp | 89114 | 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 | 477 | logstatsplain |
d--------- | src | 522 | logstatsplain |