java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Problems with common SMTLIB2 Strings for OpenSMT2 and Bitwuzla

Open baierd opened this issue 1 year ago • 1 comments

Both OpenSMT2 and Bitwuzla need the removal of certain parts of SMTLIB2 Strings before we can parse them. Examples are comments and set-logic. This is currently done lazily and incomplete. For example escape characters are not taken into account. We should ask for better support by the developers and/or improve our filtering (possibly by using the branch for the SMTLIB2 parser).

baierd avatar Apr 12 '24 11:04 baierd

Progress for OpenSMT2 + tests in branch improve opensmt2 parsing

baierd avatar Apr 15 '24 08:04 baierd

Whats the current state of this issue and what can we do? @daniel-raffler could you investigate please?

baierd avatar Sep 05 '24 09:09 baierd