Fixing a couple of issues (#447)

bettinaheim · web-flow · commit 851a8e3f6029 · 2020-06-06T18:52:08.000-07:00
diff --git a/QsCompiler.sln b/QsCompiler.sln
@@ -44,6 +44,8 @@ Project("{6EC3EE1D-3C4E-46DD-8F32-0CC8E7565705}") = "Optimizations", "src\QsComp
 EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Tests", "Tests", "{B4A9484D-31FC-4A27-9E26-4C8DE3E02D77}"
 EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Library2", "src\QsCompiler\TestTargets\Libraries\Library2\Library2.csproj", "{E7E019AB-42F8-48AB-B80C-D33351F2C96A}"
+EndProject
 Global
 	GlobalSection(SolutionConfigurationPlatforms) = preSolution
 		Debug|Any CPU = Debug|Any CPU
@@ -258,6 +260,18 @@ Global
 		{31085984-3DA6-43C7-B0AA-CE62DC60BB56}.Release|x64.Build.0 = Release|Any CPU
 		{31085984-3DA6-43C7-B0AA-CE62DC60BB56}.Release|x86.ActiveCfg = Release|Any CPU
 		{31085984-3DA6-43C7-B0AA-CE62DC60BB56}.Release|x86.Build.0 = Release|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Debug|Any CPU.Build.0 = Debug|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Debug|x64.ActiveCfg = Debug|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Debug|x64.Build.0 = Debug|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Debug|x86.ActiveCfg = Debug|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Debug|x86.Build.0 = Debug|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Release|Any CPU.ActiveCfg = Release|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Release|Any CPU.Build.0 = Release|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Release|x64.ActiveCfg = Release|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Release|x64.Build.0 = Release|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Release|x86.ActiveCfg = Release|Any CPU
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A}.Release|x86.Build.0 = Release|Any CPU
 	EndGlobalSection
 	GlobalSection(SolutionProperties) = preSolution
 		HideSolutionNode = FALSE
@@ -271,6 +285,7 @@ Global
 		{2E331781-F7ED-4EF1-8451-896636C6D93A} = {76BA96DA-DC1E-4315-A3ED-5F0700A79812}
 		{D2E36476-A65F-4310-9C4C-B721BCC47B00} = {6077A717-50BF-4F87-B439-CA549AF6A4AE}
 		{DDAA35BF-7BFC-431F-9F7E-182F01DAEB3F} = {D2E36476-A65F-4310-9C4C-B721BCC47B00}
+		{E7E019AB-42F8-48AB-B80C-D33351F2C96A} = {D2E36476-A65F-4310-9C4C-B721BCC47B00}
 	EndGlobalSection
 	GlobalSection(ExtensibilityGlobals) = postSolution
 		SolutionGuid = {B921C36B-4574-4025-8FE3-E5BD2D3D2B81}
diff --git a/build/build.ps1 b/build/build.ps1
@@ -107,7 +107,6 @@ if ($Env:ENABLE_VSIX -ne "false") {
     Build-VS
 } else {
     Write-Host "##vso[task.logissue type=warning;]VSIX building skipped due to ENABLE_VSIX variable."
-    return
 }
 
 if (-not $all_ok) {
diff --git a/build/ci.yml b/build/ci.yml
@@ -4,7 +4,7 @@ trigger:
 
 variables:
   Build.Major: 0
-  Build.Minor: 10
+  Build.Minor: 11
   Assembly.Version: $(Build.BuildNumber)
   Assembly.Constants: ''
   Drops.Dir: $(Build.ArtifactStagingDirectory)/drops
diff --git a/examples/CompilerExtensions/CustomExtension/CustomExtension.csproj b/examples/CompilerExtensions/CustomExtension/CustomExtension.csproj
@@ -5,7 +5,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Quantum.Compiler" Version="0.10.2003.1821-beta" />
+    <PackageReference Include="Microsoft.Quantum.Compiler" Version="0.11.2006.411-beta" />
   </ItemGroup>
 
 </Project>
diff --git a/examples/CompilerExtensions/Demo/Demo.csproj b/examples/CompilerExtensions/Demo/Demo.csproj
@@ -1,4 +1,4 @@
-﻿<Project Sdk="Microsoft.Quantum.Sdk/0.10.2003.1821-beta">
+﻿<Project Sdk="Microsoft.Quantum.Sdk/0.11.2006.411-beta">
 
   <PropertyGroup>
     <QscVerbosity>Detailed</QscVerbosity>
diff --git a/examples/CompilerExtensions/Demo/Driver.cs b/examples/CompilerExtensions/Demo/Driver.cs
diff --git a/examples/CompilerExtensions/Demo/Program.qs b/examples/CompilerExtensions/Demo/Program.qs
@@ -4,6 +4,7 @@
         return (n, n+1);
     }
 
+    @EntryPoint()
     operation SampleProgram () : Int {
         let (a, b) = GetPair(5);
         return a + b;
diff --git a/src/QsCompiler/CompilationManager/CompilationUnit.cs b/src/QsCompiler/CompilationManager/CompilationUnit.cs
@@ -115,13 +115,13 @@ static QsDeclarationAttribute Renamed(QsQualifiedName originalName, Tuple<int, i
             var rename = new RenameReferences(renaming);
             var types = headers.Types
                 .Select(type => 
-                    renaming.ContainsKey(type.QualifiedName) && type.Location.IsValue // TODO: we should instead fully support auto-generated attributes
+                    renaming.TryGetValue(type.QualifiedName, out var newName) && !type.QualifiedName.Equals(newName) && type.Location.IsValue // TODO: we should instead fully support auto-generated attributes
                     ? type.AddAttribute(Renamed(type.QualifiedName, type.Location.Item.Offset))
                     : type)
                 .Select(rename.OnTypeDeclarationHeader);
             var callables = headers.Callables
                 .Select(callable => 
-                    renaming.ContainsKey(callable.QualifiedName) && callable.Location.IsValue // TODO: we should instead fully support auto-generated attributes
+                    renaming.TryGetValue(callable.QualifiedName, out var newName) && !callable.QualifiedName.Equals(newName) && callable.Location.IsValue // TODO: we should instead fully support auto-generated attributes
                     ? callable.AddAttribute(Renamed(callable.QualifiedName, callable.Location.Item.Offset))
                     : callable)
                 .Select(rename.OnCallableDeclarationHeader);
@@ -186,13 +186,13 @@ public References(ImmutableDictionary<NonNullable<string>, Headers> refs, bool l
             }
             
             if (onError == null) return;
-            var conflictingCallables = refs.Values
+            var conflictingCallables = this.Declarations.Values
                 .SelectMany(r => r.Callables)
                 .Where(c => Namespace.IsDeclarationAccessible(false, c.Modifiers.Access))
                 .GroupBy(c => c.QualifiedName)
                 .Where(g => g.Count() != 1)
                 .Select(g => (g.Key, String.Join(", ", g.Select(c => c.SourceFile.Value))));
-            var conflictingTypes = refs.Values
+            var conflictingTypes = this.Declarations.Values
                 .SelectMany(r => r.Types)
                 .Where(t => Namespace.IsDeclarationAccessible(false, t.Modifiers.Access))
                 .GroupBy(t => t.QualifiedName)
diff --git a/src/QsCompiler/Compiler/ExternalRewriteSteps.cs b/src/QsCompiler/Compiler/ExternalRewriteSteps.cs
@@ -243,6 +243,24 @@ Uri WithFullPath(string file)
                     onDiagnostic?.Invoke(LoadError(ErrorCode.FileIsNotAnAssembly, target.LocalPath));
                     onException?.Invoke(ex);
                 }
+                catch (ReflectionTypeLoadException ex)
+                {
+                    var sb = new System.Text.StringBuilder();
+                    foreach (var exSub in ex.LoaderExceptions)
+                    {
+                        var msg = exSub.ToString();
+                        if (msg != null) sb.AppendLine(msg);
+                        if (exSub is FileNotFoundException exFileNotFound && !string.IsNullOrEmpty(exFileNotFound.FusionLog))
+                        {
+                            sb.AppendLine("Fusion Log:");
+                            sb.AppendLine(exFileNotFound.FusionLog);
+                            sb.AppendLine();
+                        }
+                    }
+
+                    onDiagnostic?.Invoke(LoadError(ErrorCode.TypeLoadExceptionInCompilerPlugin, target.LocalPath));
+                    onException?.Invoke(new TypeLoadException(sb.ToString(), ex.InnerException));
+                }
                 catch (Exception ex)
                 {
                     onDiagnostic?.Invoke(LoadError(ErrorCode.CouldNotLoadCompilerPlugin, target.LocalPath));
diff --git a/src/QsCompiler/Core/Dependencies.fs b/src/QsCompiler/Core/Dependencies.fs
@@ -5,6 +5,7 @@ namespace Microsoft.Quantum.QsCompiler
 
 open System.Collections.Immutable
 open Microsoft.Quantum.QsCompiler.DataTypes
+open Microsoft.Quantum.QsCompiler.ReservedKeywords
 open Microsoft.Quantum.QsCompiler.SyntaxTree
 
 
@@ -57,7 +58,12 @@ type BuiltIn = {
 
     /// Returns true if the given attribute defines an alternative name that may be used when loading a type or callable for testing purposes.
     static member internal DefinesNameForTesting (att : QsDeclarationAttribute) = att.TypeId |> function
-        | Value tId -> tId.Namespace.Value = BuiltIn.EnableTestingViaName.FullName.Namespace.Value && tId.Name.Value = BuiltIn.Test.FullName.Name.Value
+        | Value tId -> tId.Namespace.Value = BuiltIn.EnableTestingViaName.FullName.Namespace.Value && tId.Name.Value = BuiltIn.EnableTestingViaName.FullName.Name.Value
+        | Null -> false
+
+    /// Returns true if the given attribute indicates that the type or callable has been loaded via an alternative name for testing purposes.
+    static member internal DefinesLoadedViaTestNameInsteadOf (att : QsDeclarationAttribute) = att.TypeId |> function
+        | Value tId -> tId.Namespace.Value = GeneratedAttributes.Namespace && tId.Name.Value = GeneratedAttributes.LoadedViaTestNameInsteadOf
         | Null -> false
 
 
diff --git a/src/QsCompiler/Core/SymbolResolution.fs b/src/QsCompiler/Core/SymbolResolution.fs
@@ -214,18 +214,28 @@ module SymbolResolution =
         let getRedirect (att : QsDeclarationAttribute) = if att |> BuiltIn.MarksDeprecation then Some att.Argument else None
         StringArgument (getRedirect, fun ex -> ex.Expression) attributes |> Seq.tryHead |> QsNullable<_>.FromOption
 
+    /// Converts the given string to a QsQualifiedName. 
+    /// Returs the qualified name as some if the conversion succeeds, and None otherwise. 
+    let private TryAsQualifiedName fullName = 
+        let matchQualifiedName = SyntaxGenerator.FullyQualifiedName.Match fullName
+        let asQualifiedName (str : string) = 
+            let pieces = str.Split '.'
+            {Namespace = String.Join('.', pieces.Take(pieces.Length-1)) |> NonNullable<string>.New; Name = pieces.Last() |> NonNullable<string>.New}
+        if matchQualifiedName.Success then Some (matchQualifiedName.Value |> asQualifiedName) else None
+
     /// Checks whether the given attributes define an alternative name that may be used when loading a type or callable for testing purposes.
     /// Returns the qualified name to use as Value if such a name is defined, or Null otherwise.
     /// If several attributes define such a name the returned Value is based on the first such attribute.
     let TryGetTestName attributes = 
         let getTestName (att : QsDeclarationAttribute) = if att |> BuiltIn.DefinesNameForTesting then Some att.Argument else None
-        let qualifiedName testName = 
-            let matchQualifiedName = SyntaxGenerator.FullyQualifiedName.Match testName
-            let asQualifiedName (str : string) = 
-                let pieces = str.Split '.'
-                {Namespace = String.Join('.', pieces.Take(pieces.Length-1)) |> NonNullable<string>.New; Name = pieces.Last() |> NonNullable<string>.New}
-            if matchQualifiedName.Success then Some (matchQualifiedName.Value |> asQualifiedName) else None
-        StringArgument (getTestName, fun ex -> ex.Expression) attributes |> Seq.tryHead |> Option.bind qualifiedName |> QsNullable<_>.FromOption
+        StringArgument (getTestName, fun ex -> ex.Expression) attributes |> Seq.tryHead |> Option.bind TryAsQualifiedName |> QsNullable<_>.FromOption
+
+    /// Checks whether the given attributes indicate that the type or callable has been loaded via an alternative name for testing purposes.
+    /// Returns the original qualified name as Value if this is the case, and Null otherwise.
+    /// The returned Value is based on the first attribute that indicates the original name.
+    let TryGetOriginalName attributes = 
+        let loadedViaTestName (att : QsDeclarationAttribute) = if att |> BuiltIn.DefinesLoadedViaTestNameInsteadOf then Some att.Argument else None
+        StringArgument (loadedViaTestName, fun ex -> ex.Expression) attributes |> Seq.tryHead |> Option.bind TryAsQualifiedName |> QsNullable<_>.FromOption
 
     /// Checks whether the given attributes indicate that the corresponding declaration contains a unit test.
     /// Returns a sequence of strings defining all execution targets on which the test should be run. Invalid execution targets are set to null.
diff --git a/src/QsCompiler/DataStructures/Diagnostics.fs b/src/QsCompiler/DataStructures/Diagnostics.fs
@@ -280,14 +280,15 @@ type ErrorCode =
     | InvalidProjectOutputPath = 7013
     | SourceFilesMissing = 7014
     | UnknownCompilerPlugin = 7015
-    | CouldNotLoadCompilerPlugin = 7016
-    | CouldNotInstantiateRewriteStep = 7017
-    | CouldNotFindTargetPackage = 7018
-    | CouldNotFindTargetPackageAssembly = 7019
-    | InvalidTargetPackageAssemblyPath = 7020
-    | FailedToLoadTargetPackageAssembly = 7021
-    | UnexpectedCompilerException = 7022
-    | InvalidCommandLineArgsInResponseFiles = 7023
+    | TypeLoadExceptionInCompilerPlugin = 7016
+    | CouldNotLoadCompilerPlugin = 7017
+    | CouldNotInstantiateRewriteStep = 7018
+    | CouldNotFindTargetPackage = 7019
+    | CouldNotFindTargetPackageAssembly = 7020
+    | InvalidTargetPackageAssemblyPath = 7021
+    | FailedToLoadTargetPackageAssembly = 7022
+    | UnexpectedCompilerException = 7023
+    | InvalidCommandLineArgsInResponseFiles = 7024
 
     | FunctorGenerationFailed = 7101
     | TreeTrimmingFailed = 7102
@@ -657,6 +658,7 @@ type DiagnosticItem =
             | ErrorCode.InvalidProjectOutputPath                  -> "Invalid project output path for project \"{0}\"."
             | ErrorCode.SourceFilesMissing                        -> "No source files have been specified."
             | ErrorCode.UnknownCompilerPlugin                     -> "Could not find the .NET Core library \"{0}\" specifying transformations to perform as part of the compilation process."
+            | ErrorCode.TypeLoadExceptionInCompilerPlugin         -> "Unable to load the file \"{0}\" specifying transformations to perform as part of the compilation process. Unable to load one or more of the requested types."
             | ErrorCode.CouldNotLoadCompilerPlugin                -> "Unable to load the file \"{0}\" specifying transformations to perform as part of the compilation process. The file needs to be a suitable .NET Core library."
             | ErrorCode.CouldNotInstantiateRewriteStep            -> "Could not instantiate the type {0} in \"{1}\" specifying a rewrite step. The type may not have a parameterless constructor."
             | ErrorCode.CouldNotFindTargetPackage                 -> "Could not find the directory \"{0}\" containing target specific information."
diff --git a/src/QsCompiler/TestTargets/Libraries/Library1/Library1.csproj b/src/QsCompiler/TestTargets/Libraries/Library1/Library1.csproj
@@ -1,41 +1,15 @@
 ﻿<Project Sdk="Microsoft.NET.Sdk" InitialTargets="RecompileOnChange">
+
   <PropertyGroup>
     <OutputType>Library</OutputType>
     <TargetFramework>netcoreapp3.1</TargetFramework>
-    <PlatformTarget>x64</PlatformTarget>
-    <QsharpLangVersion>0.10</QsharpLangVersion>
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Microsoft.Quantum.Simulators" Version="0.10.2002.2708-beta" />
-  </ItemGroup>
-
-  <ItemGroup>
-    <ProjectReference Include="..\..\..\CommandLineTool\CommandLineTool.csproj">
-      <ReferenceOutputAssembly>false</ReferenceOutputAssembly>
-    </ProjectReference>
+    <PackageReference Include="Microsoft.Quantum.Simulators" Version="0.11.2006.411-beta" />
   </ItemGroup>
 
-  <PropertyGroup>
-    <QscExe>dotnet "../../../CommandLineTool/bin/$(Configuration)/netcoreapp3.1/qsc.dll"</QscExe>
-  </PropertyGroup>
+  <Import Project="$(MSBuildThisFileDirectory)../build/Library.props"/>
+  <Import Project="$(MSBuildThisFileDirectory)../build/Library.targets"/>
 
-  <Target Name="RecompileOnChange">
-    <ItemGroup>
-      <UpToDateCheckInput Include="@(None)" />
-      <UpToDateCheckInput Include="@(Content)" />
-    </ItemGroup>
-  </Target>
-  
-  <Target Name="QsharpCompile" Condition="'$(DesignTimeBuild)' != 'true'" AfterTargets="CoreBuild">
-    <ItemGroup>
-      <QsReferences Include="@(ReferencePath)" Condition="$([System.Text.RegularExpressions.Regex]::IsMatch(%(FullPath), '(?i)system.|mscorlib|netstandard.library|microsoft.netcore.app')) == false" />
-      <QsSourceFiles Include="@(None)" Condition="$([System.Text.RegularExpressions.Regex]::IsMatch(%(FullPath), '.qs$')) == true" />
-      <QsSourceFiles Include="**\*.qs" Exclude="@(QsSourceFiles)" />
-    </ItemGroup>
-    <PropertyGroup>
-      <QscCommand>$(QscExe) build --verbosity "Detailed" --emit-dll --format MsBuild --proj "$(MSBuildProjectName)" -i "@(QsSourceFiles,'" "')" -r "@(QsReferences,'" "')" -o $(OutputPath)</QscCommand>
-    </PropertyGroup>
-    <Exec Command="$(QscCommand)" IgnoreExitCode="false" />
-  </Target>
 </Project>
diff --git a/src/QsCompiler/TestTargets/Libraries/Library2/Library.qs b/src/QsCompiler/TestTargets/Libraries/Library2/Library.qs
@@ -0,0 +1,15 @@
+﻿// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT License.
+
+namespace Microsoft.Quantum.Testing
+{
+    open Microsoft.Quantum.Diagnostics;
+    open Microsoft.Quantum.Intrinsic;
+
+    /// # Summary
+    /// Logs the given message of the given severity. 
+    @EnableTestingViaName("Library2.Log")
+    function Log (severity : Int, msg : String) : Unit {
+        Message("not implemented");
+    }
+}
diff --git a/src/QsCompiler/TestTargets/Libraries/Library2/Library2.csproj b/src/QsCompiler/TestTargets/Libraries/Library2/Library2.csproj
@@ -0,0 +1,15 @@
+<Project Sdk="Microsoft.NET.Sdk" InitialTargets="RecompileOnChange">
+
+  <PropertyGroup>
+    <OutputType>Library</OutputType>
+    <TargetFramework>netcoreapp3.1</TargetFramework>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <PackageReference Include="Microsoft.Quantum.Simulators" Version="0.11.2006.411-beta" />
+  </ItemGroup>
+
+  <Import Project="$(MSBuildThisFileDirectory)../build/Library.props"/>
+  <Import Project="$(MSBuildThisFileDirectory)../build/Library.targets"/>
+
+</Project>
diff --git a/src/QsCompiler/TestTargets/Libraries/build/Library.props b/src/QsCompiler/TestTargets/Libraries/build/Library.props
@@ -0,0 +1,6 @@
+﻿<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+  <PropertyGroup>
+    <PlatformTarget>x64</PlatformTarget>
+    <QsharpLangVersion>0.11</QsharpLangVersion>
+  </PropertyGroup>
+</Project>
diff --git a/src/QsCompiler/TestTargets/Libraries/build/Library.targets b/src/QsCompiler/TestTargets/Libraries/build/Library.targets
@@ -0,0 +1,32 @@
+﻿<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+
+  <ItemGroup>
+    <ProjectReference Include="..\..\..\CommandLineTool\CommandLineTool.csproj">
+      <ReferenceOutputAssembly>false</ReferenceOutputAssembly>
+    </ProjectReference>
+  </ItemGroup>
+
+  <PropertyGroup>
+    <QscExe>dotnet "../../../CommandLineTool/bin/$(Configuration)/netcoreapp3.1/qsc.dll"</QscExe>
+  </PropertyGroup>
+
+  <Target Name="RecompileOnChange">
+    <ItemGroup>
+      <UpToDateCheckInput Include="@(None)" />
+      <UpToDateCheckInput Include="@(Content)" />
+    </ItemGroup>
+  </Target>
+  
+  <Target Name="QsharpCompile" Condition="'$(DesignTimeBuild)' != 'true'" AfterTargets="CoreBuild">
+    <ItemGroup>
+      <QsReferences Include="@(ReferencePath)" Condition="$([System.Text.RegularExpressions.Regex]::IsMatch(%(FullPath), '(?i)system.|mscorlib|netstandard.library|microsoft.netcore.app')) == false" />
+      <QsSourceFiles Include="@(None)" Condition="$([System.Text.RegularExpressions.Regex]::IsMatch(%(FullPath), '.qs$')) == true" />
+      <QsSourceFiles Include="**\*.qs" Exclude="@(QsSourceFiles)" />
+    </ItemGroup>
+    <PropertyGroup>
+      <QscCommand>$(QscExe) build --verbosity "Detailed" --emit-dll --format MsBuild --proj "$(MSBuildProjectName)" -i "@(QsSourceFiles,'" "')" -r "@(QsReferences,'" "')" -o $(OutputPath)</QscCommand>
+    </PropertyGroup>
+    <Exec Command="$(QscCommand)" IgnoreExitCode="false" />
+  </Target>
+
+</Project>
diff --git a/src/QsCompiler/TestTargets/Simulation/Example/Example.csproj b/src/QsCompiler/TestTargets/Simulation/Example/Example.csproj
@@ -1,9 +1,10 @@
-﻿<Project Sdk="Microsoft.Quantum.Sdk/0.10.2002.2708-beta">
+﻿<Project Sdk="Microsoft.Quantum.Sdk/0.11.2006.411-beta">
 
   <PropertyGroup>
     <QscVerbosity>Detailed</QscVerbosity>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp3.1</TargetFramework>
+    <ExposeReferencesViaTestNames>true</ExposeReferencesViaTestNames>
     <IncludeQsharpCorePackages>false</IncludeQsharpCorePackages>
     <CsharpGeneration>false</CsharpGeneration> <!--we provide our own C# generation for the sake of also generating C# for all references-->
     <NoWarn>0219</NoWarn> <!-- suppress C# warning for unused variables -->
@@ -36,6 +37,7 @@
       <ReferenceOutputAssembly>false</ReferenceOutputAssembly>
     </ProjectReference>
     <ProjectReference Include="../../Libraries/Library1/Library1.csproj" />
+    <ProjectReference Include="../../Libraries/Library2/Library2.csproj" />
   </ItemGroup>
 
   <Target Name="BeforeCsharpCompile">
diff --git a/src/QsCompiler/TestTargets/Simulation/Target/Simulation.csproj b/src/QsCompiler/TestTargets/Simulation/Target/Simulation.csproj
diff --git a/src/QsCompiler/Tests.Compiler/ExecutionTests.fs b/src/QsCompiler/Tests.Compiler/ExecutionTests.fs
diff --git a/src/QsCompiler/Tests.Compiler/TestCases/ExecutionTests/LoggingBasedTests.qs b/src/QsCompiler/Tests.Compiler/TestCases/ExecutionTests/LoggingBasedTests.qs
diff --git a/src/QsCompiler/Transformations/ClassicallyControlled.cs b/src/QsCompiler/Transformations/ClassicallyControlled.cs
diff --git a/src/QsCompiler/Transformations/MonomorphizationValidation.cs b/src/QsCompiler/Transformations/MonomorphizationValidation.cs
diff --git a/src/QuantumSdk/Sdk/Sdk.targets b/src/QuantumSdk/Sdk/Sdk.targets

Original file line number	Diff line number	Diff line change
`@@ -107,7 +107,6 @@ if ($Env:ENABLE_VSIX -ne "false") {`
`107`	`107`	`Build-VS`
`108`	`108`	`} else {`
`109`	`109`	`Write-Host "##vso[task.logissue type=warning;]VSIX building skipped due to ENABLE_VSIX variable."`
`110`		`- return`
`111`	`110`	`}`
`112`	`111`
`113`	`112`	`if (-not $all_ok) {`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-<Project Sdk="Microsoft.Quantum.Sdk/0.10.2003.1821-beta">`
	`1`	`+<Project Sdk="Microsoft.Quantum.Sdk/0.11.2006.411-beta">`
`2`	`2`
`3`	`3`	`<PropertyGroup>`
`4`	`4`	`<QscVerbosity>Detailed</QscVerbosity>`
Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,7 @@`
`4`	`4`	`return (n, n+1);`
`5`	`5`	`}`
`6`	`6`
	`7`	`+ @EntryPoint()`
`7`	`8`	`operation SampleProgram () : Int {`
`8`	`9`	`let (a, b) = GetPair(5);`
`9`	`10`	`return a + b;`