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

Extract the inference tree into a data structure. #11

Open
ilyasergey opened this issue May 8, 2019 · 0 comments
Open

Extract the inference tree into a data structure. #11

ilyasergey opened this issue May 8, 2019 · 0 comments
Assignees
Labels
good first issue infrastructure synthesizer Core functionality of the synthesizer

Comments

@ilyasergey
Copy link
Member

When running suslik <example.syn> -r true, a trace is shown.

The successful subderivations of the synthesiser correspond to the trees. It would be good to have this tree captured as a byproduct of the synthesis, so it could be independently rendered in a format that can be checked by a third-party tool, such as HIP/SLEEK.

This issue is about the design of the derivation tree data type and a serialisation format for it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue infrastructure synthesizer Core functionality of the synthesizer
Projects
None yet
Development

No branches or pull requests

2 participants