Further improve synthesis - Githubissues

justinlubin / cobbler

Refactor programs to use library functions!

5 stars 0 forks source link

Further improve synthesis #58

Closed justinlubin closed 1 year ago

justinlubin commented 1 year ago

Frontend features

Add --dry-run option for frontend
Add summarize subcommand for frontend
Rename synthesizer to cobbler

Backend features

Slice/index through randint
Vectorize 2-ary functions
Allow __memberAccess to be considered a constant
Allow "vectorized member accesses" via lambdas
Add size tracking

Bug fixes

Unparse indexing properly