Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitattributes | 324 | logstatsplain |
-rw-r--r-- | .gitignore | 462 | logstatsplain |
-rw-r--r-- | .hgignore | 472 | logstatsplain |
-rw-r--r-- | CMakeLists.txt | 3702 | logstatsplain |
-rw-r--r-- | Makefile | 5837 | logstatsplain |
-rw-r--r-- | abc.rc | 4715 | logstatsplain |
-rw-r--r-- | abcexe.dsp | 4642 | logstatsplain |
-rw-r--r-- | abclib.dsp | 93963 | 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 | 5031 | logstatsplain |
-rw-r--r-- | readmeaig | 3324 | logstatsplain |
d--------- | src | 489 | logstatsplain |