Search results

Integrate functional spectrums

Status: Open.

#117 In Tritlo/PropR;

· Tritlo opened on Apr 18, 2024

Integrate CSI Haskell traces

Status: Open.

#116 In Tritlo/PropR;

· Tritlo opened on Apr 18, 2024

Integrate spectacular synthesis

Status: Open.

#115 In Tritlo/PropR;

· Tritlo opened on Apr 18, 2024

Compile packages

Status: Open.

#114 In Tritlo/PropR;

· Tritlo opened on Apr 18, 2024

9.2 GHC Migration

Status: Open.

#111 In Tritlo/PropR;

· lapplislazuli opened on Jan 23, 2022

GitHub Haskell Build Workflow is broken

BugSomething isn't workingSomething isn't working

Status: Open.

#110 In Tritlo/PropR;

· Tritlo opened on Dec 6, 2021

Exclude Hole Fits

EnhancementNew feature or requestNew feature or request

Status: Open.

#109 In Tritlo/PropR;

· lapplislazuli opened on Sep 2, 2021

Pre-computed fixes can miss many branches

Status: Open.

#108 In Tritlo/PropR;

· Tritlo opened on Sep 1, 2021

Diffs not accurate when deleting multiple lines

Status: Open.

#107 In Tritlo/PropR;

· Tritlo opened on Aug 30, 2021

Upgrade to 9.2 and use ExactPrint

Status: Open.

#106 In Tritlo/PropR;

· Tritlo opened on Aug 22, 2021

Config-Value Check

HaskellIssue is in our Haskell CodeIssue is in our Haskell Code

Low-PrioChange / Request is not urgentChange / Request is not urgent

Status: Open.

#99 In Tritlo/PropR;

· lapplislazuli opened on Aug 16, 2021

Some evaluated locations are not found

EnhancementNew feature or requestNew feature or request

Status: Open.

#92 In Tritlo/PropR;

· Tritlo opened on Aug 12, 2021