Search results

Stdlib modules overlap

Status: Open.

#50 In Octachron/codept;

· art-w opened on May 13, 2026

Overapproximation for transitive alias

Status: Open.

#49 In Octachron/codept;

· art-w opened on May 6, 2026

Missing dependency for alias to sub-path

Status: Open.

#48 In Octachron/codept;

· art-w opened on May 6, 2026

Sharing how DkCoder uses codept

Status: Open.

#36 In Octachron/codept;

· jonahbeckford opened on Apr 23, 2024

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

Status: Open.

#34 In Octachron/codept;

· jonahbeckford opened on Apr 12, 2024

Make codept as a library (3/n)

Status: Open.

#22 In Octachron/codept;

· dinosaure opened on Feb 6, 2023

An generator for bundle_refs files

Status: Open.

#21 In Octachron/codept;

· dinosaure opened on Feb 4, 2023

Make codept as a library (2/n)

Status: Open.

#15 In Octachron/codept;

· dinosaure opened on Jan 27, 2023

Make codept as a library (1/n)

Status: Open.

#14 In Octachron/codept;

· dinosaure opened on Jan 21, 2023

Normalizing input files

Status: Open.

#12 In Octachron/codept;

· Octachron opened on Oct 30, 2022