thierry-martinez

Results 32 issues of thierry-martinez

I observed a segmentation fault with OCaml 5.0 (`alpha0`, `alpha1` and `ocaml/opam:debian-11-ocaml-5.0` docker image), which can be reproduced with the following steps. The same steps do not trigger segmentation fault...

`setup-ocaml` doesn't work with old versions of OCaml (≤ 3.12). (It was already noted in the issue https://github.com/ocaml/opam-repository/issues/22015 which was transferred to opam-repository, but this part of the issue seems...

There does not seem to be a way to run reverse-dependencies tests currently. We would like to do that for ppx_deriving CI (see https://github.com/ocaml-ppx/ppx_deriving/pull/227). In this pull-request, I propose to...

In the seminal paper _The Measurement Calculus_ (Danos, Kashefi, Panangaden, 2007), the transpilation from circuits to MBQC patterns leverages the universality of 𝔍(α) and ∧Z. For instance, the rotation gate...

new feature

This merge request makes `conf-libclang.N` packages autogenerated so that each package ensures that a Clang library version N or below is installed. **EDIT:** The configure scripts are now written in...

needs reporter action

This PR proposes more direct implementations for `standardize` and `shift_signals`. Here are some benchmarks, with random circuits: |method|global|local|direct| |-|-|-|-| |standardize|5.51|0.24 (×23.05)|0.04 (×5.33)| |shift_signals|3.37|0.40 (×8.52)|0.11 (×3.61)| |standardize_and_shift_signals|9.01|0.44 (×20.56)|0.20 (×2.24)|

This commit introduces a new named tuple, `graphix.pauli.Measure`, which contains a pair `(axis, sign)`. It includes a static method, `try_from`, that returns an instance of `Measure` if the given plane...

This commit is yet another tentative to implement parameterized measurement patterns, to fulfill issue #45 (previous tentative: #68). This commit adds two methods to the class `Pattern`: - `is_parameterized()` returns...

**Is your feature request related to a problem? Please describe.** `TensorNetworkBackend` currently only supports `|+>` input states. **Describe the feature you'd like** We should be able to pass arbitrary states...

new feature

Axes conventions have been changed in 81e1a652 for measurements during simulation, but Pauli preprocessing was not updated, leading to inconsistencies for Pauli measurements outside the `XY` axis. The following test...

bug