Gaëtan Cassiers

Results 17 issues of Gaëtan Cassiers

When using "-static-flang-libs" on windows, the resulting object files declare a "/DEFAULTLIB" against the **absolute path** of `flang.lib` (and other static flang libraries). Is there a way to only include...

windows

`ndarray-linalg` unconditionally enables the `blas` feature of `ndarray`. AFAICT, this feature only changes performance of ndarray matrix multiplication, hence it should not be mandatory to get `ndarray-linalg` running, right ?...

If/when breaking changes are released, I think adding the `Send` and `Sync` bounds to `PrimInt`, in addition to the existing suggestions in #44 . cc #47

breaking change

### Summary The `retain_edges` function on Graph is rather slow in my test case (see below). Upon looking quickly at the code, it seems to have a complexity of *O(e*e')*,...

S-needs-triage

Following instructions of https://project-everest.github.io/, I get the following error at the `./everest test` stage: ``` ./curve64-ours.exe make[2]: *** [Makefile:35: curve64-ours.test] Illegal instruction (core dumped) make[2]: Leaving directory '/home/cassiersg/everest/hacl-star/tests' make[1]: ***...

I have the following dependencies in Cargo.toml ``` lapack = "0.17.0" lapack-src = { version="0.8.0", features=["openblas"]} ``` When I use functions from `lapack` in my crate, I get linker errors...

These features were supported by the build crate, but not exposed. I picked a default value for NUM_THREADS when USE_THREADS is set, as I see no way to have this...

feedback wanted

The `--profile-time` option of criterion is very convenient for profiling, but in some cases you don't want to automatically scale the number of iterations, such as when you compare profile...