Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Permutations Improvement, Kronecker Commutation #45

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

Permutations Improvement, Kronecker Commutation #45

wants to merge 16 commits into from

Commits on Jul 15, 2024

  1. Fix Q_db autorewrite hanging on trying to rewrite with statements of … 

    …hermitian
    @wjbs
    wjbs committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    3ee56aa View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2024

  1. Bump opam and dune version numbers to 1.5.1

    @wjbs
    wjbs committed Jul 28, 2024
    Configuration menu
    Copy the full SHA
    3bfa593 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. Temporary commit

    @wjbs
    wjbs committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    e3325e8 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Move results about permutations from VyZX into QuantumLib. As a resul… 

    …t, create several new files associated with permutations and perform code repair to account for these changes. Also many small additions and improvements to various parts of QuantumLib.
    @wjbs
    wjbs committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    a4ebcdf View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Rename Permutations.v to PermutationsBase.v and make Permutations.v a… 

    … file exporting PermutationsBase, PermutationInstances, and PermutationMatrices, for backward compatibility
    @wjbs
    wjbs committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    4fbb543 View commit details
    Browse the repository at this point in the history

  2. Improve various proofs, especially targetting some minor speedups.

    @wjbs
    wjbs committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    e7a7519 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2024

  1. Fix scope issue

    @wjbs
    wjbs committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    908ff9e View commit details
    Browse the repository at this point in the history

  2. Add const_matrix and a few results about list2D_to_matrix

    @wjbs
    wjbs committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    a420053 View commit details
    Browse the repository at this point in the history

  3. Add alternative to crunch_matrix using new list2D_to_matrix results

    @wjbs
    wjbs committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    b850cd6 View commit details
    Browse the repository at this point in the history

  4. Fix error

    @wjbs
    wjbs committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    5e4b9b1 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Fix for 8.16

    @wjbs
    wjbs committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    572cc36 View commit details
    Browse the repository at this point in the history

  2. Move lemmas from SQIR into QuantumLib.

    @wjbs
    wjbs committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    167d352 View commit details
    Browse the repository at this point in the history

  3. Version number bump

    @wjbs
    wjbs committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    8ebf07b View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Add work used for VyZX Graphs development

    @wjbs
    wjbs committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    4f80274 View commit details
    Browse the repository at this point in the history

  2. Fix instance priority issue

    @wjbs
    wjbs committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    19a10db View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. Merge branch 'main' into permutations-improvement

    @adrianleh
    adrianleh authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    ce82dee View commit details
    Browse the repository at this point in the history