search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Minor tweaks to support interpreter (revised) #56

Closed WileyCorning closed 2 years ago

WileyCorning commented 2 years ago

Update to #41: rebased onto main, added identifiers to theories, made concrete theories internal again

kjcjohnson commented 2 years ago

🎉

On Thu, Mar 31, 2022 at 2:41 PM, @.***> wrote:

Merged #56 into main.

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because your review was requested.Message ID: @.***>