Skip to content

Issues: KiaraGrouwstra/synthesis

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

21 Open 10 Closed
21 Open 10 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

out-of-scope extensions nice-to-have synthesis features needed for program synthesis wontfix This will not be worked on
#33 opened Apr 1, 2020 by KiaraGrouwstra
19 tasks
GPU support synthesis features needed for program synthesis
#31 opened Feb 20, 2020 by KiaraGrouwstra
12
command-line interface nice-to-have
#26 opened Feb 11, 2020 by KiaraGrouwstra
1 of 2 tasks
analysis nice-to-have
#25 opened Feb 11, 2020 by KiaraGrouwstra
1 of 10 tasks
deploy to DAS-5
#24 opened Feb 3, 2020 by KiaraGrouwstra
7
code style nice-to-have
#23 opened Feb 1, 2020 by KiaraGrouwstra
2 of 3 tasks
3
synthesize legible programs nice-to-have synthesis features needed for program synthesis
#22 opened Feb 1, 2020 by KiaraGrouwstra
2 tasks
debugging nice-to-have
#21 opened Jan 31, 2020 by KiaraGrouwstra
3 of 5 tasks
documentation nice-to-have
#20 opened Jan 28, 2020 by KiaraGrouwstra
4 of 5 tasks
10
distribute to end-users nice-to-have
#18 opened Jan 27, 2020 by KiaraGrouwstra
engineering peer review
#17 opened Jan 26, 2020 by KiaraGrouwstra
2 of 4 tasks
reproducibility
#16 opened Jan 26, 2020 by KiaraGrouwstra
4 of 6 tasks
2
compare to more algorithms nice-to-have
#13 opened Jan 24, 2020 by KiaraGrouwstra
21 tasks
recursion generation features needed for dataset generation nice-to-have
#12 opened Jan 23, 2020 by KiaraGrouwstra
1
bugs bug Something isn't working
#11 opened Jan 21, 2020 by KiaraGrouwstra
17 of 21 tasks
1
dataset quality generation features needed for dataset generation nice-to-have
#9 opened Jan 21, 2020 by KiaraGrouwstra
4 of 11 tasks
variables/lambdas generation features needed for dataset generation nice-to-have synthesis features needed for program synthesis
#8 opened Jan 21, 2020 by KiaraGrouwstra
3 tasks
3
reduce synthesis search space nice-to-have synthesis features needed for program synthesis
#6 opened Jan 21, 2020 by KiaraGrouwstra
1 of 3 tasks
run-time performance generation features needed for dataset generation nice-to-have synthesis features needed for program synthesis
#5 opened Jan 21, 2020 by KiaraGrouwstra
6 of 21 tasks
5
combinators critical generation features needed for dataset generation
#4 opened Jan 21, 2020 by KiaraGrouwstra
4 of 5 tasks
synthesize functions critical synthesis features needed for program synthesis
#3 opened Jan 21, 2020 by KiaraGrouwstra
14 of 16 tasks
2
ProTip! Updated in the last three days: updated:>2024-09-23.