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 | 2815 | logstatsplain |
-rw-r--r-- | abc.rc | 7164 | logstatsplain |
-rw-r--r-- | abcexe.dsp | 4527 | logstatsplain |
-rw-r--r-- | abclib.dsp | 80040 | 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 | 195 | logstatsplain |
-rw-r--r-- | readme | 4805 | logstatsplain |
-rw-r--r-- | readmeaig | 3117 | logstatsplain |
d--------- | scripts | 424 | logstatsplain |
d--------- | src | 522 | logstatsplain |