Age | Commit message (Expand) | Author |
---|---|---|
2018-10-09 | Support for basic actively-generated enumerators (#2606) | Andrew Reynolds |
2018-10-09 | Allow multiple synthesis conjectures. (#2593) | Andrew Reynolds |
2018-10-03 | Add actively generated sygus enumerators (#2552) | Andrew Reynolds |
2018-09-27 | Remove assertion. (#2549) | Andrew Reynolds |
2018-09-27 | Infrastructure for using active enumerators in sygus modules (#2547) | Andrew Reynolds |
2018-09-24 | Allow partial models for multiple sygus enumerators (#2499) | Andrew Reynolds |
2018-09-18 | Move and rename sygus solver classes (#2488) | Andrew Reynolds |