Issues

• Refactor Dockerfile to be faster, smaller, more cacheable using stages

  cleanupsize:medium
  gussmith23/lakeroad#511 · Filter by author gussmith23 opened on Jul 20, 2025

• Cannot synthesize arith-ops outside always blocks & weird bitwidths

  gussmith23/lakeroad#509 · Filter by author PigBrainOverflow opened on Jun 24, 2025
  3

• Merge failure on multiply with assumes

  gussmith23/lakeroad#508 · Filter by author gussmith23 opened on Jun 23, 2025

• Cannot synthesize pre-adders?

  gussmith23/lakeroad#507 · Filter by author PigBrainOverflow opened on Jun 22, 2025
  1

• Should be able to pass primitive semantics via command line

  gussmith23/lakeroad#506 · Filter by author gussmith23 opened on Jun 20, 2025

• Architecture description should be configurable with a filepath argument

  gussmith23/lakeroad#505 · Filter by author gussmith23 opened on Jun 20, 2025

• The to-json compiler is finicky w/r/t ensuring keys are symbols and not strings.

  gussmith23/lakeroad#504 · Filter by author gussmith23 opened on May 24, 2025

• Support synthesis queries referencing multiple outputs

  gussmith23/lakeroad#503 · Filter by author gussmith23 opened on May 21, 2025

• How to restructure rosette-synthesize

  gussmith23/lakeroad#501 · Filter by author gussmith23 opened on May 21, 2025

• Techmapping Objectives

  gussmith23/lakeroad#500 · Filter by author PigBrainOverflow opened on May 18, 2025

• Clean up the different ways of running Lakeroad

  good first issuesize:medium
  gussmith23/lakeroad#499 · Filter by author gussmith23 opened on May 15, 2025

• Use Cmake or another build system to generate binaries

  good first issuesize:medium
  gussmith23/lakeroad#498 · Filter by author gussmith23 opened on May 15, 2025
  1

• Convert to using a global state map in interpreter

  gussmith23/lakeroad#497 · Filter by author gussmith23 opened on May 14, 2025
  2

• Rework interpreter

  gussmith23/lakeroad#496 · Filter by author gussmith23 opened on May 14, 2025

• Lakeroad for ASICs

  sijiesize:large
  gussmith23/lakeroad#495 · Filter by author gussmith23 opened on May 14, 2025

• Portfolio solver does not throw helpful error if it exits b/c a solver is missing

  good first issuesize:small
  gussmith23/lakeroad#494 · Filter by author gussmith23 opened on May 13, 2025

• Lakeroad --help only shows one line of help per flag

  good first issuesize:small
  gussmith23/lakeroad#493 · Filter by author gussmith23 opened on May 13, 2025

• top-module-name and module-name should just be renamed input and output module name

  good first issuesize:small
  gussmith23/lakeroad#492 · Filter by author gussmith23 opened on May 13, 2025

• If top_module_name is incorrect, Lakeroad silently fails

  good first issuesize:small
  gussmith23/lakeroad#491 · Filter by author gussmith23 opened on May 13, 2025

• If you run Lakeroad Yosys plugin with no inputs specified, it might give you an answer!

  size:small
  gussmith23/lakeroad#490 · Filter by author gussmith23 opened on May 8, 2025

• (* data *) attributes shouldn't need to have their names line up

  size:medium
  gussmith23/lakeroad#489 · Filter by author gussmith23 opened on May 8, 2025

• Support Liberty as input

  sijiesize:large
  gussmith23/lakeroad#488 · Filter by author gussmith23 opened on May 8, 2025

• Revamp Rosette generation (new yosys backend, + running optimizations)

  size:medium
  gussmith23/lakeroad#487 · Filter by author gussmith23 opened on May 8, 2025

• Add a ReadTheDocs page

  size:large
  gussmith23/lakeroad#486 · Filter by author gussmith23 opened on May 8, 2025

• Target Z1010-GF12LP-BETA dsps

  gussmith23/lakeroad#485 · Filter by author gussmith23 opened on May 8, 2025