search

egraphs-good / egraph-serialize

egraph <-> json
MIT License
12 stars 4 forks source link

json schema for serialization format #18

Open pca006132 opened 5 days ago

pca006132 commented 5 days ago

It would be nice if there is a json schema, so other projects can know which fields are needed. E.g. looking at the code, I'm not sure if op is necessary.

mwillsey commented 1 day ago

This test shows a small example. https://github.com/egraphs-good/egraph-serialize/blob/main/tests/tiny.json

op is required.