search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

tslmt2tsl vs tslpreprocess #36

Closed santolucito closed 1 year ago

santolucito commented 1 year ago

dont these do the same thing?

wonhyukchoi commented 1 year ago

tslmt2tsl adds SyGuS assumption to a TSL-MT specificationto transform it into a TSL specification. tslpreprocess transforms a sugared TSL specification (with number literals and binary operators) and transforms it into the vanilla TSL

santolucito commented 1 year ago

makes sense!