Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of quantumlib

quantumlib - v1.6.0

What's Changed

  • Permutations Improvement, Kronecker Commutation by @wjbs in https://github.com/inQWIRE/QuantumLib/pull/45

Full Changelog: https://github.com/inQWIRE/QuantumLib/compare/v1.5.1...v1.6.0

- Rocq Prover
Published by adrianleh over 1 year ago

quantumlib - v1.5.1

What's Changed

  • Fix Qsimpl hanging on goals with adjoint _ by @wjbs in https://github.com/inQWIRE/QuantumLib/pull/44

New Contributors

  • @wjbs made their first contribution in https://github.com/inQWIRE/QuantumLib/pull/44

Full Changelog: https://github.com/inQWIRE/QuantumLib/compare/v1.5.0...v1.5.1

- Rocq Prover
Published by adrianleh almost 2 years ago

quantumlib - v1.5.0

What's Changed

  • Add results about permutations by @lczielinski in https://github.com/inQWIRE/QuantumLib/pull/42

Full Changelog: https://github.com/inQWIRE/QuantumLib/compare/v1.4.0...v1.5.0

- Rocq Prover
Published by adrianleh about 2 years ago

quantumlib - v1.4.0

See #41.

Full Diff: https://github.com/inQWIRE/QuantumLib/compare/v1.3.0...v1.4.0

- Rocq Prover
Published by adrianleh about 2 years ago

quantumlib - v1.3.0

What's Changed

  • new automation tactics autowf and collatewf for more efficient well… by @rnrand in https://github.com/inQWIRE/QuantumLib/pull/28
  • Fix non building by @caldwellb in https://github.com/inQWIRE/QuantumLib/pull/30
  • Bumped to version 1.2.0 by @caldwellb in https://github.com/inQWIRE/QuantumLib/pull/31
  • Update README.md by @caldwellb in https://github.com/inQWIRE/QuantumLib/pull/32
  • added pad2, embed + lemmas by @bhaktishh in https://github.com/inQWIRE/QuantumLib/pull/27
  • Update coq-action.yml by @caldwellb in https://github.com/inQWIRE/QuantumLib/pull/34
  • Update coq-action.yml by @YoungchanCho in https://github.com/inQWIRE/QuantumLib/pull/38
  • Update QuantumLib for compatibility with Coq v8.16-8.19 by @adrianleh in https://github.com/inQWIRE/QuantumLib/pull/40

New Contributors

  • @rnrand made their first contribution in https://github.com/inQWIRE/QuantumLib/pull/28
  • @caldwellb made their first contribution in https://github.com/inQWIRE/QuantumLib/pull/30
  • @bhaktishh made their first contribution in https://github.com/inQWIRE/QuantumLib/pull/27

Full Changelog: https://github.com/inQWIRE/QuantumLib/compare/v1.1.0...v1.3.0

- Rocq Prover
Published by adrianleh over 2 years ago

quantumlib - 1.1.0

What's Changed

  • Initial release on Coq opam repo.
  • Add support for Coq 8.15
  • Progress with documentation, rendered at https://inqwire.github.io/QuantumLib/toc.html

Full Changelog: https://github.com/inQWIRE/QuantumLib/compare/v1.0.0...v1.1.0

- Rocq Prover
Published by k4rtik almost 4 years ago