catalyst

catalyst copied to clipboard

Z3 import and usage in C++

1

**Context:** [Z3](https://github.com/Z3Prover/z3) is a powerful [SMT-solver](https://en.wikipedia.org/wiki/Satisfiability_modulo_theories#:~:text=SMT%20solvers%20are%20tools%20that,program%20verification%2C%20and%20software%20testing.) for wide range of applications. It has been mainly proposed as an optimal solution to qubit mapping and routing problem (more details on mapping...

ritu-thombre99

Currently we have two pipeline registries: https://github.com/PennyLaneAI/catalyst/blob/main/frontend/catalyst/pipelines.py: the frontend pipeline is used by default qjit program flow https://github.com/PennyLaneAI/catalyst/blob/main/mlir/lib/Driver/Pipelines.cpp: the cpp pipeline is used by cli and things like having stage...

paul0403

bufferization option copy-before-write may not be compatible with Enzyme

1

Looking into speeding up bufferization I attempted to avoid the bufferization analysis by just increasing memory usage. This lead me to enabling the bufferization option `copy-before-write` for all workloads and...

erick-xanadu

Can we remove assertion that indices are unique and sorted for scatter ops?

3

**Context:** PR for testing purposes. Can we remove the assertion that indices are unique and sorted for scatter ops? I've added tests that qjit compile `jnp.bincount`, which, when lowered, call...

joeycarter

The normal mechanism in PennyLane that "un-queues" a gate when supplied to a HOF like `qml.adjoint` does not work when the original and modified gate appear in different program scopes,...

dime10

(sorry for the formatting changes 🙈)

dime10

WIP Requires the following mod in PennyLane's `Operator.__init__` method: ```py if qml.compiler.active(): import jax self.traceback = jax._src.source_info_util.current().traceback ```

dime10

**Context:** **Description of the Change:** **Benefits:** **Possible Drawbacks:** **Related GitHub Issues:** **Related Shortcut Stories:** [sc-93645]

PietropaoloFrisoni

### Before submitting Please complete the following checklist when submitting a PR: - [ ] All new functions and code must be clearly commented and documented. - [ ] Ensure...

mlxd

Migrate to new buffer deallocation pipeline

1

As part of the llvm update, the old --buffer-deallocation pass is removed. Intended replacement is --buffer-deallocation-pipeline. llvm/llvm-project#126366, https://discourse.llvm.org/t/psa-bufferization-new-buffer-deallocation-pipeline/73375. However, we encountered a few issues. See detailed discord discussion at https://discord.com/channels/636084430946959380/642426447167881246/1376919538301403276...

paul0403