Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitattributes | 324 | logstatsplain |
d--------- | .github / workflows | 36 | logstatsplain |
-rw-r--r-- | .gitignore | 462 | logstatsplain |
-rw-r--r-- | .hgignore | 494 | logstatsplain |
-rw-r--r-- | CMakeLists.txt | 3891 | logstatsplain |
-rw-r--r-- | Makefile | 6780 | logstatsplain |
-rw-r--r-- | README.md | 5730 | logstatsplain |
-rw-r--r-- | abc.rc | 5082 | logstatsplain |
-rw-r--r-- | abcexe.dsp | 4642 | logstatsplain |
-rw-r--r-- | abclib.dsp | 112759 | 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-- | readmeaig | 3324 | logstatsplain |
d--------- | src | 489 | logstatsplain |