Issues

• Stdlib modules overlap

  Octachron/codept#50 · Filter by author art-w opened on May 13, 2026
  1

• Overapproximation for transitive alias

  Octachron/codept#49 · Filter by author art-w opened on May 6, 2026
  1

• Missing dependency for alias to sub-path

  Octachron/codept#48 · Filter by author art-w opened on May 6, 2026
  4

• Sharing how DkCoder uses codept

  Octachron/codept#36 · Filter by author jonahbeckford opened on Apr 23, 2024
  2

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

  Octachron/codept#34 · Filter by author jonahbeckford opened on Apr 12, 2024

• Make codept as a library (3/n)

  Octachron/codept#22 · Filter by author dinosaure opened on Feb 6, 2023

• An generator for bundle_refs files

  Octachron/codept#21 · Filter by author dinosaure opened on Feb 4, 2023
  1

• Make codept as a library (2/n)

  Octachron/codept#15 · Filter by author dinosaure opened on Jan 27, 2023
  1

• Make codept as a library (1/n)

  Octachron/codept#14 · Filter by author dinosaure opened on Jan 21, 2023
  4

• Normalizing input files

  Octachron/codept#12 · Filter by author Octachron opened on Oct 30, 2022