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

Disable unnecessary transformations and cleaning up API#331

Merged

bettinaheim merged 157 commits intofeatures/transformationSetupfrom

beheim/transformationNodes

Feb 26, 2020

Commits on Feb 11, 2020

individual classes wtih each a handle back to the parent
Bettina Heim
committed
... to be simplified
Bettina Heim
committed
going with a simplified setup
Bettina Heim
committed
this should be the most straightforward setup and hopefully work...
Bettina Heim
committed
inheriting from the already defined classes
Bettina Heim
committed
some renaming
Bettina Heim
committed
wip
Bettina Heim
committed
yuk - so much for making it nice and clean...
Bettina Heim
committed
now that actually works
Bettina Heim
committed
some renaming
Bettina Heim
committed
almost done with #2
Bettina Heim
committed
... concluding that it makes sense to allow for a parameter less constructor on subtransformations
Bettina Heim
committed
minor constructor changes
Bettina Heim
committed
adding constructors that allow to construct subtransformations on their own
Bettina Heim
committed
second transformation done
Bettina Heim
committed
wip
Bettina Heim
committed

Commits on Feb 12, 2020

more wip
Bettina Heim
committed
...wip
Bettina Heim
committed
all search and replace transformations are migrated - need to double check IdentifierReferences transformation!
Bettina Heim
committed
found the issue - looks ok so far
Bettina Heim
committed
updated two of the BasicTransformations
Bettina Heim
committed
functor generation, first half
Bettina Heim
committed

Commits on Feb 13, 2020

wip
Bettina Heim
committed
that should be ok in terms of the SelectByFoldingOverExpressions transformation
Bettina Heim
committed
allowing to parameterize the StatementTransformation within SelectByFoldingOverExpressions
Bettina Heim
committed
... and now this is a stackoverflow
Bettina Heim
committed
... fixing the stackoverflow - still need to check correctness
Bettina Heim
committed
some clean-up
Bettina Heim
committed
Merge branch 'features/transformationSetup' into beheim/transformationMigration
Bettina Heim
committed
whitespace
Bettina Heim
committed
migrated the conjugations
Bettina Heim
committed
wip
Bettina Heim
committed
migrated the type transformation
Bettina Heim
committed
expressions
Bettina Heim
committed
that should take care of the statement transformation
Bettina Heim
committed
starting on the namespace transformation
Bettina Heim
committed
wip
Bettina Heim
committed

Commits on Feb 14, 2020

almost there
Bettina Heim
committed
now I just need to take case of the tests
Bettina Heim
committed
... and the tests work again
Bettina Heim
committed
making sure we get the right diff
Bettina Heim
committed
doc comment
Bettina Heim
committed
Merge branch 'beheim/codeOutput' into beheim/transformations
Bettina Heim
committed
renaming the type transformation
Bettina Heim
committed
migrated the StripRangeInfo transformation
Bettina Heim
committed
... let's see if that can be cleaner
Bettina Heim
committed
wip
Bettina Heim
committed
more wip
Bettina Heim
committed

Commits on Feb 15, 2020

... unfortunatly doesn't seem to be happy
Bettina Heim
committed
removing the let static
Bettina Heim
committed
the migration of StripPositionInfo is the problem ...
Bettina Heim
committed
well, that works ...
Bettina Heim
committed
removing the virtual members
Bettina Heim
committed
reverting 2215708814d003f112c8e65843c043a43800717a
Bettina Heim
committed
... and updating new code
Bettina Heim
committed
cleaned up expression transformation
Bettina Heim
committed
adapting the statement and namespace transformation to follow the same pattern
Bettina Heim
committed
migrated DistinctQubits
Bettina Heim
committed
migrated MutationChecker
Bettina Heim
committed
reference counter
Bettina Heim
committed
migrated ReplaceTypeParams
Bettina Heim
committed
migrated the side effect checker
Bettina Heim
committed
migrated the OptimizingTransformation
Bettina Heim
committed

Commits on Feb 16, 2020

migrated VariableRenaming
Bettina Heim
committed
no need to define a transformation state in F# (we can just keep it in the parent)
Bettina Heim
committed
migrated the evaluation
Bettina Heim
committed
migrated VariableRemoving
Bettina Heim
committed
migrated StatementRemoval
Bettina Heim
committed
... need to go over the code to make sure new transformations are constructed upon invokation ...
Bettina Heim
committed
Comment
Bettina Heim
committed
minor thing
Bettina Heim
committed
minor things
Bettina Heim
committed
forgot something
Bettina Heim
committed
using a dictionary instead of a map for constant propagation
Bettina Heim
committed
removing the fixme
Bettina Heim
committed
migrated LoopUnrolling
Bettina Heim
committed
migrated the callable inlining
Bettina Heim
committed
migrated statement grouping
Bettina Heim
committed
last one down
Bettina Heim
committed
updated the transformations in the Transformation project
Bettina Heim
committed
temporarily disable execution tests
Bettina Heim
committed
disable C# warning for unused variables in example project
Bettina Heim
committed
that was surprisingly painless - all tests pass again
Bettina Heim
committed
getting updates from feature branch
Bettina Heim
committed
resolving issues due to merg
Bettina Heim
committed
forgot to make one merge adaption
Bettina Heim
committed
Revert "temporarily disable execution tests"
Bettina Heim
committed
right package to reenable execution tests
Bettina Heim
committed

Commits on Feb 17, 2020

getting a proper diff
Bettina Heim
committed
renamed a file
Bettina Heim
committed
adapting comments
Bettina Heim
committed

Commits on Feb 18, 2020

doc comment edit
Bettina Heim
committed
Merge branch 'features/transformationSetup' into beheim/transformations
Bettina Heim
committed

Commits on Feb 19, 2020

Revert "getting a proper diff"
Bettina Heim
committed
Merge branch 'beheim/transformationNodes' into beheim/transformations
Bettina Heim
committed
doesn't look like we can have a generic let ...
Bettina Heim
committed
we would need the if on each node
Bettina Heim
committed
that should safe the if query on each node
Bettina Heim
committed
putting options into a separate file
Bettina Heim
committed
that should do for the type transformations
Bettina Heim
committed
that should do for the expression kind transformation
Bettina Heim
committed
that should do for the expression transformation
Bettina Heim
committed
same for statements, added an EmptyStatement
Bettina Heim
committed
getting closer
Bettina Heim
committed
that should do it as a first draft
Bettina Heim
committed
removing the walkers
Bettina Heim
committed

Commits on Feb 20, 2020

minor thing
Bettina Heim
committed
adding a class version without type parameter and going over the optimizing transformations
Bettina Heim
committed
Merge branch 'beheim/transformations' into beheim/transformationNodes
Bettina Heim
committed
adapted the transformation test to use the new setup
Bettina Heim
committed
Merge branch 'features/transformationSetup' into beheim/transformationNodes
Bettina Heim
committed
forgot a comment
Bettina Heim
committed
removing changes that shouldn't have been committed
Bettina Heim
committed

Commits on Feb 22, 2020

replacing "unsafe"
Bettina Heim
committed
getting updates from feature branch
Bettina Heim
committed
deleting the transformation definitions
Bettina Heim
committed
rename QsSyntaxTreeTransformation to SyntaxTreeTransformation
Bettina Heim
committed
to be reverted
Bettina Heim
committed
renaming InternalState to SharedState and adding a direct handle to subtransformations
Bettina Heim
committed
removing the options to override handles to other subtransformations
Bettina Heim
committed
sorting specializations by their kind upon transformation
Bettina Heim
committed

Commits on Feb 23, 2020

disabling subtransformations if no parent is specified
Bettina Heim
committed
adapting a test to respect the order in which specializations are walked
Bettina Heim
committed
Revert "to be reverted"
Bettina Heim
committed
updated runtime packages
Bettina Heim
committed
adding a couple of doc comments
Bettina Heim
committed
renaming Transform -> onNamespace
Bettina Heim
committed
renaming Transform -> onScope
Bettina Heim
committed
rename Transform -> onStatementKind
Bettina Heim
committed
renaming Transform -> onTypedExpression
Bettina Heim
committed
renaming Transform -> onExpressionKind
Bettina Heim
committed
renaming Transform -> onType
Bettina Heim
committed
capitalization in NamespaceTransformation
Bettina Heim
committed
capitalization in statement transformations
Bettina Heim
committed
capitalization for expression transformations
Bettina Heim
committed
capitalization in type transformations
Bettina Heim
committed
disabling unnecessary transformations in the Optimization project (OptimizationTools.fs still needs to be updated)
Bettina Heim
committed
that should do as far as the optimization project goes
Bettina Heim
committed

Commits on Feb 24, 2020

going over BasicTransformations
Bettina Heim
committed
going over the ClassicallyControlledTransformation
Bettina Heim
committed
removing unnecessary Core.* prefixes
Bettina Heim
committed
going over CodeOutput
Bettina Heim
committed
going over conjugations
Bettina Heim
committed
going over FunctorGeneration
Bettina Heim
committed
going over Monomorphization
Bettina Heim
committed
going over SearchAndReplace
Bettina Heim
committed
some renaming and moving stuff, and making sure the tools for classically controlled are *not* public
Bettina Heim
committed
more renaming
Bettina Heim
committed
Merge branch 'features/transformationSetup' into beheim/transformationNodes
Bettina Heim
committed
temporarily disabling execution tests
Bettina Heim
committed
fixing an issue with the functor generation
Bettina Heim
committed
Revert "temporarily disabling execution tests"
Bettina Heim
committed
correct runtime packages to reenable execution tests
Bettina Heim
committed
Final clean-up of node naming and order (#332)
bettinaheim
authored

Commits on Feb 26, 2020