All pull requests

Pull requests

• prove dwpTSDunopAddValL

  #615·MrBrain295 opened Jul 25, 2026·

  ·

• Make uniqueName deterministic for shared constants

  #602·aws-nirmaltm opened Feb 24, 2026·

  ·
  2

• fix: ensure scalar offsets are BIR access patterns

  #593·govereau opened Feb 6, 2026Collaborator·

  ·
  2

  

• add dve_read_accumulator instruction

  #588·ggumen opened Feb 5, 2026Collaborator·

  ·

• Name tensors inside nested structures

  #581·ppotapov-aws opened Jan 23, 2026Collaborator·

  ·

• [DONT MERGE UNTIL BUG RESOLVED][NKI-352] Make sure BIR AP lowers fully in lower AP pass

  #576·ppotapov-aws opened Jan 20, 2026Collaborator·

  ·

• chore: support AL2 development using build container

  #522·kerrijoe-aws opened Dec 3, 2025Collaborator·

  ·
  5

• fix: avoid duplicated definition

  #495·yongweiy opened Nov 19, 2025Collaborator·

  ·
  6

• [NKIFE-465] Enable tracing of nki.language APIs

  #482·pratikfegade opened Nov 11, 2025Collaborator·

  ·

• [NKIFE-465] Enable tracing of nki.isa APIs

  #479·pratikfegade opened Nov 10, 2025Collaborator·

  ·
  3

• chore: Fix the FromSexp deriving generator

  #475·seanmcl opened Nov 6, 2025Collaborator·

  ·

• chore: Update Lean to 4.23

  #382·seanmcl opened Sep 29, 2025Collaborator·

  ·
  4

• Feat: implement fromNKI? using c++

  #342·ppotapov-aws opened Sep 4, 2025Collaborator·

  ·
  6

• NKI Dataflow

  #224·JTurcotti opened Jul 16, 2025Collaborator·

  ·

• Add first code for Dataflow.lean solver

  #188·JTurcotti opened Jul 1, 2025Collaborator·

  ·
  4