Updating from version 2.6 to 2.7 of SMTLIB mostly seems like an easy task: at least from the point of view of our current minimal support, we should only add the new, higher-order features (arrow sorts, lambdas, applications). However, some (<100) SMTLIB benchmarks use the keyword lambda as a user-defined symbol, so ideally we should be also parsing the (set-info :version ...) lines, and decide how to interpret these symbols. The alternative would be to only support 2.7.
Updating from version 2.6 to 2.7 of SMTLIB mostly seems like an easy task: at least from the point of view of our current minimal support, we should only add the new, higher-order features (arrow sorts, lambdas, applications). However, some (<100) SMTLIB benchmarks use the keyword
lambdaas a user-defined symbol, so ideally we should be also parsing the(set-info :version ...)lines, and decide how to interpret these symbols. The alternative would be to only support 2.7.