César Zaragoza Cortés
César Zaragoza Cortés
More details about this bug. The compiler throws an exception while running global type checking. More specifically, the [GetProperties](https://github.com/microsoft/qsharp-compiler/blob/3b7eeb1789df5c718b33c1a4c17c62479d56bb5e/src/QsCompiler/DataStructures/SyntaxTree.fs#L359) member throws an exception with message "properties cannot be determined". Here's...
Hello @ShaunJW360, thank you for your interest in contributing to the Q# compiler! I am currently working on this issue. Here's a bit of background on it: - When the...
Yes, the numbers indicate time in ms. Regarding the `.` symbol, it does indicate hierarchy as you described it.
I have read the Contributor License Agreement and I hereby accept the Terms.
recheck
@Manvi-Agrawal thank you for creating this issue and providing some options. The way I would recommend implementing this is by adding an `is_published` property to the `Kata` [type](https://github.com/microsoft/qsharp/blob/243ea46dd01bac3076f09a214ddb53782b09ce11/npm/qsharp/src/katas.ts#L65). Once the...
@sezna if you start working on this, could we sync to talk through some options to make sure we can use it in the multiple scenarios conditional compilation would be...
@minestarks if you start working on this could we sync? Before allowing that I think it would be worth considering options for targets that include "adaptive profile".