All issues

Search results

Stdlib modules overlap

Status: Open.

#50In Octachron/codept;

· art-w opened on May 13, 2026

Overapproximation for transitive alias

Status: Open.

#49In Octachron/codept;

· art-w opened on May 6, 2026

Missing dependency for alias to sub-path

Status: Open.

#48In Octachron/codept;

· art-w opened on May 6, 2026

Sharing how DkCoder uses codept

Status: Open.

#36In Octachron/codept;

· jonahbeckford opened on Apr 23, 2024

Feature request: Expose source code location for Failure.Extern missing modules

Status: Open.

#34In Octachron/codept;

· jonahbeckford opened on Apr 12, 2024

Make codept as a library (3/n)

Status: Open.

#22In Octachron/codept;

· dinosaure opened on Feb 6, 2023

An generator for bundle_refs files

Status: Open.

#21In Octachron/codept;

· dinosaure opened on Feb 4, 2023

Make codept as a library (2/n)

Status: Open.

#15In Octachron/codept;

· dinosaure opened on Jan 27, 2023

Make codept as a library (1/n)

Status: Open.

#14In Octachron/codept;

· dinosaure opened on Jan 21, 2023

Normalizing input files

Status: Open.

#12In Octachron/codept;

· Octachron opened on Oct 30, 2022