v1.5.1

What's Changed

• Fix Qsimpl hanging on goals with adjoint _ by @wjbs in #44

New Contributors

• @wjbs made their first contribution in #44

Full Changelog: v1.5.0...v1.5.1

v1.5.0

What's Changed

• Add results about permutations by @lczielinski in #42

Full Changelog: v1.4.0...v1.5.0

v1.4.0

See #41.

Full Diff: v1.3.0...v1.4.0

v1.3.0

What's Changed

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

New Contributors

• @rnrand made their first contribution in #28
• @caldwellb made their first contribution in #30
• @bhaktishh made their first contribution in #27

Full Changelog: v1.1.0...v1.3.0

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: v1.0.0...v1.1.0