GitHub · Where software is built

Labels Milestones New issue

[lang] the case for allowing arguments to appear in control flow conditions

#217

· ekiwi opened

on Mar 23, 2026

[Monitor] Defer constraint checks till `step` boundaries

#214

· ngernest opened

on Mar 17, 2026

[Lang] Add Boolean operators like `&&`, `||`

#206

· ngernest opened

on Mar 2, 2026

[Lang] Add a test case involving bit-vector concatenation

#204

· ngernest opened

on Feb 27, 2026

[lang] add `module` declarations and rename `struct` to `interface`

Language Design

#203

· ekiwi opened

on Feb 26, 2026

[Monitor] Update Brave New World protocols to use internal DUT field names instead of those of the TB Verilog wrapper

#198

· ngernest opened

on Feb 23, 2026

Simplify testing infra / create centralized Python script that orchestrates Turnt

#191

· ngernest opened

on Feb 18, 2026

[Monitor] Double-check well-formedness of protocols for Brave New World bugs by running them through interpreter

#185

· ngernest opened

on Feb 14, 2026

Rewrite `axi-stream-s2` protocols to use `repeat` loops and run them through interpreter

#184

· ngernest opened

on Feb 14, 2026

[Interp] Improve error message / diagnostics infrastructure

#178

· ngernest opened

on Feb 12, 2026

Expressivity evaluation: compile Filament types to straight-line protocols

Language Design

#168

· ngernest opened

on Jan 30, 2026

Update well-formedness constraints to include combinational dependency violations

Language Design

#163

· Nikil-Shyamsunder opened

on Jan 25, 2026