Search results

examples/basic.ds gets much worse

performance

Status: Open.

#118 In CozySynthesizer/cozy;

· ricochet1k opened on Jul 1, 2020

Investigate explicit iteration primitives

enhancement

Status: Open.

#117 In CozySynthesizer/cozy;

· Calvin-L opened on Jan 23, 2020

More strict solver context checking

code quality

Status: Open.

#115 In CozySynthesizer/cozy;

· izgzhen opened on Dec 29, 2019

select-flatmap synthesis is slow

bug

performance

Status: Open.

#108 In CozySynthesizer/cozy;

· izgzhen opened on Oct 3, 2019

TTreeMultiset constructor bug

bug

Status: Open.

#107 In CozySynthesizer/cozy;

· izgzhen opened on Aug 16, 2019

Failed codegen: EMapKeys

bug

invalid

Status: Open.

#105 In CozySynthesizer/cozy;

· izgzhen opened on Feb 25, 2019

Use less state-full design for collecting metrics

code quality

Status: Open.

#102 In CozySynthesizer/cozy;

· izgzhen opened on Dec 31, 2018

Allow collections of collections

enhancement

Status: Open.

#101 In CozySynthesizer/cozy;

· Calvin-L opened on Dec 28, 2018

clausedb example produces assertion error

bug

Status: Open.

#100 In CozySynthesizer/cozy;

· anhnamtran opened on Dec 27, 2018

Fix examples

bug

help wanted

Status: Open.

#77 In CozySynthesizer/cozy;

· izgzhen opened on Oct 30, 2018

Target language dependent synthesis

enhancement

Status: Open.

#68 In CozySynthesizer/cozy;

· Calvin-L opened on Oct 21, 2018

Specification-only primitives

enhancement

Status: Open.

#67 In CozySynthesizer/cozy;

· Calvin-L opened on Oct 21, 2018