All pull requests

Pull requests

• fix(deps): add arm64-darwin platforms to Gemfile.lock

  #2735·Goyam Jain (Goyamjain06) opened Oct 10, 2026Contributor·

  ·
  1

• fix: Adding return statements for sw_write() bit fields

  #2734·Henrik Gustafsson (henrikg-qc) opened Oct 9, 2026Collaborator·

  ·
  4

• feat(specchoice): publish portable experiment snapshot

  #2733·Zy Deng (DengZhiyuan-math) opened Oct 9, 2026Contributor·

  ·
  1

• feat(spec): update Zvabd to version 0.9

  #2732·dennisali opened Oct 9, 2026Contributor·

  ·
  2

  7

• Remove Python migration intermediate docs

  #2719·Jordan Carlin (jordancarlin) opened Oct 5, 2026Collaborator·40/40·

  ·
  1

• fix(idlc): truncate toward zero when constant-folding signed / and %

  #2717·Nikhil Bansiwal (nikhil3495) opened Oct 4, 2026Contributor·

  ·
  2

• chore(migration): remove the legacy Ruby stack

  #2714·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·39/40·

  ·
  3

• ci: complete the Python validation cutover

  #2713·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·38/40·

  ·

• feat(prose): remove ERB from configured prose

  #2712·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·37/40·

  ·
  1

• feat(cpp-hart): integrate native source generation

  #2711·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·36/40·

  ·
  1

• test: separate exhaustive test lanes

  #2710·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·35/40·

  ·
  1

• feat(dev): replace repository workflows with mise tasks

  #2709·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·34/40·

  ·
  1

• feat(cli): add the unified udb command suite

  #2708·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·33/40·

  ·
  1

• feat(idl): add standalone compiler commands

  #2707·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·32/40·

  ·
  1

• feat(docs): generate extension documents in Python

  #2706·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·31/40·

  ·
  2

• feat(python): generate C, SystemVerilog, and Go outputs

  #2705·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·30/40·

  ·
  1

• feat(python): add query reports and matching

  #2704·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·29/40·

  ·
  1

• refactor(migration): retire obsolete generators

  #2703·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·28/40·

  ·
  1

• feat(python): generate QC CSR layouts

  #2702·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·27/40·

  ·
  1

• test(cpp): replace generated Bits tests

  #2701·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·26/40·

  ·
  1

• feat(python): generate instruction tables

  #2700·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·25/40·

  ·
  1

• feat(python): generate schema documentation

  #2699·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·24/40·

  ·
  1

• feat(prose): render configured prose without Ruby

  #2698·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·23/40·

  ·
  1

• feat(python): generate profile configurations

  #2697·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·22/40·

  ·
  1

• feat(python): generate configuration headers

  #2696·Jordan Carlin (jordancarlin) opened Oct 2, 2026Collaborator·21/40·

  ·
  1