Tool to convert from SyGuS v1 <-> SyGuS v2

SyGuS-Org / tools

A set of basic tools for manipulating SyGuS benchmarks

22 stars 4 forks source link

Tool to convert from SyGuS v1 <-> SyGuS v2 #2

Closed abhishekudupa closed 5 years ago

abhishekudupa commented 5 years ago

Once issue a SyGuS v1 parser (see issue #1 ) is resolved, we'll then need to create a tool that pretty prints the parsed (and type checked) ASTs into either SyGuS v1 or v2. This will greatly help in the transition from v1 to v2.

abhishekudupa commented 5 years ago

This is now done.