yosyshq/eqy issues and pull requests

#71 - CI: Build Yosys with extensions

Pull Request - State: closed - Opened by mmicko about 1 month ago

#71 - CI: Build Yosys with extensions

Pull Request - State: closed - Opened by mmicko about 1 month ago

#70 - Add support for the imctk-eqy-engine ("use imctk")

Pull Request - State: closed - Opened by jix 3 months ago

#70 - Add support for the imctk-eqy-engine ("use imctk")

Pull Request - State: closed - Opened by jix 3 months ago

#69 - mysterious error

Issue - State: closed - Opened by maliberty 3 months ago - 2 comments

#69 - mysterious error

Issue - State: closed - Opened by maliberty 3 months ago - 2 comments

#68 - Add --version option based on git describe

Pull Request - State: closed - Opened by jix 5 months ago

#68 - Add --version option based on git describe

Pull Request - State: closed - Opened by jix 5 months ago

#67 - Unclear what the error is

Issue - State: closed - Opened by maliberty 5 months ago - 3 comments

#67 - Unclear what the error is

Issue - State: closed - Opened by maliberty 5 months ago - 3 comments

#66 - Add PR template

Pull Request - State: closed - Opened by mmicko 7 months ago

#66 - Add PR template

Pull Request - State: closed - Opened by mmicko 7 months ago

#65 - EQY fails to prove a cell mapping equivalent

Issue - State: closed - Opened by povik 7 months ago - 3 comments

#65 - EQY fails to prove a cell mapping equivalent

Issue - State: closed - Opened by povik 7 months ago - 3 comments

#64 - Support setting arbitrary SBY options for the SBY strategy

Pull Request - State: closed - Opened by jix 7 months ago

#64 - Support setting arbitrary SBY options for the SBY strategy

Pull Request - State: closed - Opened by jix 7 months ago

#63 - add install instructions to docs

Pull Request - State: closed - Opened by nakengelhardt 7 months ago

#63 - add install instructions to docs

Pull Request - State: closed - Opened by nakengelhardt 7 months ago

#62 - Make install not working

Issue - State: closed - Opened by JIceberg 7 months ago - 2 comments

#62 - Make install not working

Issue - State: closed - Opened by JIceberg 7 months ago - 2 comments

#61 - Use github action summary to store coverage results

Pull Request - State: closed - Opened by mmicko 7 months ago

#61 - Use github action summary to store coverage results

Pull Request - State: closed - Opened by mmicko 7 months ago

#60 - For cronjob run regular tests

Pull Request - State: closed - Opened by mmicko 8 months ago - 1 comment

#60 - For cronjob run regular tests

Pull Request - State: closed - Opened by mmicko 8 months ago - 1 comment

#59 - Update CI scripts

Pull Request - State: closed - Opened by mmicko 8 months ago - 1 comment

#59 - Update CI scripts

Pull Request - State: closed - Opened by mmicko 8 months ago - 1 comment

#58 - Support for UDP?

Issue - State: open - Opened by maliberty 8 months ago - 8 comments

#58 - Support for UDP?

Issue - State: open - Opened by maliberty 8 months ago - 8 comments

#57 - Unclear error reporting in the presence of multiple conflicting drivers

Issue - State: open - Opened by maliberty 8 months ago - 11 comments

#57 - Unclear error reporting in the presence of multiple conflicting drivers

Issue - State: open - Opened by maliberty 8 months ago - 11 comments

#56 - make: yosys-config: No such file or directory

Issue - State: closed - Opened by DH-Makwana 9 months ago

#56 - make: yosys-config: No such file or directory

Issue - State: closed - Opened by DH-Makwana 9 months ago

#55 - eqy stuck in infinite loop with gate design primitives (Xilinx gates) as blackboxes

Issue - State: open - Opened by xtofalex 9 months ago - 2 comments

#55 - eqy stuck in infinite loop with gate design primitives (Xilinx gates) as blackboxes

Issue - State: open - Opened by xtofalex 9 months ago - 2 comments

#54 - Add scheduled task for CI

Pull Request - State: closed - Opened by mmicko 10 months ago

#54 - Add scheduled task for CI

Pull Request - State: closed - Opened by mmicko 10 months ago

#53 - Run 'async2sync' for the 'sat' strategy

Pull Request - State: closed - Opened by jix 10 months ago

#53 - Run 'async2sync' for the 'sat' strategy

Pull Request - State: closed - Opened by jix 10 months ago

#52 - Use built eqy for testing

Pull Request - State: closed - Opened by mmicko 10 months ago

#52 - Use built eqy for testing

Pull Request - State: closed - Opened by mmicko 10 months ago

#51 - ERROR: syntax error in *.eqy line 1

Issue - State: closed - Opened by ssmolov 11 months ago - 2 comments

#51 - ERROR: syntax error in *.eqy line 1

Issue - State: closed - Opened by ssmolov 11 months ago - 2 comments

#50 - Recode sections are matched against the post-combine gold design but applied to the pre-combine gold design.

Issue - State: open - Opened by jix about 1 year ago

#50 - Recode sections are matched against the post-combine gold design but applied to the pre-combine gold design.

Issue - State: open - Opened by jix about 1 year ago

#49 - Example involving different but equivalent submodules

Pull Request - State: closed - Opened by jix about 1 year ago

#49 - Example involving different but equivalent submodules

Pull Request - State: closed - Opened by jix about 1 year ago

#48 - Avoid "Argument list too long" error during summary

Pull Request - State: closed - Opened by jix about 1 year ago

#48 - Avoid "Argument list too long" error during summary

Pull Request - State: closed - Opened by jix about 1 year ago

#47 - Default partitioning of eqy fails to prove equivalence for circuit containing only "eq" and "neq", but succeeds if output is turned into internal wire

Issue - State: open - Opened by edwintorok over 1 year ago - 4 comments

#47 - Default partitioning of eqy fails to prove equivalence for circuit containing only "eq" and "neq", but succeeds if output is turned into internal wire

Issue - State: open - Opened by edwintorok over 1 year ago - 4 comments

#46 - Fix escaping for dependent shell patterns

Pull Request - State: closed - Opened by jix about 1 year ago

#46 - Fix escaping for dependent shell patterns

Pull Request - State: closed - Opened by jix about 1 year ago

#45 - Widely differing behavior with different standard cell libs (but the same design)

Issue - State: closed - Opened by openroadie about 1 year ago - 5 comments

#45 - Widely differing behavior with different standard cell libs (but the same design)

Issue - State: closed - Opened by openroadie about 1 year ago - 5 comments

#44 - Redo JSON output to use PrettyJson

Pull Request - State: closed - Opened by donn about 1 year ago

#44 - Redo JSON output to use PrettyJson

Pull Request - State: closed - Opened by donn about 1 year ago

#43 - Invalid JSON generated during partition stage

Issue - State: closed - Opened by donn about 1 year ago - 1 comment

#43 - Invalid JSON generated during partition stage

Issue - State: closed - Opened by donn about 1 year ago - 1 comment

#42 - Improve error message when encountering unmapped memories in a partition solved and using SBY

Issue - State: open - Opened by jix about 1 year ago

#42 - Improve error message when encountering unmapped memories in a partition solved and using SBY

Issue - State: open - Opened by jix about 1 year ago

#41 - Increase the length of arguments that can be handled from 128k to 10^…

Pull Request - State: closed - Opened by openroadie about 1 year ago

#41 - Increase the length of arguments that can be handled from 128k to 10^…

Pull Request - State: closed - Opened by openroadie about 1 year ago

#40 - Running eqy can final report error "Argument list too long"

Issue - State: closed - Opened by openroadie about 1 year ago - 8 comments

#40 - Running eqy can final report error "Argument list too long"

Issue - State: closed - Opened by openroadie about 1 year ago - 8 comments

#39 - Allow yosys-config executable path to be overriden

Pull Request - State: closed - Opened by rbarzic over 1 year ago

#39 - Allow yosys-config executable path to be overriden

Pull Request - State: closed - Opened by rbarzic over 1 year ago

#38 - add spm sky130 example

Pull Request - State: closed - Opened by nakengelhardt over 1 year ago

#38 - add spm sky130 example

Pull Request - State: closed - Opened by nakengelhardt over 1 year ago

#37 - Unrelated cells sharing the same name can cause conflicting drivers in an amended partition (triggerd by the default ghdl-yosys-plugin output)

Issue - State: open - Opened by fayalalebrun over 1 year ago - 5 comments

#37 - Unrelated cells sharing the same name can cause conflicting drivers in an amended partition (triggerd by the default ghdl-yosys-plugin output)

Issue - State: open - Opened by fayalalebrun over 1 year ago - 5 comments

#36 - Bug in parsing partitions

Issue - State: closed - Opened by nasahlpa over 1 year ago - 1 comment

#36 - Bug in parsing partitions

Issue - State: closed - Opened by nasahlpa over 1 year ago - 1 comment

#35 - Add CI scripts

Pull Request - State: closed - Opened by mmicko over 1 year ago

#35 - Add CI scripts

Pull Request - State: closed - Opened by mmicko over 1 year ago

#34 - add .readthedocs.yaml

Pull Request - State: closed - Opened by nakengelhardt over 1 year ago

#34 - add .readthedocs.yaml

Pull Request - State: closed - Opened by nakengelhardt over 1 year ago

#33 - Hierarchy examples and fixes

Pull Request - State: closed - Opened by jix over 1 year ago

#33 - Hierarchy examples and fixes

Pull Request - State: closed - Opened by jix over 1 year ago

#32 - Add NERV example readme as getting started guide

Pull Request - State: closed - Opened by jix over 1 year ago

#32 - Add NERV example readme as getting started guide

Pull Request - State: closed - Opened by jix over 1 year ago

#31 - include license verbatim from file

Pull Request - State: closed - Opened by nakengelhardt over 1 year ago

#31 - include license verbatim from file

Pull Request - State: closed - Opened by nakengelhardt over 1 year ago

#30 - Coverage test improvements

Pull Request - State: closed - Opened by mmicko almost 2 years ago - 1 comment

#30 - Coverage test improvements

Pull Request - State: closed - Opened by mmicko almost 2 years ago - 1 comment

#29 - Adding tests

Pull Request - State: closed - Opened by mmicko almost 2 years ago

#29 - Adding tests

Pull Request - State: closed - Opened by mmicko almost 2 years ago

#28 - Document how xprop is used to handle uninitialized or dont-cares bits

Pull Request - State: closed - Opened by jix almost 2 years ago

#28 - Document how xprop is used to handle uninitialized or dont-cares bits

Pull Request - State: closed - Opened by jix almost 2 years ago

#27 - Document strategies

Pull Request - State: closed - Opened by jix almost 2 years ago

#27 - Document strategies

Pull Request - State: closed - Opened by jix almost 2 years ago

#26 - Rename `satseq` strategy to `sat`

Pull Request - State: closed - Opened by jix almost 2 years ago

#26 - Rename `satseq` strategy to `sat`

Pull Request - State: closed - Opened by jix almost 2 years ago

#25 - Simplify coverage and add nerv example

Pull Request - State: closed - Opened by mmicko almost 2 years ago

#25 - Simplify coverage and add nerv example

Pull Request - State: closed - Opened by mmicko almost 2 years ago

#24 - Add NERV tutorial

Pull Request - State: closed - Opened by Ravenslofty almost 2 years ago

#24 - Add NERV tutorial

Pull Request - State: closed - Opened by Ravenslofty almost 2 years ago

#23 - Fix a race-condition EqyTask that could truncate output

Pull Request - State: closed - Opened by jix almost 2 years ago

#23 - Fix a race-condition EqyTask that could truncate output

Pull Request - State: closed - Opened by jix almost 2 years ago

#22 - Add requirements.txt

Pull Request - State: closed - Opened by Ravenslofty almost 2 years ago

#22 - Add requirements.txt

Pull Request - State: closed - Opened by Ravenslofty almost 2 years ago

GitHub / yosyshq/eqy issues and pull requests