Skip to content
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.

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

Support building Heapster shapes from Rust type declarations #1204

Merged
merged 4 commits into from
Apr 29, 2021

Conversation

ChrisEPhifer
Copy link
Member

This PR exists in tandem with this PR on heapster-saw to support the synthesis of Heapster shapes from Rust type declarations. As far as saw-script is concerned, this work is limited to the addition of a command to interface with the features added to heapster-saw.

@ChrisEPhifer ChrisEPhifer added the type: enhancement Issues describing an improvement to an existing feature or capability label Apr 20, 2021
@ChrisEPhifer ChrisEPhifer self-assigned this Apr 20, 2021
@ChrisEPhifer
Copy link
Member Author

@eddywestbrook Do you want me to just get this one merged? The changes are small so I doubt there's anything serious to change, except potentially documentation things.

@ChrisEPhifer ChrisEPhifer changed the title WIP: Support building Heapster shapes from Rust type declarations Support building Heapster shapes from Rust type declarations Apr 29, 2021
@ChrisEPhifer ChrisEPhifer merged commit a5fcc84 into wip-heapster Apr 29, 2021
@ChrisEPhifer ChrisEPhifer deleted the feature/rust-type-decls branch April 29, 2021 21:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant