Page MenuHomePhorge
People otheimer

otheimer (Oliver Theimer)
User

Projects

User is not a member of any projects.

User Details

User Since
Apr 28 2023, 12:29 PM (3 y, 6 m, 7 d)
Availability
Available

Recent Activity
View All

Sep 29 2026

otheimer committed R271:8f5c692c534f: fix: name every write_blif_body node after its own wire.
Sep 29 2026, 9:25 AM
otheimer committed R271:7e08f234ed76: feat: add write_blif_body to emit gates without a file header.
Sep 29 2026, 9:25 AM

Sep 25 2026

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

Oct 13 2025

otheimer committed R272:2e76e17c310a: doc: add documentation of source code.
Oct 13 2025, 3:06 PM

Oct 10 2025

otheimer committed R272:1245c99cf5cb: org: add liberty file for nem technolgy.
Oct 10 2025, 2:17 PM
otheimer committed R272:63d4bb1d215f: feat: init base functionality.
Oct 10 2025, 2:17 PM
otheimer committed R272:2a624383a3b7: org: init License, repo, README.
Oct 10 2025, 2:17 PM
otheimer committed R271:47b08d44edee: feat: add write_blif for covernetwork structures.
Oct 10 2025, 1:57 PM

Oct 9 2025

otheimer committed R271:180fb5f785ec: test: add Unit test for bbdd extend cases.
Oct 9 2025, 3:18 PM

Oct 1 2025

otheimer committed R271:adfd2f0f4c6c: org: add information to full adder example.
Oct 1 2025, 1:31 PM
otheimer committed R271:e4b5d774c383: feat: add full adder example.
Oct 1 2025, 1:18 PM
otheimer committed R271:81284b0bc53c: org: add README information, add CMake target to build the docs, add….
Oct 1 2025, 1:18 PM
otheimer committed R271:600618c3f5fa: feat: add implementation of manipulation package.
Oct 1 2025, 1:18 PM

Aug 28 2025

otheimer committed R271:f2e6d140c04e: org: setup README, LICENSE and gitignore structure.
Aug 28 2025, 3:59 PM