search

SemGuS-git / Semgus-Parser

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

Bit Vector Support #65

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

Closes #64.

kjcjohnson commented 2 years ago

Caveat: binary bit vector functions don't have the :left_assoc attribute. That's a more global change that will need to be done at some point.