Merge feature widgets, webview updates (#892)

Adds qsharp_widgets, updates to extension webviews

Co-authored-by: Bill Ticehurst <[email protected]>

---------

Co-authored-by: Bill Ticehurst <[email protected]>

Author: swernli

.ado/publish.yml

@@ -124,7 +124,7 @@ jobs:
     displayName: Install Prereqs and set version
 
   - script: |
-      python ./build.py --jupyterlab --no-check
+      python ./build.py --jupyterlab --widgets --no-check
     displayName: Build JupyterLab Package
 
   - script: |

.eslintrc.cjs

@@ -14,6 +14,7 @@ module.exports = {
     "/jupyterlab/qsharp-jupyterlab/labextension",
     "/vscode/out/",
     "/vscode/test/out/",
+    "/widgets/src/qsharp_widgets/static/",
   ],
   env: {
     browser: true,

.gitignore

@@ -1,6 +1,9 @@
 /target
+/widgets/dist/
+/widgets/src/qsharp_widgets/static/
 node_modules/
 __pycache__/
+.venv/
 .DS_Store
 .vscode/*
 .vscode-test-web/

Cargo.lock

@@ -34,6 +34,7 @@ criterion = { version = "0.5", default-features = false }
 enum-iterator = "1.4"
 env_logger = "0.10.0"
 expect-test = "1.4"
+fasteval = "0.2"
 getrandom = { version = "0.2" }
 indoc = "2.0"
 js-sys = "0.3"
@@ -44,6 +45,7 @@ thiserror = "1.0"
 num-bigint = "0.4"
 num-complex = "0.4"
 num-traits = "0.2"
+probability = "0.20"
 indenter = "0.3"
 regex-lite = "0.1"
 rustc-hash = "1.1.0"

Cargo.toml

@@ -27,6 +27,7 @@
     "--cli", action="store_true", help="Build the command-line compiler"
 )
 parser.add_argument("--pip", action="store_true", help="Build the pip wheel")
+parser.add_argument("--widgets", action="store_true", help="Build the Python widgets")
 parser.add_argument("--wasm", action="store_true", help="Build the WebAssembly files")
 parser.add_argument("--npm", action="store_true", help="Build the npm package")
 parser.add_argument("--play", action="store_true", help="Build the web playground")
@@ -77,6 +78,7 @@
 build_all = (
     not args.cli
     and not args.pip
+    and not args.widgets
     and not args.wasm
     and not args.samples
     and not args.npm
@@ -86,6 +88,7 @@
 )
 build_cli = build_all or args.cli
 build_pip = build_all or args.pip
+build_widgets = build_all or args.widgets
 build_wasm = build_all or args.wasm
 build_samples = build_all or args.samples
 build_npm = build_all or args.npm
@@ -110,6 +113,7 @@
 npm_src = os.path.join(root_dir, "npm")
 play_src = os.path.join(root_dir, "playground")
 pip_src = os.path.join(root_dir, "pip")
+widgets_src = os.path.join(root_dir, "widgets")
 wheels_dir = os.path.join(root_dir, "target", "wheels")
 vscode_src = os.path.join(root_dir, "vscode")
 jupyterlab_src = os.path.join(root_dir, "jupyterlab")
@@ -274,6 +278,25 @@ def step_end():
             print("Could not import PyQIR, skipping tests")
     step_end()
 
+if build_widgets:
+    step_start("Building the Python widgets")
+
+    python_cmd = "python.exe" if platform.system() == "Windows" else "python"
+
+    widgets_build_args = [
+        python_cmd,
+        "-m",
+        "pip",
+        "wheel",
+        "--no-deps",
+        "--wheel-dir",
+        wheels_dir,
+        widgets_src,
+    ]
+    subprocess.run(widgets_build_args, check=True, text=True, cwd=widgets_src)
+
+    step_end()
+
 if build_wasm:
     step_start("Building the wasm crate")
     # wasm-pack can't build for web and node in the same build, so need to run twice.

build.py

@@ -25,8 +25,14 @@ qsc_fir = { path = "../qsc_fir" }
 qsc_hir = { path = "../qsc_hir" }
 qsc_passes = { path = "../qsc_passes" }
 qsc_project = { path = "../qsc_project", features = ["fs"] }
+rand = { workspace = true }
 rustc-hash = { workspace = true }
 thiserror = { workspace = true }
+probability = { workspace = true }
+regex-lite = { workspace = true }
+serde = { workspace = true, features = ["derive", "rc"] }
+serde_json = { workspace = true }
+fasteval = { workspace = true }
 
 [dev-dependencies]
 criterion = { workspace = true, features = ["cargo_bench_support"] }

compiler/qsc/Cargo.toml

@@ -7,6 +7,8 @@ mod tests;
 #[cfg(test)]
 mod stepping_tests;
 
+pub mod re;
+
 use super::debug::format_call_stack;
 use crate::{
     error::{self, WithStack},
@@ -248,6 +250,36 @@ impl Interpreter {
         })
     }
 
+    /// Executes the entry expression until the end of execution, using the given simulator backend
+    /// and a new instance of the environment.
+    pub fn eval_entry_with_sim(
+        &mut self,
+        sim: &mut impl Backend<ResultType = impl Into<val::Result>>,
+        receiver: &mut impl Receiver,
+    ) -> Result<Value, Vec<Error>> {
+        let expr = self.get_entry_expr()?;
+        let globals = Lookup {
+            fir_store: &self.fir_store,
+        };
+
+        eval_expr(
+            &mut self.state,
+            expr,
+            &globals,
+            &mut Env::with_empty_scope(),
+            sim,
+            receiver,
+        )
+        .map_err(|(error, call_stack)| {
+            eval_error(
+                self.compiler.package_store(),
+                &self.fir_store,
+                call_stack,
+                error,
+            )
+        })
+    }
+
     fn get_entry_expr(&self) -> Result<ExprId, Vec<Error>> {
         let unit = self
             .fir_store

compiler/qsc/src/interpret/stateful.rs

@@ -0,0 +1,60 @@
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
+mod counts;
+mod estimates;
+
+pub use estimates::estimate_physical_resources_from_json;
+
+use crate::interpret::{
+    stateful::{self, Interpreter},
+    GenericReceiver,
+};
+use counts::LogicalCounter;
+use estimates::estimate_physical_resources;
+use miette::Diagnostic;
+use thiserror::Error;
+
+#[derive(Debug)]
+pub struct LogicalResources {
+    pub num_qubits: usize,
+    pub t_count: usize,
+    pub rotation_count: usize,
+    pub rotation_depth: usize,
+    pub ccz_count: usize,
+    pub measurement_count: usize,
+}
+
+#[derive(Debug, Diagnostic, Error)]
+#[error(transparent)]
+#[diagnostic(transparent)]
+pub enum Error {
+    Interpreter(stateful::Error),
+    Estimation(estimates::Error),
+}
+
+pub fn estimate_entry(interpreter: &mut Interpreter, params: &str) -> Result<String, Vec<Error>> {
+    let mut counter = LogicalCounter::default();
+    let mut stdout = std::io::sink();
+    let mut out = GenericReceiver::new(&mut stdout);
+    interpreter
+        .eval_entry_with_sim(&mut counter, &mut out)
+        .map_err(|e| e.into_iter().map(Error::Interpreter).collect::<Vec<_>>())?;
+    estimate_physical_resources(&counter.logical_resources(), params)
+        .map_err(|e| vec![Error::Estimation(e)])
+}
+
+pub fn estimate_expr(
+    interpreter: &mut Interpreter,
+    expr: &str,
+    params: &str,
+) -> Result<String, Vec<Error>> {
+    let mut counter = LogicalCounter::default();
+    let mut stdout = std::io::sink();
+    let mut out = GenericReceiver::new(&mut stdout);
+    interpreter
+        .run_with_sim(&mut counter, &mut out, expr, 1)
+        .map_err(|e| e.into_iter().map(Error::Interpreter).collect::<Vec<_>>())?;
+    estimate_physical_resources(&counter.logical_resources(), params)
+        .map_err(|e| vec![Error::Estimation(e)])
+}