Search results

Minor refactors of requantisation code

Status: Open.

#80 In NP-Eng/verifiaml;

· Antonio95 opened on May 2, 2024

Find a home for padded compatibility examples

Status: Open.

#77 In NP-Eng/verifiaml;

· Antonio95 opened on Apr 24, 2024

Tiny optimizations

Status: Open.

#76 In NP-Eng/verifiaml;

· DimitrisPapac opened on Apr 24, 2024

Refactor requantization methods

Status: Open.

#75 In NP-Eng/verifiaml;

· Cesar199999 opened on Apr 23, 2024

Bind small and large types in <code>QTypeArray</code>

Status: Open.

#72 In NP-Eng/verifiaml;

· Cesar199999 opened on Apr 22, 2024

Clippy

Status: Open.

#69 In NP-Eng/verifiaml;

· Antonio95 opened on Apr 18, 2024

PCS and curve choice

Status: Open.

#68 In NP-Eng/verifiaml;

· Antonio95 opened on Apr 18, 2024

Model Verification when Nodes are Trait Objects

Status: Open.

#67 In NP-Eng/verifiaml;

· jakehemmerle opened on Apr 17, 2024

Column openings in linear-code-based PCSs

Status: Open.

#65 In NP-Eng/verifiaml;

· Antonio95 opened on Apr 16, 2024

Remove or generalise RequantiseBMMNode

Status: Open.

#64 In NP-Eng/verifiaml;

· Antonio95 opened on Apr 11, 2024

Pin dependencies

Status: Open.

#61 In NP-Eng/verifiaml;

· mmagician opened on Apr 9, 2024

Consider <code>Arc&lt;[T]&gt;</code> (or <code>Rc&lt;[T]&gt;</code>) in some instances of <code>Vec&lt;T&gt;</code>

Status: Open.

#54 In NP-Eng/verifiaml;

· Antonio95 opened on Mar 26, 2024