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

Emit qualifiers with JSON output #163

Open

gaurav wants to merge 2 commits into add-qualifiers from add-qualifiers-with-json-output

Member

gaurav commented Oct 7, 2024 •

edited

Loading

Instead of writing the qualifiers out in our own funky format, I'm going to try to see if I can convert them into JSON format in compact_iris.sc.

gaurav and others added 2 commits

October 7, 2024 18:13


          First stab at providing JSON output for qualifiers.

a3b7365


          Oops, we can't pretty print JSON here.

ba52005

gaurav changed the base branch from master to add-qualifiers

October 8, 2024 07:08

gaurav marked this pull request as ready for review

October 8, 2024 07:08

gaurav requested a review from balhoff

October 8, 2024 07:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet