Improve Python synthesis further - Githubissues

justinlubin / cobbler

Refactor programs to use library functions!

5 stars 0 forks source link

Improve Python synthesis further #59

Closed justinlubin closed 1 year ago

justinlubin commented 1 year ago

Backend features

Add (unused) string holes
Add np.filter
Add more comparison operators (neq, gt, gte, lt, lte)
Consider more operations as constant
Add support for True/False
Try synthesis twice: once with where the iterator of a for loop is NOT extracted as a variable and once where it IS extracted
Add support for pass statement

Frontend features

Add font acknowledgment to README
Add remove-duplicates subcommand

Bug fixes

Properly unparse comparison operators
Fix crash with synth-time calculation