This repository was archived by the owner on Mar 16, 2024. It is now read-only.

SyGuS language 2.0 support#12

Merged

SaswatPadhi merged 11 commits intoSaswatPadhi:masterfrom

adaminsky:master

Jan 14, 2020

Commits on Oct 31, 2019

Commits on Nov 1, 2019

Creates variables from trans_fun and checks that pre and post functions use the correct order.
adaminsky
committed

Commits on Nov 2, 2019

Only check argument order for pre, trans, post functions. Also make sure all three of those functions are defined.
adaminsky
committed
Removes 'declare-var' and only assigns to 'variables' in 'inv-constraint'.
adaminsky
committed
Adds check for pre function name in .
adaminsky
committed

Commits on Nov 4, 2019

Commits on Jan 13, 2020

Merge with LoopInvGen upstream master
SaswatPadhi
committed

Commits on Jan 14, 2020