Add test suite for lexer, parser, and grammar

.github/workflows/check_copyright.yml

@@ -6,7 +6,7 @@ jobs:
   copyright_header_check:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v6
       - name: Check license & copyright headers
         uses: viperproject/check-license-header@v2
         with:

.github/workflows/check_copyright_config.json

@@ -6,7 +6,10 @@
         ],
         "exclude": [
             "docs/**",
-            "**/*.ini"
+            "**/*.ini",
+            "src/oqd_core/frontend/**",
+            "src/grammar/**",
+            "**/__init__.py"
         ],
         "license": ".github/workflows/copyright.txt"
     }

.github/workflows/check_mkdocs_build.yml

@@ -6,7 +6,7 @@ jobs:
   deploy:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
       - uses: actions/setup-python@v5
         with:
           python-version: 3.x
@@ -18,7 +18,7 @@ jobs:
           restore-keys: |
             mkdocs-material-
       - name: Install uv
-        uses: astral-sh/setup-uv@v4
+        uses: astral-sh/setup-uv@v6
       # - run: cp -r examples/ docs/examples/
       - run: uv pip install .[docs] --system
       - run: mkdocs build

.github/workflows/pytest.yml

@@ -2,9 +2,9 @@ name: CI - Pytest
 
 on:
   push:
-    branches: ["main"]
+    branches: ["main", "v1.0"]
   pull_request:
-    branches: ["main"]
+    branches: ["main", "v1.0"]
   workflow_dispatch:
 
 permissions:
@@ -13,10 +13,8 @@ permissions:
 jobs:
   test:
     strategy:
-      fail-fast: false
       matrix:
         python-version:
-          - "3.10"
           - "3.11"
           - "3.12"
           - "3.13"
@@ -26,13 +24,13 @@ jobs:
           - windows-latest
         arch:
           - x64
-    name: Test ${{ matrix.version }} on ${{ matrix.os }} (${{ matrix.arch }})
+    name: Python ${{ matrix.python-version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
     runs-on: ${{ matrix.os }}
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
       - name: Install uv and set the python version
-        uses: astral-sh/setup-uv@v5
+        uses: astral-sh/setup-uv@v7
         with:
           enable-cache: true
           python-version: ${{ matrix.python-version }}
@@ -41,4 +39,4 @@ jobs:
           uv sync --extra tests
       - name: Run tests
         run: |
-          uv run pytest tests -v
+          uv run pytest tests/test_frontend -v

examples/analog/test.analog

@@ -1,93 +1,93 @@
 
 // assignments
-r = qreg(2);
-s = qmode(3);
-q0 = r[0];
-q1 = r[1];
-targets = [q0, q1];
+r = qreg(2)
+s = qmode(3)
+q0 = r[0]
+q1 = r[1]
+targets = [q0, q1]
 
 // math
-pi = 3.14159;
-tau = 2 * pi;
-omega = #omega;
-phase = #t * omega + #phi;
-neg = -1;
-cubed = 2^3;
-sine = sin(0.5);
-cosed = cos(phase);
-cplx = 1.0 + 1j * 0.5;
+pi = 3.14159
+tau = 2 * pi
+omega = #omega
+phase = #t * omega + #phi
+neg = -1
+cubed = 2^3
+sine = sin(0.5)
+cosed = cos(phase)
+cplx = 1.0 + 1j * 0.5
 
 // Operators
-X = %X;
-Y = %Y;
-Z = %Z;
-I = %I;
-C = %C;
-A = %A;
-J = %J;
-H_single = 0.5 * %X + 0.5 * %Z;
-H_pair = (%X %@ %I) %+ (%I %@ %X);
-H_rabi = (0.5 * #t) * (%X %@ %I) %+ 0.5 * (%I %@ %Y);
+X = %X
+Y = %Y
+Z = %Z
+I = %I
+C = %C
+A = %A
+J = %J
+H_single = 0.5 * %X + 0.5 * %Z
+H_pair = (%X %@ %I) %+ (%I %@ %X)
+H_rabi = (0.5 * #t) * (%X %@ %I) %+ 0.5 * (%I %@ %Y)
 
 //control flow
-x = 1;
+x = 1
 if (x > 0){
-    initialize(r);
+    initialize(r)
 }
 if (x == 1) {
-    evolve(H_single, 1.0, r);
+    evolve(H_single, 1.0, r)
 }
-else { evolve(H_pair, 0.5, r); }
-n = 3;
+else { evolve(H_pair, 0.5, r) }
+n = 3
 while (n > 0){
-    evolve(H_rabi, 0.1, targets);
-    n = n - 1;
+    evolve(H_rabi, 0.1, targets)
+    n = n - 1
 }
 
 while (true) {
     if (x == 1) {
-        break;
+        break
     }
 }
 
 
 // nested if else
-a = 5;
-b = 3;
+a = 5
+b = 3
 if (a > b) {
     if (b > 0) {
-        initialize(targets);
+        initialize(targets)
     }
     else {
-        measure(r);
+        measure(r)
     }
 }
 
 
-initialize(r);
+initialize(r)
 
 // evolve(hamiltonian, duration, target)
-evolve(H_single, 2.0, r);
-evolve(H_pair, 1.0, targets);
-evolve(%X * 0.5, pi, q0);
+evolve(H_single, 2.0, r)
+evolve(H_pair, 1.0, targets)
+evolve(%X * 0.5, pi, q0)
 
-measure(r);
-measurement = measure(q0);
+measure(r)
+measurement = measure(q0)
 
 // Bool expressions
 
-flag = 1;
+flag = 1
 if (flag != 0) {
-    x = 0;
+    x = 0
 }
 if (x <= 1) {
-    x = 1;
+    x = 1
 }
 if (x >= 0) {
-    x = 0;
+    x = 0
 }
 
-a = true;
+a = true
 if (a) {
-    b = 5;
+    b = 5
 }

examples/analog/test.ast

@@ -626,6 +626,17 @@
         "name": "r"
       }
     },
+    {
+      "class_": "Declaration",
+      "name": "measurement",
+      "value": {
+        "class_": "Measure",
+        "targets": {
+          "class_": "Access",
+          "name": "q0"
+        }
+      }
+    },
     {
       "class_": "Declaration",
       "name": "flag",

examples/analog/test.ipynb

@@ -39,88 +39,78 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "r = qreg(2);\n",
-      "s = qmode(3);\n",
-      "q0 = r[0];\n",
-      "q1 = r[1];\n",
-      "targets = [q0, q1];\n",
-      "pi = 3.14159;\n",
-      "tau = 2 * pi;\n",
-      "omega = #omega;\n",
-      "phase = #t * omega + #phi;\n",
-      "neg = -1;\n",
-      "cubed = 2 ^ 3;\n",
-      "sine = sin(0.5);\n",
-      "cosed = cos(phase);\n",
-      "cplx = 1.0 + 1j * 0.5;\n",
-      "X = %X;\n",
-      "Y = %Y;\n",
-      "Z = %Z;\n",
-      "I = %I;\n",
-      "C = %C;\n",
-      "A = %A;\n",
-      "J = %J;\n",
-      "H_single = 0.5 * %X + 0.5 * %Z;\n",
-      "H_pair = %X %@ %I %+ %I %@ %X;\n",
-      "H_rabi = 0.5 * #t * %X %@ %I %+ 0.5 * %I %@ %Y;\n",
-      "x = 1;\n",
+      "r = qreg(2)\n",
+      "s = qmode(3)\n",
+      "q0 = r[0]\n",
+      "q1 = r[1]\n",
+      "targets = [q0, q1]\n",
+      "pi = 3.14159\n",
+      "tau = 2 * pi\n",
+      "omega = #omega\n",
+      "phase = #t * omega + #phi\n",
+      "neg = -1\n",
+      "cubed = 2 ^ 3\n",
+      "sine = sin(0.5)\n",
+      "cosed = cos(phase)\n",
+      "cplx = 1.0 + 1j * 0.5\n",
+      "X = %X\n",
+      "Y = %Y\n",
+      "Z = %Z\n",
+      "I = %I\n",
+      "C = %C\n",
+      "A = %A\n",
+      "J = %J\n",
+      "H_single = 0.5 * %X + 0.5 * %Z\n",
+      "H_pair = %X %@ %I %+ %I %@ %X\n",
+      "H_rabi = 0.5 * #t * %X %@ %I %+ 0.5 * %I %@ %Y\n",
+      "x = 1\n",
       "if (x > 0) {\n",
-      "initialize(r);\n",
-      "\n",
-      "};\n",
+      "initialize(r)\n",
+      "}\n",
       "if (x == 1) {\n",
-      "evolve(H_single, 1.0, r);\n",
-      "\n",
+      "evolve(H_single, 1.0, r)\n",
       "} else {\n",
-      "evolve(H_pair, 0.5, r);\n",
-      "\n",
-      "};\n",
-      "n = 3;\n",
+      "evolve(H_pair, 0.5, r)\n",
+      "}\n",
+      "n = 3\n",
       "while (n > 0) {\n",
-      "evolve(H_rabi, 0.1, targets);\n",
-      "n = n - 1;\n",
-      "};\n",
+      "evolve(H_rabi, 0.1, targets)\n",
+      "n = n - 1\n",
+      "}\n",
       "while (true) {\n",
       "if (x == 1) {\n",
-      "break;\n",
-      "\n",
-      "};\n",
-      "};\n",
-      "a = 5;\n",
-      "b = 3;\n",
+      "break\n",
+      "}\n",
+      "}\n",
+      "a = 5\n",
+      "b = 3\n",
       "if (a > b) {\n",
       "if (b > 0) {\n",
-      "initialize(targets);\n",
-      "\n",
+      "initialize(targets)\n",
       "} else {\n",
-      "measure(r);\n",
-      "\n",
-      "};\n",
-      "\n",
-      "};\n",
-      "initialize(r);\n",
-      "evolve(H_single, 2.0, r);\n",
-      "evolve(H_pair, 1.0, targets);\n",
-      "evolve(%X * 0.5, pi, q0);\n",
-      "measure(r);\n",
-      "flag = 1;\n",
+      "measure(r)\n",
+      "}\n",
+      "}\n",
+      "initialize(r)\n",
+      "evolve(H_single, 2.0, r)\n",
+      "evolve(H_pair, 1.0, targets)\n",
+      "evolve(%X * 0.5, pi, q0)\n",
+      "measure(r)\n",
+      "measurement = measure(q0)\n",
+      "flag = 1\n",
       "if (flag != 0) {\n",
-      "x = 0;\n",
-      "\n",
-      "};\n",
+      "x = 0\n",
+      "}\n",
       "if (x <= 1) {\n",
-      "x = 1;\n",
-      "\n",
-      "};\n",
+      "x = 1\n",
+      "}\n",
       "if (x >= 0) {\n",
-      "x = 0;\n",
-      "\n",
-      "};\n",
-      "a = true;\n",
+      "x = 0\n",
+      "}\n",
+      "a = true\n",
       "if (a) {\n",
-      "b = 5;\n",
-      "\n",
-      "};\n",
+      "b = 5\n",
+      "}\n",
       "\n"
      ]
     }