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

General Hoist Transformation#362

Closed
ScottCarda-MS wants to merge 25 commits intomasterfrom
sccarda/GeneralHoist
Closed

General Hoist Transformation#362
ScottCarda-MS wants to merge 25 commits intomasterfrom
sccarda/GeneralHoist

Conversation

@ScottCarda-MS
Copy link
Contributor

Separates out the hoisting (lifting) logic of the classical control transformation into its own transformation that can be used by future features.

Work that still needs to be done:

  • Add IsSelfAdjointable to the BuiltIn Class so it can be used in the new transformation.
  • Separate out unit tests.

bettinaheim and others added 25 commits February 12, 2020 18:37
Migrated Monomorphization Transformations
…arated out the Hoist transformation from the Conditional Conversion transformation.
* Characteristics for generated ApplyIf is now the intersection of the supported functors of its arguments.

* Remove some unnecessary logic from the tests and updated the ApplyIfElse tests to check for proper type argument order.
…alControl

Master to Feature Classical Control
Added logic for converting comparisons of non-literal result expressions in the conditions of if-structures.
Added unit tests for Apply Conditionally Tests.
Added logic for inequality support.
@ScottCarda-MS
Copy link
Contributor Author

Closed in favor of #364.

@ScottCarda-MS ScottCarda-MS deleted the sccarda/GeneralHoist branch March 16, 2020 18:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants