Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: inQWIRE/QuantumLib
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: inQWIRE/QuantumLib
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: gh-pages
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 17 commits
  • 27 files changed
  • 3 contributors

Commits on Jun 21, 2022

  1. Revert "Update ocaml_version for coq:dev CI to run. Closes #23"

    @khieta
    khieta authored Jun 21, 2022
    Configuration menu
    Copy the full SHA
    444f559 View commit details
    Browse the repository at this point in the history

  2. trying to fix CI

    @khieta
    khieta committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    cddc678 View commit details
    Browse the repository at this point in the history

  3. does 'default' work?

    @khieta
    khieta committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    d9f7b1a View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2022

  1. Playing around with CI

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    eebb971 View commit details
    Browse the repository at this point in the history

  2. Attempt #2

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    343b94a View commit details
    Browse the repository at this point in the history

  3. Attempt 3

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    463ebc5 View commit details
    Browse the repository at this point in the history

  4. Attempt 4

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    70215e1 View commit details
    Browse the repository at this point in the history

  5. Attempt 5 ;-;

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    bc7a9c5 View commit details
    Browse the repository at this point in the history

  6. Attempt 6 

    (sorry for anyone getting notifications for all these commits)
    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    a93cea5 View commit details
    Browse the repository at this point in the history

  7. adding html docs

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    481b5f5 View commit details
    Browse the repository at this point in the history

  8. renaming html dir

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    0ceea72 View commit details
    Browse the repository at this point in the history

  9. Removing docs

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    b88d8dd View commit details
    Browse the repository at this point in the history

  10. adding docs

    @khieta
    khieta committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    106cfba View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2022

  1. resolved merge conflict

    @khieta
    khieta committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    4f36c72 View commit details
    Browse the repository at this point in the history

  2. updating docs

    @khieta
    khieta committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    ed2c56e View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2022

  1. Update coq-quantumlib doc to 1.1.0-1-g7ce467b.

    @k4rtik
    k4rtik committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    c3b3ee8 View commit details
    Browse the repository at this point in the history

  2. Update coq-quantumlib doc to 1.1.0.

    @k4rtik
    k4rtik committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    35b84bf View commit details
    Browse the repository at this point in the history
Loading