This repository was archived by the owner on Jan 12, 2024. It is now read-only.
Merge branch features/CallGraphWalker into feature/capability-inference#598
Merged
bamarsha merged 118 commits intofeature/capability-inferencefrom Sep 2, 2020
Merged
Conversation
…T classes so they don't use positional information. This lets us safely hash these values at the transformation level.
…conventions. Fixed missing reference to namespace sub-transformation. Added DependencyType to CallGraph.
…for ToDo's. Used StripPositionInfo instead of RemovePositionInfo.
…/qsharp-compiler into sccarda/TypeResolution
Type Resolution in Call Graph
Master into Call Graph
Added logic to populate call graph based on entry points, if present in the compilation.
Master to Call Graph Walker
Refactored algorithm to cover additional cases including nested type parameters.
Master into call graph walker
Updated Call Graph, Walker, and tests to use the Type Param Combinations.
Master to Call Graph Walker
Adding Validation for Cycles in Call Graph
Merge Master into Feature Branch
…amarsha/call-graph-to-capability-inference # Conflicts: # src/QsCompiler/Tests.Compiler/Tests.Compiler.fsproj
bamarsha
requested review from
ScottCarda-MS,
bettinaheim,
cesarzc and
swernli
ScottCarda-MS
approved these changes
Sep 1, 2020
7 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Merges the call graph into the capability inference feature branch, so that the call graph can be used to infer capabilities based on call dependencies.