Search results

Bug in <code>invariants-check</code>

Status: Open.

#209 In camfort/camfort;

· dorchard opened on Jul 24, 2025

Feature request: LSP server for CamFort

Status: Open.

#208 In camfort/camfort;

· dorchard opened on Jun 2, 2025

unexpected units-synth annotations for arrays (cross-module)

Type: Bug

units-of-measure

Status: Open.

#205 In camfort/camfort;

· jaytorry opened on Sep 26, 2024

· 

Resolving Deployment Blockers

Recent updates omit named constants from units-suggest when a .fsmod file is present

Type: Bug

units-of-measure

Status: Open.

#204 In camfort/camfort;

· jaytorry opened on Sep 24, 2024

· 

Resolving Deployment Blockers

Order units-suggest outputs by file/line/column

enhancement

units-of-measure

Status: Open.

#201 In camfort/camfort;

· jaytorry opened on Sep 12, 2024

· 

Resolving Deployment Blockers

Support newer GHCs (9.4-9.8)

Status: Open.

#200 In camfort/camfort;

· raehik opened on Sep 9, 2024

Mac CI is failing with a libflint issue

Status: Open.

#199 In camfort/camfort;

· raehik opened on Sep 8, 2024

units-suggest ignores function internals

units-of-measure

Status: Open.

#196 In camfort/camfort;

· jaytorry opened on Sep 6, 2024

· 

Resolving Deployment Blockers

units-compile succeeds despite unit inconsistencies

units-of-measure

Status: Open.

#192 In camfort/camfort;

· jaytorry opened on Aug 23, 2024

· 

Next Release (TBC)

units-compile does not replace existing .fsmod files

units-of-measure

Status: Open.

#191 In camfort/camfort;

· jaytorry opened on Aug 22, 2024

· 

Next Release (TBC)

units-compile not incorporating information from other .fsmod files

units-of-measure

Status: Open.

#190 In camfort/camfort;

· jaytorry opened on Aug 20, 2024

· 

Next Release (TBC)

Folder-based units-compile is undocumented / untested

units-of-measure

Status: Open.

#189 In camfort/camfort;

· jaytorry opened on Aug 20, 2024

· 

Next Release (TBC)