List view

Construct an effect-generic sharing handler

CoqRelated to Coq back end or base libraryRelated to Coq back end or base library

enhancementNew feature or requestNew feature or request

Status: Open.

#125 In FreeProving/free-compiler;

· MajaRet opened on Jul 9, 2020

Inconsistent sharing behavior for effects in Haskell

HaskellRelated to the Haskell front endRelated to the Haskell front end

Status: Open.

#181 In FreeProving/free-compiler;

· MajaRet opened on Aug 30, 2020

Sharing in properties produces unprovable Coq propositions

bugSomething isn't workingSomething isn't working

CoqRelated to Coq back end or base libraryRelated to Coq back end or base library

pipelineRelated to the compiler pipeline (e.g. compiler passes or the command line interface)Related to the compiler pipeline (e.g. compiler passes or the command line interface)

Status: Open.

#211 In FreeProving/free-compiler;

· MajaRet opened on Sep 24, 2020

Global variables are not shared

DiscussionShould be discussedShould be discussed

Status: Open.

#214 In FreeProving/free-compiler;

· MajaRet opened on Sep 24, 2020