Search results

Isolating GPU-specific OptiTrust features

Status: Open.

#35 In charguer/optitrust;

· panther03 opened on Jan 27, 2026

Stack allocations for other memory types

Status: Open.

#26 In charguer/optitrust;

· panther03 opened on Nov 14, 2025

Upgrade transformations to support other memory types

Status: Open.

#24 In charguer/optitrust;

· panther03 opened on Oct 27, 2025

Opencv case study

Status: Open.

#18 In charguer/optitrust;

· MorelElian opened on Sep 24, 2025

Mircopic case study

Status: Open.

#17 In charguer/optitrust;

· MorelElian opened on Sep 24, 2025

Out of memory Matmul

Status: Open.

#16 In charguer/optitrust;

· MorelElian opened on Sep 24, 2025

Harris case study

Status: Open.

#14 In charguer/optitrust;

· MorelElian opened on Sep 24, 2025

Floyd_marshall case study

Status: Open.

#13 In charguer/optitrust;

· MorelElian opened on Sep 24, 2025

Generalize <code>constr_name</code>, used in <code>Constr_for</code> and others, to be a predicate beyond regexps.

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In charguer/optitrust;

· Bastacyclop opened on Sep 24, 2025