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

Jump to bottom

[cost-synthesis & test-generation] Update creation of identifiers and fix bit rot #1731

Closed

tzakian wants to merge 1 commit into diem:master from tzakian:update_cost_synth

Commits on Nov 13, 2019

[cost-synthesis] Update creation of identifiers and fix bitrot

Previously we could create invalid identifiers which would cause the
generation to crash. We now make sure that all strings and identifiers
conform to the identifiere specification in types.

Also generated modules were previously not representng empty type
parameter info previously. This fixes this as well.

Tim Zakian committed Nov 13, 2019