Search results

<code>level_pos3.gr</code> test failure

Status: Open.

Bug

#314 In granule-project/granule;

· jacobpake opened on Dec 19, 2025

<code>split-in-box.gr</code> rewrite test error

Status: Open.

Bug

#313 In granule-project/granule;

· jacobpake opened on Dec 19, 2025

Effect / Set failures, incomplete quantifiers

Status: Open.

Bug

#312 In granule-project/granule;

· jacobpake opened on Dec 19, 2025

Mismatch in Set / SetOp causes (undesireable?) cartesian Coeffect Kind

Status: Open.

#306 In granule-project/granule;

· buggymcbugfix opened on Dec 18, 2025

Coeffect Kind inferrence

hackathon

Status: Open.

#299 In granule-project/granule;

· jacobpake opened on Dec 18, 2025

Failing test checklist

Status: Open.

#294 In granule-project/granule;

· jacobpake opened on Dec 18, 2025

Specify Z3 version(s) in the README

hackathon

Status: Open.

#282 In granule-project/granule;

· dorchard opened on Dec 18, 2025

Synthesis and rewriter tests

hackathon

Status: Open.

#281 In granule-project/granule;

· dorchard opened on Dec 18, 2025

Test the nix flake in CI

hackathon

Status: Open.

Task

#279 In granule-project/granule;

· BinderDavid opened on Dec 2, 2025

Issue with <code>lmap</code> and <code>pull@List</code>

Status: Open.

#278 In granule-project/granule;

· Mr-Pine opened on Dec 2, 2025

The limit of linear grades

Status: Open.

#274 In granule-project/granule;

· Mansindam opened on Nov 19, 2025

SMT failing (timeout / incomplete quantifiers)

Status: Open.

#272 In granule-project/granule;

· dorchard opened on Nov 5, 2025