Code

[Frontend] Program verification#626

Code

Merged

dime10 merged 183 commits intomainPennyLaneAI/catalyst:mainfrom program-verification-2PennyLaneAI/catalyst:program-verification-2Copy head branch name to clipboardJun 13, 2024

+1,292-401

Commits

Commits on Mar 14, 2024

• Clean-up unconditional addition of the ControlledQubitUnitary to QJIT device gates

  

  Sergei Mironov

  committed
  af40cf6

  Copy full SHA for af40cf6

• Clean-up unconditional addition of the ControlledQubitUnitary to QJIT device gates

  

  Sergei Mironov

  committed
  a4bbd6b

  Copy full SHA for a4bbd6b

• Explicitly list supported controlled gates

  

  Sergei Mironov

  committed
  f4ee1a8

  Copy full SHA for f4ee1a8

• Fix missing Projector observable in the kokkos device config

  

  Sergei Mironov

  committed
  5d288e8

  Copy full SHA for 5d288e8

• Read toml files in binary mode

  

  Sergei Mironov

  committed
  5174342

  Copy full SHA for 5174342

Commits on Mar 15, 2024

• [FIX] Apply ASAN runner_mu fix

  

  Sergei Mironov

  committed
  6ef4188

  Copy full SHA for 6ef4188

Commits on Mar 18, 2024

• Merge branch 'main' into native-quantum-control-toml-fixup

  

  Sergei Mironov

  authored
  d367d12

  Copy full SHA for d367d12

• Program verification initial commit

  

  Sergei Mironov

  committed
  797fd2d

  Copy full SHA for 797fd2d

Commits on Mar 20, 2024

• Ongoing work

  

  Sergei Mironov

  committed
  54d7808

  Copy full SHA for 54d7808

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  fc23d2d

  Copy full SHA for fc23d2d

Commits on Mar 21, 2024

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  728171e

  Copy full SHA for 728171e

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  e49f521

  Copy full SHA for e49f521

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  fc1fdfc

  Copy full SHA for fc1fdfc

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  649437f

  Copy full SHA for 649437f

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  9d0c1c9

  Copy full SHA for 9d0c1c9

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  97bfa29

  Copy full SHA for 97bfa29

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  dd6d469

  Copy full SHA for dd6d469

• Implement device capability datastructure

  

  Sergei Mironov

  committed
  f5c8d21

  Copy full SHA for f5c8d21

• Clean up the code

  

  Sergei Mironov

  committed
  5d15a81

  Copy full SHA for 5d15a81

• Temporary revert verification draft

  

  Sergei Mironov

  committed
  83b2f8a

  Copy full SHA for 83b2f8a

• Address CodeCov issues

  

  Sergei Mironov

  committed
  96d1f81

  Copy full SHA for 96d1f81

• Merge remote-tracking branch 'origin/main' into program-verification

  

  Sergei Mironov

  committed
  1b51b59

  Copy full SHA for 1b51b59

• Address CodeCov issues

  

  Sergei Mironov

  committed
  e8cf0db

  Copy full SHA for e8cf0db

• Address CodeCov issues

  

  Sergei Mironov

  committed
  1cc4bf2

  Copy full SHA for 1cc4bf2

• Address CodeCov issues

  

  Sergei Mironov

  committed
  b765320

  Copy full SHA for b765320

• Address CodeCov issues

  

  Sergei Mironov

  committed
  0668639

  Copy full SHA for 0668639

• Address CodeCov issues

  

  Sergei Mironov

  committed
  6855293

  Copy full SHA for 6855293

• Address CodeCov issues

  

  Sergei Mironov

  committed
  dbb62df

  Copy full SHA for dbb62df

Commits on Mar 22, 2024

• Fix kokkos tests

  

  Sergei Mironov

  committed
  986e682

  Copy full SHA for 986e682

• Merge remote-tracking branch 'origin/main' into program-verification

  

  Sergei Mironov

  committed
  e47402e

  Copy full SHA for e47402e

• Cleanup the code

  

  Sergei Mironov

  committed
  29d9258

  Copy full SHA for 29d9258

• Address codecov issues

  

  Sergei Mironov

  committed
  171f0ba

  Copy full SHA for 171f0ba

• Address codecov issues

  

  Sergei Mironov

  committed
  46cd001

  Copy full SHA for 46cd001

• Address codecov issues

  

  Sergei Mironov

  committed
  258a9fc

  Copy full SHA for 258a9fc

• Address codecov issues

  

  Sergei Mironov

  committed
  26af78c

  Copy full SHA for 26af78c

• Revert "Temporary revert verification draft"

  Show description for 50124d7
  

  Sergei Mironov

  committed
  50124d7

  Copy full SHA for 50124d7

• Implementing program verification

  

  Sergei Mironov

  committed
  350e837

  Copy full SHA for 350e837

Commits on Apr 30, 2024

• Merge remote-tracking branch 'origin/main' into program-verification-2

  

  Sergei Mironov

  committed
  c3a1625

  Copy full SHA for c3a1625

• Address formatting issues

  

  Sergei Mironov

  committed
  663de3c

  Copy full SHA for 663de3c

Commits on May 2, 2024

• Implementing the Jaxpr-based-solution

  

  Sergei Mironov

  committed
  cb4ab57

  Copy full SHA for cb4ab57

Commits on May 3, 2024

• Implementing the Jaxpr-based-solution

  

  Sergei Mironov

  committed
  3154491

  Copy full SHA for 3154491

• Make a test tomle-schema-2-compatible

  

  Sergei Mironov

  committed
  0ede63d

  Copy full SHA for 0ede63d

• Address formatting issues

  

  Sergei Mironov

  committed
  1babc99

  Copy full SHA for 1babc99

Commits on May 6, 2024

• Make test toml-schema-independant

  

  Sergei Mironov

  committed
  30de70c

  Copy full SHA for 30de70c

• Merge branch 'main' into toml-schema-2-update-test

  

  Sergei Mironov

  authored
  9f985b0

  Copy full SHA for 9f985b0

• Address codecov errors

  

  Sergei Mironov

  committed
  f97e7e9

  Copy full SHA for f97e7e9

• Address codecov errors

  

  Sergei Mironov

  committed
  40499b4

  Copy full SHA for 40499b4

• Address codecov errors

  

  Sergei Mironov

  committed
  0ed92b6

  Copy full SHA for 0ed92b6

Commits on May 7, 2024

• Merge remote-tracking branch 'origin/main' into program-verification-2

  

  Sergei Mironov

  committed
  4fa1dca

  Copy full SHA for 4fa1dca

Commits on May 8, 2024

• Implement quantum-tape-based solution

  

  Sergei Mironov

  committed
  15df03a

  Copy full SHA for 15df03a

• Implement quantum-tape-based solution

  

  Sergei Mironov

  committed
  be2f37f

  Copy full SHA for be2f37f

Commits on May 9, 2024

• Implement quantum-tape-based solution

  

  Sergei Mironov

  committed
  ad68bf9

  Copy full SHA for ad68bf9

• Merge remote-tracking branch 'origin/main' into toml-schema-2-update-test

  

  Sergei Mironov

  committed
  22cfe45

  Copy full SHA for 22cfe45

• Merge remote-tracking branch 'origin/toml-schema-2-update-test' into program-verification-2

  

  Sergei Mironov

  committed
  1fe455b

  Copy full SHA for 1fe455b

• Address formatting issues

  

  Sergei Mironov

  committed
  84fe65c

  Copy full SHA for 84fe65c

• Address pylint issues

  

  Sergei Mironov

  committed
  2a0718b

  Copy full SHA for 2a0718b

• Address merge issues

  

  Sergei Mironov

  committed
  6eedb4b

  Copy full SHA for 6eedb4b

• Fix wrong field name

  

  Sergei Mironov

  committed
  d00c7e4

  Copy full SHA for d00c7e4

• Merge branch 'toml-schema-2-update-test' into program-verification-2

  

  Sergei Mironov

  committed
  0df99a5

  Copy full SHA for 0df99a5

• Address pylint issues

  

  Sergei Mironov

  committed
  61c7203

  Copy full SHA for 61c7203

• Fix capabilities field name

  

  Sergei Mironov

  committed
  c587f92

  Copy full SHA for c587f92

• Add tests

  

  Sergei Mironov

  committed
  a4f904a

  Copy full SHA for a4f904a

• Verify invertible and controllable properties

  

  Sergei Mironov

  committed
  8294dcc

  Copy full SHA for 8294dcc

• Address pylint issues

  

  Sergei Mironov

  committed
  9ea3d00

  Copy full SHA for 9ea3d00

• Move test to test_verification; test invertibility

  

  Sergei Mironov

  committed
  ea0b568

  Copy full SHA for ea0b568

• Move test to test_verification; test invertibility

  

  Sergei Mironov

  committed
  030b3eb

  Copy full SHA for 030b3eb

• Address formatting issues

  

  Sergei Mironov

  committed
  81599a2

  Copy full SHA for 81599a2

Commits on May 10, 2024

• Add controllable tests

  

  Sergei Mironov

  committed
  cd11bd2

  Copy full SHA for cd11bd2

• Address formatting issues

  

  Sergei Mironov

  committed
  e5dd882

  Copy full SHA for e5dd882

• Remove unused parameter

  

  Sergei Mironov

  committed
  30c7a73

  Copy full SHA for 30c7a73

• Make diff check valid for adjoint method

  

  Sergei Mironov

  committed
  9506591

  Copy full SHA for 9506591

• Fix tests

  

  Sergei Mironov

  committed
  3ee05f1

  Copy full SHA for 3ee05f1

• Fix tests

  

  Sergei Mironov

  committed
  0be48e7

  Copy full SHA for 0be48e7

• Verify no mid-circuit measure in grads

  

  Sergei Mironov

  committed
  56e2974

  Copy full SHA for 56e2974

• Verify no mid-circuit measure in grads

  

  Sergei Mironov

  committed
  66f0869

  Copy full SHA for 66f0869

• Add comments

  

  Sergei Mironov

  committed
  b007fec

  Copy full SHA for b007fec

Commits on May 14, 2024

• Add parameter-shift verification

  

  Sergei Mironov

  committed
  3d213c5

  Copy full SHA for 3d213c5

• Add parameter-shift verification

  

  Sergei Mironov

  committed
  0c770aa

  Copy full SHA for 0c770aa

• Add parameter-shift verification

  

  Sergei Mironov

  committed
  390e011

  Copy full SHA for 390e011

• Add state-variance verification

  

  Sergei Mironov

  committed
  f31e7b6

  Copy full SHA for f31e7b6

• Add state-variance verification

  

  Sergei Mironov

  committed
  0e7a3f7

  Copy full SHA for 0e7a3f7

• Merge remote-tracking branch 'origin/main' into program-verification-2

  

  Sergei Mironov

  committed
  dd13945

  Copy full SHA for dd13945

• Address pylint issues

  

  Sergei Mironov

  committed
  561406d

  Copy full SHA for 561406d

Commits on May 16, 2024

• Address review suggestions; Move code around

  

  Sergei Mironov

  committed
  d3ffae5

  Copy full SHA for d3ffae5

• Merge remote-tracking branch 'origin/main' into toml-schema-2-update-test

  

  Sergei Mironov

  committed
  aa37716

  Copy full SHA for aa37716

• Address formatting issues

  

  Sergei Mironov

  committed
  6537b2a

  Copy full SHA for 6537b2a

• Address formatting issues

  

  Sergei Mironov

  committed
  468c3ca

  Copy full SHA for 468c3ca

• Address pylint issues

  

  Sergei Mironov

  committed
  72c9f24

  Copy full SHA for 72c9f24

• Add missing paths module

  

  Sergei Mironov

  committed
  611e5fc

  Copy full SHA for 611e5fc

• Revert the old device API support in verification

  

  Sergei Mironov

  committed
  423a499

  Copy full SHA for 423a499

• Merge branch 'toml-schema-2-update-test' into program-verification-2

  

  Sergei Mironov

  committed
  dcb7d1b

  Copy full SHA for dcb7d1b

• Update a test

  

  Sergei Mironov

  committed
  258fdaf

  Copy full SHA for 258fdaf

Commits on May 21, 2024

• Address review suggestion: remove self.qjit_device

  

  Sergei Mironov

  committed
  371730e

  Copy full SHA for 371730e

• Merge remote-tracking branch 'origin/main' into program-verification-2

  

  Sergei Mironov

  committed
  2709b03

  Copy full SHA for 2709b03

• Fix tests

  

  Sergei Mironov

  committed
  3d4a255

  Copy full SHA for 3d4a255

• Merge branch 'main' into toml-schema-2-update-test

  

  Sergei Mironov

  authored
  e94c55d

  Copy full SHA for e94c55d

Commits on May 22, 2024

• Fix re-added runtime.py

  

  Sergei Mironov

  committed
  5bd08cb

  Copy full SHA for 5bd08cb

• Fix a test

  

  Sergei Mironov

  committed
  f59e6bc

  Copy full SHA for f59e6bc

• Merge remote-tracking branch 'origin/main' into toml-schema-2-update-test

  

  Sergei Mironov

  committed
  8aadcf4

  Copy full SHA for 8aadcf4

• Merge branch 'toml-schema-2-update-test' into program-verification-2

  

  Sergei Mironov

  committed
  a666361

  Copy full SHA for a666361

• Address review suggestions: do not ignore max_expansion argument

  

  Sergei Mironov

  committed
  542658f

  Copy full SHA for 542658f

• Address pylint issues

  

  Sergei Mironov

  committed
  51e77f5

  Copy full SHA for 51e77f5

• Address review suggestions: replace int with bool in verification

  

  Sergei Mironov

  committed
  39af1d9

  Copy full SHA for 39af1d9

Commits on May 23, 2024

• Fix parameter-shift logic

  

  Sergei Mironov

  committed
  651eca0

  Copy full SHA for 651eca0

• Fix tests

  

  Sergei Mironov

  committed
  74a3e83

  Copy full SHA for 74a3e83

• Address codefactor issues

  

  Sergei Mironov

  committed
  59887cf

  Copy full SHA for 59887cf

Commits on May 24, 2024

• Update frontend/catalyst/jax_primitives.py

  Show description for 1ba9149
  

  Sergei Mironov

  and

  dime10

  authored
  1ba9149

  Copy full SHA for 1ba9149

• Update frontend/catalyst/third_party/cuda/primitives/__init__.py

  Show description for 4735b85
  

  Sergei Mironov

  and

  dime10

  authored
  4735b85

  Copy full SHA for 4735b85

• Disable verify_control

  

  Sergei Mironov

  committed
  3ee9193

  Copy full SHA for 3ee9193

• Rename paths -> runtime_environment

  

  Sergei Mironov

  committed
  74ec4ff

  Copy full SHA for 74ec4ff

• Address review suggestions: move validate_device_requirements -> qjit_device.py

  

  Sergei Mironov

  committed
  8793214

  Copy full SHA for 8793214

• Address review suggestions: remove self.qjit_device attribute from qnode; Add a todo notice

  

  Sergei Mironov

  committed
  04a5b41

  Copy full SHA for 04a5b41

• Fix a test import

  

  Sergei Mironov

  committed
  2bb3ede

  Copy full SHA for 2bb3ede

• Merge branch 'main' into toml-schema-2-update-test

  

  Sergei Mironov

  authored
  722886c

  Copy full SHA for 722886c

• Merge branch 'toml-schema-2-update-test' into program-verification-2

  

  Sergei Mironov

  committed
  5a87424

  Copy full SHA for 5a87424

• Remove non-controllble check

  

  Sergei Mironov

  committed
  42fc45f

  Copy full SHA for 42fc45f

• Address review suggestions: render verification as a PL transform

  

  Sergei Mironov

  committed
  fe66900

  Copy full SHA for fe66900

• Address review suggestions: render verification as a PL transform

  

  Sergei Mironov

  committed
  30332fe

  Copy full SHA for 30332fe

• Fix minor error

  

  Sergei Mironov

  committed
  3a30158

  Copy full SHA for 3a30158

• Fix codecov errors

  

  Sergei Mironov

  committed
  327bbac

  Copy full SHA for 327bbac

• Fix codecov errors

  

  Sergei Mironov

  committed
  9ab4762

  Copy full SHA for 9ab4762

• Update changelog

  

  Sergei Mironov

  committed
  eadeb91

  Copy full SHA for eadeb91

• Merge branch 'toml-schema-2-update-test' into program-verification-2

  

  Sergei Mironov

  committed
  c1fbe4c

  Copy full SHA for c1fbe4c

• Fix pylint errors

  

  Sergei Mironov

  committed
  e3cce11

  Copy full SHA for e3cce11

• Revert changelog notice

  

  Sergei Mironov

  committed
  fa6af65

  Copy full SHA for fa6af65

• Move more functions

  

  Sergei Mironov

  committed
  3be4cbc

  Copy full SHA for 3be4cbc

• Merge remote-tracking branch 'origin/main' into program-verification-2

  

  Sergei Mironov

  committed
  6e36042

  Copy full SHA for 6e36042

• Fix pylint errors

  

  Sergei Mironov

  committed
  6381fdb

  Copy full SHA for 6381fdb

Commits on May 27, 2024

• Re-enable controllable check

  

  Sergei Mironov

  committed
  a64ce01

  Copy full SHA for a64ce01

• Fix pylint errors

  

  Sergei Mironov

  committed
  1aff1a5

  Copy full SHA for 1aff1a5

• Merge remote-tracking branch 'origin/main' into program-verification-2

  

  Sergei Mironov

  committed
  ec05907

  Copy full SHA for ec05907

• Fix lit tests

  

  Sergei Mironov

  committed
  57a1394

  Copy full SHA for 57a1394

• Merge branch 'main' into program-verification-2

  lillian542

  authored
  8d47d67

  Copy full SHA for 8d47d67

• update import path

  lillian542

  committed
  80d033e

  Copy full SHA for 80d033e

• separate operation and observable verification transforms

  lillian542

  committed
  3b67cc0

  Copy full SHA for 3b67cc0

• update import path

  lillian542

  committed
  b77acb7

  Copy full SHA for b77acb7

• formatting

  lillian542

  committed
  ef2e9fd

  Copy full SHA for ef2e9fd

• undo changes to max_expansion behaviour

  lillian542

  committed
  7f27776

  Copy full SHA for 7f27776

• use mocker to skip decomposition

  lillian542

  committed
  53bb371

  Copy full SHA for 53bb371

• update tests

  lillian542

  committed
  033f770

  Copy full SHA for 033f770

• pylint, codefactor, black

  lillian542

  committed
  6e751bc

  Copy full SHA for 6e751bc

• switch import order

  lillian542

  authored
  3d0aadc

  Copy full SHA for 3d0aadc

• remove unused import

  lillian542

  committed
  0a9e61d

  Copy full SHA for 0a9e61d

• remove QCtrl for now

  lillian542

  committed
  2980dac

  Copy full SHA for 2980dac

• remove unreachable conditional

  lillian542

  committed
  9dbffd9

  Copy full SHA for 9dbffd9

• remove trailing whitespace

  lillian542

  authored
  5eaa5ea

  Copy full SHA for 5eaa5ea

Commits on May 28, 2024

• update test docstrings

  lillian542

  committed
  6a3d30d

  Copy full SHA for 6a3d30d

• Merge branch 'program-verification-2' of github.com:PennyLaneAI/catalyst into program-verification-2

  lillian542

  committed
  420c2f5

  Copy full SHA for 420c2f5

• black formatting

  lillian542

  committed
  7b33e8d

  Copy full SHA for 7b33e8d

• handle case where recursive check passes [] as obs

  lillian542

  committed
  70694c3

  Copy full SHA for 70694c3

• remove stray print statement

  lillian542

  committed
  c4782c0

  Copy full SHA for c4782c0

• tests and bugfix

  lillian542

  committed
  0f6f1cf

  Copy full SHA for 0f6f1cf

• delete extra comment lines

  lillian542

  committed
  a62bccf

  Copy full SHA for a62bccf

Commits on May 29, 2024

• formatting

  lillian542

  authored
  cac4c77

  Copy full SHA for cac4c77

Commits on May 30, 2024

• Merge branch 'main' into program-verification-2

  lillian542

  authored
  189a822

  Copy full SHA for 189a822

• put observable_props back in patch_schema1_collections

  lillian542

  committed
  3821801

  Copy full SHA for 3821801

• update op_checker to also check that unnested ops are supported

  lillian542

  committed
  d102631

  Copy full SHA for d102631

• update tests

  lillian542

  committed
  111a93c

  Copy full SHA for 111a93c

• formatting

  lillian542

  committed
  24a73f5

  Copy full SHA for 24a73f5

• codefactor

  lillian542

  committed
  7d0ea75

  Copy full SHA for 7d0ea75

• black formatting

  lillian542

  committed
  502f9c1

  Copy full SHA for 502f9c1

Commits on Jun 7, 2024

• Iterate over measurements instead of observables

  lillian542

  authored
  b10c7a2

  Copy full SHA for b10c7a2

• Remove outdated comments

  lillian542

  authored
  2dd302c

  Copy full SHA for 2dd302c

• fix the bug I just introduced

  lillian542

  committed
  ddca6ae

  Copy full SHA for ddca6ae

• update controlled criteria in inv checker

  lillian542

  committed
  1b3057c

  Copy full SHA for 1b3057c

• Merge branch 'main' into program-verification-2

  lillian542

  authored
  c3fe6c8

  Copy full SHA for c3fe6c8

• Merge branch 'main' into program-verification-2

  lillian542

  authored
  a950d0f

  Copy full SHA for a950d0f

• actually resolve merge conflicts

  lillian542

  committed
  8156ce3

  Copy full SHA for 8156ce3

• update verification for new Adjoint structure

  lillian542

  committed
  96cba56

  Copy full SHA for 96cba56

Commits on Jun 12, 2024

• Merge branch 'main' into program-verification-2

  lillian542

  authored
  0be4df7

  Copy full SHA for 0be4df7

• fix duplication following merge conflict

  lillian542

  committed
  bdc14d9

  Copy full SHA for bdc14d9

Commits on Jun 13, 2024

• Simplify Adjoint/Control structure in Catalyst (#802)

  Show description for 1cc8d50
  dime10

  authored
  1cc8d50

  Copy full SHA for 1cc8d50

• Merge branch 'main' into program-verification-2

  lillian542

  authored
  d20130b

  Copy full SHA for d20130b

• parameterize adj and ctrl tests over different op types

  lillian542

  committed
  d9359cf

  Copy full SHA for d9359cf

• update tests for hybridctrl

  lillian542

  committed
  75e7e89

  Copy full SHA for 75e7e89

• add more thorough testing for nested hybrid ops verification

  lillian542

  committed
  6a86713

  Copy full SHA for 6a86713

• formatting

  lillian542

  committed
  8670733

  Copy full SHA for 8670733

• fix formatting things

  lillian542

  committed
  f7bb8c6

  Copy full SHA for f7bb8c6

• remove unrecognized mocker object

  lillian542

  committed
  2d5a77d

  Copy full SHA for 2d5a77d

• fix import order

  lillian542

  committed
  813e34f

  Copy full SHA for 813e34f

• add test for codecov

  lillian542

  committed
  ccde863

  Copy full SHA for ccde863

• add validation for pure PL nested operators

  lillian542

  committed
  022755a

  Copy full SHA for 022755a

• Fix line width

  dime10

  authored
  b568d8b

  Copy full SHA for b568d8b