Search results

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

cleanupCode cleanup/refactoringCode cleanup/refactoring

size:medium

Status: Open.

#511 In gussmith23/lakeroad;

· gussmith23 opened on Jul 20, 2025

Cannot synthesize arith-ops outside always blocks & weird bitwidths

Status: Open.

#509 In gussmith23/lakeroad;

· PigBrainOverflow opened on Jun 24, 2025

Merge failure on multiply with assumes

Status: Open.

#508 In gussmith23/lakeroad;

· gussmith23 opened on Jun 23, 2025

Cannot synthesize pre-adders?

Status: Open.

#507 In gussmith23/lakeroad;

· PigBrainOverflow opened on Jun 22, 2025

Should be able to pass primitive semantics via command line

Status: Open.

#506 In gussmith23/lakeroad;

· gussmith23 opened on Jun 20, 2025

Architecture description should be configurable with a filepath argument

Status: Open.

#505 In gussmith23/lakeroad;

· gussmith23 opened on Jun 20, 2025

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

Status: Open.

#504 In gussmith23/lakeroad;

· gussmith23 opened on May 24, 2025

Support synthesis queries referencing multiple outputs

Status: Open.

#503 In gussmith23/lakeroad;

· gussmith23 opened on May 21, 2025

How to restructure <code>rosette-synthesize</code>

Status: Open.

#501 In gussmith23/lakeroad;

· gussmith23 opened on May 21, 2025

Techmapping Objectives

Status: Open.

#500 In gussmith23/lakeroad;

· PigBrainOverflow opened on May 18, 2025

Clean up the different ways of running Lakeroad

good first issueGood for newcomersGood for newcomers

size:medium

Status: Open.

#499 In gussmith23/lakeroad;

· gussmith23 opened on May 15, 2025

Use Cmake or another build system to generate binaries

good first issueGood for newcomersGood for newcomers

size:medium

Status: Open.

#498 In gussmith23/lakeroad;

· gussmith23 opened on May 15, 2025