GitHub · Where software is built

Labels Milestones New issue

[Monitor] Perform BFS over possible protocol traces and show all possible ambiguous traces

Language Design

#172

· ngernest opened

on Feb 9, 2026

Relax well-formedness restrictions (Allow DUT input ports to be mentioned in guards for loops/conditionals & <code>assert_eq</code>)

Language Design

#169

· ngernest opened

on Jan 30, 2026

Expressivity evaluation: compile Filament types to straight-line protocols

Language Design

#168

· ngernest opened

on Jan 30, 2026

Add non-deterministic loop or for-loop with fixed no. of iterations

Language Design

#167

· 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

Pretty-print <code>BitVecValue</code>s in error messages

#161

· ngernest opened

on Jan 24, 2026

[Monitor] Investigate why changing the order in which we pop threads changes Fifo example output

#159

· ngernest opened

on Jan 23, 2026

Adopt graph-based IR in the distant future

Language Design

#141

· ngernest opened

on Dec 9, 2025

Extend language with <code>prot</code> keyword for marking top-level entry points (protocols)

#128

· ngernest opened

on Nov 19, 2025

Check that the body of while-loops contains at least one <code>step</code>

Language Design

#123

· ngernest opened

on Nov 11, 2025

Relaxer: create a compiler pass to insert DUT assignments for all pins after every step() call

Language Design

#107

· Nikil-Shyamsunder opened

on Oct 21, 2025

Change concrete syntax to use Rust-style <code>impl</code> method blocks

#84

· ngernest opened

on Sep 9, 2025