Search results

Polish Debugger's user-level documentation

Status: Open.

#56 In 0xMiden/miden-debug;

· djolertrk opened on Apr 20, 2026

Display printed lines in the UI

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#55 In 0xMiden/miden-debug;

· mooori opened on Apr 15, 2026

Add Flame Graphs

Status: Open.

Feature

#53 In 0xMiden/miden-debug;

· djolertrk opened on Apr 13, 2026

TraceEvent <-> u32 conversion is overlapping and lossy

Status: Open.

#48 In 0xMiden/miden-debug;

· mooori opened on Apr 7, 2026

Test harness within debugger

Status: Open.

#40 In 0xMiden/miden-debug;

· djolertrk opened on Mar 9, 2026

Enable debugging code in the client

Status: Open.

#29 In 0xMiden/miden-debug;

· djolertrk opened on Feb 9, 2026

Introduce REPL mode

Status: Open.

#28 In 0xMiden/miden-debug;

· djolertrk opened on Feb 2, 2026

Introduce llvm-cov into debugger infra

Status: Open.

#20 In 0xMiden/miden-debug;

· djolertrk opened on Jan 26, 2026