Skip to content
This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

Implements transformation-based synthesis in Q# #41

Merged
merged 7 commits into from Apr 6, 2018
Merged

Implements transformation-based synthesis in Q# #41

merged 7 commits into from Apr 6, 2018

Commits on Feb 28, 2018

  1. Fixes bug in BindAImpl

    @msoeken
    msoeken committed Feb 28, 2018
    Configuration menu
    Copy the full SHA
    316c95c View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2018

  1. Merge branch 'master' into feature_reversible_synthesis

    @msoeken
    msoeken committed Mar 3, 2018
    Configuration menu
    Copy the full SHA
    f0a8fe2 View commit details
    Browse the repository at this point in the history

  2. Implementation of transformation-based synthesis in Q#.

    @msoeken
    msoeken committed Mar 3, 2018
    Configuration menu
    Copy the full SHA
    5d75ecb View commit details
    Browse the repository at this point in the history

  3. Spaces instead of tabs.

    @msoeken
    msoeken committed Mar 3, 2018
    Configuration menu
    Copy the full SHA
    85fd416 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2018

  1. Tests for ReversibleLogicSynthesis.

    @msoeken
    msoeken committed Apr 3, 2018
    Configuration menu
    Copy the full SHA
    adfde7c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feature_reversible_synthesis

    @msoeken
    msoeken committed Apr 3, 2018
    Configuration menu
    Copy the full SHA
    b8cffd2 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2018

  1. Documentation and coding guidelines.

    @msoeken
    msoeken committed Apr 5, 2018
    Configuration menu
    Copy the full SHA
    a2d753e View commit details
    Browse the repository at this point in the history