otheimer committed R271:8f5c692c534f: fix: name every write_blif_body node after its own wire.

otheimer committed R271:7e08f234ed76: feat: add write_blif_body to emit gates without a file header.

otheimer committed R272:7a652e303d52: chore: keep test/ and results/ out of the repository.

otheimer committed R272:6b24aa9c2898: fix: make the yosys templates and synth.sh work for all three flows.

otheimer committed R272:479f5a4c765c: doc: document usage, partitioning and converter options in the README.

otheimer committed R272:8037e77afadd: feat: merge partition blocks and add gain-driven merging to convert_bbdd.

otheimer committed R272:234d3a176a62: feat: partition the bdd flow and fix its exponential blowups.

otheimer committed R272:6833488f825a: doc: record the n = 8 ISCAS85 results.

otheimer committed R272:334d0bdd0cdb: doc: shorten comments in the partitioning code and synth.sh.

otheimer committed R272:5f692b2190f3: fix: make synth.sh run on yosys 0.33 and on hosts without a `python` binary.

otheimer committed R272:756d5b1e8c1b: feat: convert one bbdd per partition block and size the table from the support.

otheimer committed R272:b1ba6fc6dcce: feat: forward converter options through a {{CONV_FLAGS}} placeholder.

otheimer committed R272:97e29fba43fa: feat: build bbdd per partition block instead of per primary output.

otheimer committed R272:5816a626da6a: feat: add support-bounded cone partitioner.

otheimer committed R272:7f7859763fc9: test: add non-interactive ISCAS85 regression runner.

otheimer committed R272:87d72efbb3db: org: remove synth.sh options with missing yosys scripts.

otheimer committed R272:2e76e17c310a: doc: add documentation of source code.

otheimer committed R272:1245c99cf5cb: org: add liberty file for nem technolgy.

otheimer committed R272:63d4bb1d215f: feat: init base functionality.

otheimer committed R272:2a624383a3b7: org: init License, repo, README.

otheimer committed R271:47b08d44edee: feat: add write_blif for covernetwork structures.

otheimer committed R271:180fb5f785ec: test: add Unit test for bbdd extend cases.

otheimer committed R271:adfd2f0f4c6c: org: add information to full adder example.

otheimer committed R271:e4b5d774c383: feat: add full adder example.

otheimer committed R271:81284b0bc53c: org: add README information, add CMake target to build the docs, add….

otheimer committed R271:600618c3f5fa: feat: add implementation of manipulation package.

otheimer committed R271:f2e6d140c04e: org: setup README, LICENSE and gitignore structure.