Search results

Add a different icon for linting

Status: Open.

#62 In pigworker/Syrup;

· gallais opened on Oct 27, 2025

Add property-based testing

Status: Open.

#52 In pigworker/Syrup;

· gallais opened on Aug 25, 2025

Do not complain about unused <code>_</code> wires

Status: Open.

#44 In pigworker/Syrup;

· gallais opened on Oct 23, 2024

Add visualisation for discarded wires

Status: Open.

#42 In pigworker/Syrup;

· gallais opened on Oct 20, 2024

Remove sources of partiality

Status: Open.

#40 In pigworker/Syrup;

· gallais opened on Oct 18, 2024

Keep track of location information

Status: Open.

#34 In pigworker/Syrup;

· gallais opened on Oct 16, 2024

Add a JSON interface to communicate with marx

Status: Open.

#22 In pigworker/Syrup;

· gallais opened on Jul 25, 2024

A place-value aware type system

Status: Open.

#20 In pigworker/Syrup;

· gallais opened on Jul 8, 2024

add vector-based cost models

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#13 In pigworker/Syrup;

· pigworker opened on Jun 16, 2024