Page MenuHomePhorge

Active Repositories

Query Overheated

This query took too long, so only some results are shown. Learn More

Recent Activity

Today

otheimer committed R272:7a652e303d52: chore: keep test/ and results/ out of the repository.
Fri, Sep 25, 9:35 AM
otheimer committed R272:6b24aa9c2898: fix: make the yosys templates and synth.sh work for all three flows.
Fri, Sep 25, 9:35 AM
otheimer committed R272:479f5a4c765c: doc: document usage, partitioning and converter options in the README.
Fri, Sep 25, 9:35 AM
otheimer committed R272:8037e77afadd: feat: merge partition blocks and add gain-driven merging to convert_bbdd.
Fri, Sep 25, 9:35 AM
otheimer committed R272:234d3a176a62: feat: partition the bdd flow and fix its exponential blowups.
Fri, Sep 25, 9:35 AM
otheimer committed R272:6833488f825a: doc: record the n = 8 ISCAS85 results.
Fri, Sep 25, 9:35 AM
otheimer committed R272:334d0bdd0cdb: doc: shorten comments in the partitioning code and synth.sh.
Fri, Sep 25, 9:35 AM
otheimer committed R272:5f692b2190f3: fix: make synth.sh run on yosys 0.33 and on hosts without a `python` binary.
Fri, Sep 25, 9:35 AM
otheimer committed R272:756d5b1e8c1b: feat: convert one bbdd per partition block and size the table from the support.
Fri, Sep 25, 9:35 AM
otheimer committed R272:b1ba6fc6dcce: feat: forward converter options through a {{CONV_FLAGS}} placeholder.
Fri, Sep 25, 9:35 AM
otheimer committed R272:97e29fba43fa: feat: build bbdd per partition block instead of per primary output.
Fri, Sep 25, 9:35 AM
otheimer committed R272:5816a626da6a: feat: add support-bounded cone partitioner.
Fri, Sep 25, 9:35 AM
otheimer committed R272:7f7859763fc9: test: add non-interactive ISCAS85 regression runner.
Fri, Sep 25, 9:35 AM
otheimer committed R272:87d72efbb3db: org: remove synth.sh options with missing yosys scripts.
Fri, Sep 25, 9:34 AM

Aug 20 2026

smaragkou committed R307:65fa927b5afa: Template with new logo.
Aug 20 2026, 4:09 PM

Query Overheated

This query took too long, so only some results are shown. Learn More