Search results

out-of-scope extensions

nice-to-have

synthesisfeatures needed for program synthesisfeatures needed for program synthesis

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#33 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Apr 1, 2020

GPU support

synthesisfeatures needed for program synthesisfeatures needed for program synthesis

Status: Open.

#31 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Feb 20, 2020

command-line interface

nice-to-have

Status: Open.

#26 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Feb 11, 2020

analysis

nice-to-have

Status: Open.

#25 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Feb 11, 2020

deploy to DAS-5

Status: Open.

#24 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Feb 3, 2020

code style

nice-to-have

Status: Open.

#23 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Feb 1, 2020

synthesize legible programs

nice-to-have

synthesisfeatures needed for program synthesisfeatures needed for program synthesis

Status: Open.

#22 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Feb 1, 2020

debugging

nice-to-have

Status: Open.

#21 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Jan 31, 2020

documentation

nice-to-have

Status: Open.

#20 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Jan 28, 2020

distribute to end-users

nice-to-have

Status: Open.

#18 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Jan 27, 2020

engineering peer review

Status: Open.

#17 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Jan 26, 2020

reproducibility

Status: Open.

#16 In KiaraGrouwstra/synthesis;

· KiaraGrouwstra opened on Jan 26, 2020