Search results

Wishbone SVA Evaluation

Status: Open.

#300 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 29, 2026

Optimize the Transition Systme Lowering

Status: Open.

#292 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 19, 2026

Wishbone B4 pipelined

Status: Open.

#290 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 18, 2026

Add a reset annotation to protocols

Status: Open.

#288 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 18, 2026

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

Status: Open.

#283 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 12, 2026

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

Status: Open.

#279 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 10, 2026

Efficient Trace Lowering

Status: Open.

#276 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 9, 2026

Better Representation of Assignments (maybe Value Summaries)

Status: Open.

#268 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 1, 2026

Improve ASCII Diffing for excluded tests

Status: Open.

#265 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jul 1, 2026

Disable Type Inference Info in test/serialization outputs

Status: Open.

#263 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jun 25, 2026

Graph Interpreter should evaluate actions in topological order

Status: Open.

#260 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jun 25, 2026

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

Status: Open.

#258 In cucapra/protocols;

· Nikil-Shyamsunder opened on Jun 24, 2026