Issues

• in keyword inference failure needs better error messages

  bug
  gt-tinker/qwerty#40 · Filter by author ausbin opened on May 6, 2026

• Add support for predicated revolve statements

  enhancement
  Feature

  gt-tinker/qwerty#29 · Filter by author abhamra opened on Oct 26, 2025

• Make run-tests.yml Workflow Run for PRs

  gt-tinker/qwerty#28 · Filter by author ausbin opened on Oct 16, 2025

• Support ++ for concat in classical DSL

  gt-tinker/qwerty#23 · Filter by author ausbin opened on Oct 1, 2025

• Implement Classical Multiplier Synthesis

  gt-tinker/qwerty#19 · Filter by author ausbin opened on Sep 22, 2025
  

• CCirc to XAG Conversion Pass

  gt-tinker/qwerty#17 · Filter by author ausbin opened on Sep 16, 2025
  

• Create a subtype framework for the typechecker

  gt-tinker/qwerty#14 · Filter by author sbarara3 opened on Jul 31, 2025
  1

• MLIR verifier does not enforce type-checking at the level of span.

  gt-tinker/qwerty#10 · Filter by author AiredaleDev opened on Jun 24, 2025

• MLIR verifier does not enforce linear-typing for qbundles returned from scf.if

  gt-tinker/qwerty#9 · Filter by author AiredaleDev opened on Jun 24, 2025
  1

• MLIR verifier does not reject mutually recursive programs.

  gt-tinker/qwerty#8 · Filter by author AiredaleDev opened on Jun 23, 2025

• Make tests run for Windows and macOS too

  gt-tinker/qwerty#4 · Filter by author ausbin opened on May 20, 2025