Search results

<code>after</code> and layout polymorphism

bug

dargent

story

Status: Open.

#412 In au-ts/cogent;

· zilinc opened on Jun 29, 2022

AllRefine fails on master for a simple program with an abstract type

Status: Open.

#410 In au-ts/cogent;

· amblafont opened on Oct 22, 2021

types in expressions are not normalised

bug

dependent types

Status: Open.

#408 In au-ts/cogent;

· zilinc opened on Sep 9, 2021

Cogent debugging support

TASKAn umbrella ticket. Mostly used in the kanban board.An umbrella ticket. Mostly used in the kanban board.

Status: Open.

#400 In au-ts/cogent;

· zilinc opened on May 4, 2021

Unexpected Recursion in Generated C Code

bug

cogent compiler

cogent-c verification

Status: Open.

#398 In au-ts/cogent;

· gteege opened on Mar 31, 2021

Simple layout polymorphic function fails

Status: Open.

#396 In au-ts/cogent;

· amblafont opened on Mar 19, 2021

Multi-arg data constructor

cogent tc

language design

Status: Open.

#392 In au-ts/cogent;

· zilinc opened on Feb 2, 2021

Variant tags can have under-specified layout

bug

dargent

newcomerlow-hanging fruitlow-hanging fruit

Status: Open.

#386 In au-ts/cogent;

· zilinc opened on Oct 29, 2020

CorresProof theory file fails for a swapping function (master branch)

Status: Open.

#377 In au-ts/cogent;

· amblafont opened on Jul 28, 2020

Conditional tests support

infrastructure

new feature

Status: Open.

#375 In au-ts/cogent;

· zilinc opened on Jul 15, 2020

libgum with cabal-3.0

infrastructure

libgum

Status: Open.

#368 In au-ts/cogent;

· zilinc opened on Jun 28, 2020

Document how to set up autocorres

documentation

infrastructure

Status: Open.

#367 In au-ts/cogent;

· jyizheng opened on Jun 28, 2020