Sync docs

.internal/docs/qmod-reference/api-reference/functions/core_library/arithmetic.md

@@ -13,6 +13,7 @@ search:
             - multiply
             - multiply_constant
             - canonical_add
+            - canonical_add_constant
             - canonical_multiply
             - canonical_multiply_constant
 <!-- prettier-ignore-end -->

.internal/docs/qmod-reference/api-reference/functions/core_library/gray_code.md

@@ -0,0 +1,14 @@
+---
+search:
+    boost: 2.9
+---
+
+<!-- spell-checker: disable -->
+<!-- prettier-ignore-start -->
+::: classiq.qmod.builtins.functions.gray_code
+    options:
+        show_if_no_docstrings: false
+        members:
+            - select_rotation
+<!-- prettier-ignore-end -->
+<!-- spell-checker: enable -->

.internal/docs/sdk-reference/providers/C12.md

@@ -0,0 +1,7 @@
+---
+search:
+    boost: 3.060
+---
+
+::: classiq.interface.backend.backend_preferences.C12BackendPreferences
+::: classiq.interface.backend.quantum_backend_providers.C12BackendNames

.internal/docs/user-guide/execution/cloud-providers/c12.md

@@ -0,0 +1,76 @@
+---
+search:
+    boost: 0.900
+---
+
+<!-- cspell:ignore inilabel inistatevector ininoisy iswap -->
+
+# Execution on C12 Quantum Cloud
+
+[C12](https://www.c12qe.com/) is building scalable carbon-based quantum computers. Classiq supports execution on C12 QPU-emulators.
+
+## Configuration
+
+C12 introduces several
+customizable hardware parameters (Available through SDK only):
+
+### inilabel
+
+The initial state specified using a binary label format, such as "00", "01", etc.
+
+### inistatevector
+
+The initial state vector for each qubit, provided as a comma-separated list of complex values.
+Example: "1.+0.j, 0.+0.j, 0.+0.j, 0.+0.j"
+
+Note: Either `inilabel` or `inistatevector` can be provided but not both.
+
+### ininoisy
+
+Indicates whether noisy initialization of the circuit should be used.
+
+## Usage Example
+
+If you are using [Classiq IDE](https://platform.classiq.io/), simply choose C12 in the checkbox menu under Execution page.
+
+### Setting up Backend Preferences
+
+[comment]: DO_NOT_TEST
+
+```python
+from classiq.execution import C12BackendPreferences
+from classiq import ExecutionPreferences, ExecutionSession, synthesize
+
+backend_preferences = C12BackendPreferences(
+    backend_name="c12sim-iswap",
+    inilabel="00",  # Either inilabel or inistatevector must be provided
+    # inistatevector="1.+0.j, 0.+0.j,", # Either inilabel or inistatevector must be provided
+    ininoisy=True,
+)
+
+execution_preferences = ExecutionPreferences(
+    num_shots=1000,
+    backend_preferences=backend_preferences,
+)
+```
+
+### Execute with ExecutionSession
+
+Create your model, set execution preferences, synthesize, then run with `ExecutionSession`:
+
+[comment]: DO_NOT_TEST
+
+```python
+quantum_program = synthesize(your_model, preferences=preferences)
+quantum_program = set_quantum_program_execution_preferences(
+    quantum_program, execution_preferences
+)
+
+with ExecutionSession(quantum_program) as session:
+    result = session.sample()
+```
+
+## Supported Backends
+
+-   SIMULATOR = "c12sim_iswap"
+-   SQUARED = "squared-iswap"

.internal/docs/user-guide/execution/cloud-providers/index.md

@@ -21,3 +21,4 @@ execution of quantum programs on multiple backends.
 -   [IonQ](ionq-backends.md)
 -   [Azure Quantum](azure-backends.md)
 -   [Alice & Bob](alice-and-bob-backends.md)
+-   [C12](c12.md)

.internal/docs/user-guide/modeling/index.md

@@ -0,0 +1,7 @@
+# Modeling
+
+This under construction section is where you can learn the concepts and syntax needed to design quantum models—simply put, to write quantum code using Classiq.
+
+If you prefer a faster, exercise-oriented path to learning, see the [Classiq Tutorial](../../getting-started/classiq_tutorial/index.md).
+
+For a complete, formal specification of the language, refer to the [language reference](../../qmod-reference/language-reference).