Repository navigation

Enforcing linear ownership of QLX values in C++ verifiers - #5889

Open

sacpis wants to merge 20 commits into

NVIDIA:mainfrom

sacpis:p0_linearity_verifier

Open

Enforcing linear ownership of QLX values in C++ verifiers#5889
sacpis wants to merge 20 commits into
NVIDIA:mainfrom
sacpis:p0_linearity_verifier

Commits on Nov 11, 2026
- adding linear ownership type interface, op traits, and analysis
  sacpis
  committed
  d0b4415
- running linear ownership verifier in qlx.program and qlx.objective_body
  sacpis
  committed
  c0e868a
- adding qlx-verify-linearity pass to check linear ownership in every tier
  sacpis
  committed
  797d626
- delegating python linearity check to the c++ linear ownership analysis
  sacpis
  committed
  8a7ea41
- Merge branch 'main' into p0_linearity_verifier
  sacpis
  authored
  99f4fc9
- Merge branch 'main' into p0_linearity_verifier
  sacpis
  authored
  93e8c94
- adding linear ownership type interface and op traits to core
  sacpis
  committed
  f527aa4
- using the core linear ownership interface in QLX
  sacpis
  committed
  b94001e
- Merge branch 'main' into p0_linearity_verifier
  sacpis
  authored
  44ae6b6
Commits on Nov 12, 2026
- Merge branch 'main' into p0_linearity_verifier
  sacpis
  authored
  92e0aa7
- Merge branch 'main' into p0_linearity_verifier
  sacpis
  authored
  ee7c2f0
- updating comment
  sacpis
  committed
  a1a30c4
- moving linear ownership analysis to cudaq core
  sacpis
  committed
  1017f7f
- moving linear ownership verifier pass to cudaq core
  sacpis
  committed
  68ec05e
- moving SSITypeTrait to core and adding LinearTypeTraits helper
  sacpis
  committed
  67f9860
Commits on Nov 13, 2026