Issues

• Make assignments in the graph IR use ExprRef instead of SymbolId

  cucapra/protocols#345 · Filter by author Nikil-Shyamsunder opened on Oct 21, 2026
  1

• Handle multiple forks in automata

  cucapra/protocols#335 · Filter by author Nikil-Shyamsunder opened on Oct 17, 2026

• Revamp ProtoContext or remove it

  cucapra/protocols#333 · Filter by author Nikil-Shyamsunder opened on Oct 16, 2026
  1

• Allow sequences to contain tuples

  enhancementLanguage Design
  cucapra/protocols#329 · Filter by author ngernest opened on Oct 13, 2026

• Handle (n-ary) tuples in BI

  enhancement
  cucapra/protocols#328 · Filter by author ngernest opened on Oct 13, 2026

• Allow bit-slices to appear on the LHS of assignments (support BNW D8 DUT)

  Language Design
  cucapra/protocols#327 · Filter by author ngernest opened on Oct 12, 2026

• Investigate ways to modularize BNW S3 Example

  Language Design
  cucapra/protocols#324 · Filter by author ngernest opened on Oct 8, 2026

• Add MAC example from CSL talk

  cucapra/protocols#323 · Filter by author ngernest opened on Oct 8, 2026

• New types: Pairs, upper-bound on sequence lengths, Dahlia-style index types

  Language Design
  cucapra/protocols#322 · Filter by author ngernest opened on Oct 7, 2026
  3

• Check Expect files

  cucapra/protocols#315 · Filter by author ekiwi opened on Aug 26, 2026

• Wishbone SVA Evaluation

  cucapra/protocols#300 · Filter by author Nikil-Shyamsunder opened on Jul 29, 2026
  2

• Optimize the Transition Systme Lowering

  cucapra/protocols#292 · Filter by author Nikil-Shyamsunder opened on Jul 19, 2026

• Wishbone B4 pipelined

  cucapra/protocols#290 · Filter by author Nikil-Shyamsunder opened on Jul 18, 2026

• Add a reset annotation to protocols

  cucapra/protocols#288 · Filter by author Nikil-Shyamsunder opened on Jul 18, 2026

• If an InternalAsserFalse is guarded by an expression that is AlwaysSat, we can statically throw an error

  cucapra/protocols#283 · Filter by author Nikil-Shyamsunder opened on Jul 12, 2026

• Rename --respect-forks to --trace-lowering

  cucapra/protocols#279 · Filter by author Nikil-Shyamsunder opened on Jul 10, 2026

• Efficient Trace Lowering

  cucapra/protocols#276 · Filter by author Nikil-Shyamsunder opened on Jul 9, 2026

• Better Representation of Assignments (maybe Value Summaries)

  cucapra/protocols#268 · Filter by author Nikil-Shyamsunder opened on Jul 1, 2026
  3

• Improve ASCII Diffing for excluded tests

  cucapra/protocols#265 · Filter by author Nikil-Shyamsunder opened on Jul 1, 2026

• Disable Type Inference Info in test/serialization outputs

  cucapra/protocols#263 · Filter by author Nikil-Shyamsunder opened on Jun 25, 2026

• Graph Interpreter should evaluate actions in topological order

  cucapra/protocols#260 · Filter by author Nikil-Shyamsunder opened on Jun 25, 2026

• Check in CI that there are no .tx or wave files missing from the catalog

  cucapra/protocols#258 · Filter by author Nikil-Shyamsunder opened on Jun 24, 2026

• Upstream the Runt Fork

  cucapra/protocols#256 · Filter by author Nikil-Shyamsunder opened on Jun 24, 2026

• Resurrect Roundtrip

  cucapra/protocols#255 · Filter by author Nikil-Shyamsunder opened on Jun 24, 2026

• Add ASCII Waveform output to succeeding tests

  cucapra/protocols#253 · Filter by author Nikil-Shyamsunder opened on Jun 24, 2026