Skip to content

Issues: CozySynthesizer/cozy

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 46 Closed
22 Open 46 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

examples/basic.ds gets much worse performance
#118 opened Jul 1, 2020 by ricochet1k
3
Investigate explicit iteration primitives enhancement
#117 opened Jan 23, 2020 by Calvin-L
More strict solver context checking code quality
#115 opened Dec 29, 2019 by izgzhen
2 tasks
select-flatmap synthesis is slow bug performance
#108 opened Oct 3, 2019 by izgzhen
@izgzhen
5
TTreeMultiset constructor bug bug
#107 opened Aug 16, 2019 by izgzhen
@izgzhen
Failed codegen: EMapKeys bug invalid
#105 opened Feb 25, 2019 by izgzhen
@izgzhen
6
Use less state-full design for collecting metrics code quality
#102 opened Dec 31, 2018 by izgzhen
2
Allow collections of collections enhancement
#101 opened Dec 28, 2018 by Calvin-L
clausedb example produces assertion error bug
#100 opened Dec 27, 2018 by anhnamtran
1
Fix examples bug help wanted
#77 opened Oct 30, 2018 by izgzhen
8 tasks
3
Target language dependent synthesis enhancement
#68 opened Oct 21, 2018 by Calvin-L
Specification-only primitives enhancement
#67 opened Oct 21, 2018 by Calvin-L
Improved thread management enhancement
#52 opened Aug 28, 2018 by Calvin-L
4 tasks
3
Move Map primitives to structures module code quality
#51 opened Aug 9, 2018 by Calvin-L
2
Use type annotations from standard typing module code quality easy
#50 opened Aug 2, 2018 by Calvin-L
3
Synthesize constructors enhancement
#37 opened Jun 29, 2018 by Calvin-L
Pre-update / post-update enhancement
#28 opened May 9, 2018 by Calvin-L
Additional errors and warnings enhancement
#23 opened Apr 2, 2018 by Calvin-L
2 of 13 tasks
1
Synthesis with underspecified functions enhancement
#21 opened Jan 26, 2018 by Calvin-L
2 tasks
Solver cannot deal with string literals bug
#20 opened Jan 23, 2018 by seizethedave
2
Synthesis with partial functions enhancement
#19 opened Jan 22, 2018 by Calvin-L
1 of 6 tasks
List type in specifications enhancement
#13 opened Oct 11, 2017 by Calvin-L
5 of 6 tasks
@Calvin-L
5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.