Skip to content

Issues: hdl/conda-eda

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Add package for z3 and boolector for formal?
#5 opened Feb 1, 2020 by RobertBaruch updated Feb 5, 2020
symbiyosys testing failure: "unexpected TOK_RAND"
#70 opened Jan 25, 2021 by ajelinski updated Jan 25, 2021
Should prjxray-db be architecture agnostic?
#79 opened Feb 21, 2021 by mithro updated Feb 21, 2021
Packages should have fixed runtime dependencies
#84 opened Mar 4, 2021 by kgugala updated Mar 9, 2021
slang: verible: Use Conda compiler
#104 opened Apr 13, 2021 by ajelinski updated Apr 13, 2021
nextpnr/fpga-interchange: Fix 200t device
#108 opened May 6, 2021 by ajelinski updated May 6, 2021
Figure out if "Downstream tests" in conda is useful
#111 opened Jun 14, 2021 by mithro updated Jun 14, 2021
ETOOMANY yosys package
#147 opened Dec 8, 2021 by proppy updated Jan 4, 2022
Build failure of the Moore package
#163 opened Feb 2, 2022 by PiotrZierhoffer updated Feb 2, 2022
magic package doesn't seems to have cairo enabled
#167 opened Feb 6, 2022 by proppy updated Feb 6, 2022
add simview package
#173 opened Feb 11, 2022 by proppy updated Feb 11, 2022
add cvc package
#174 opened Feb 14, 2022 by proppy updated Feb 14, 2022
Is it possible to use a shell script on windows, instead of a bat file?
#179 opened Feb 17, 2022 by umarcor updated Feb 17, 2022
package OpenFASOC
#192 opened Mar 8, 2022 by proppy updated Mar 8, 2022
use a separate workflow for publishing
#189 opened Mar 7, 2022 by proppy updated Mar 8, 2022
nextpnr-xilinx: bbaexport.py failure
#191 opened Mar 7, 2022 by ajelinski updated Mar 9, 2022
xls: Use Conda-packaged compiler
#199 opened Mar 17, 2022 by ajelinski updated Mar 17, 2022
misc/open_pdks.sky130a build should include sram
#203 opened Apr 6, 2022 by proppy updated Apr 12, 2022
ODIN II and XLS build failure
#209 opened May 5, 2022 by PiotrZierhoffer updated May 11, 2022
ProTip! Adding no:label will show everything without a label.