search

ultimate-pa / smtinterpol

SMTInterpol interpolating SMT solver
GNU Lesser General Public License v3.0
59 stars 17 forks source link

Logics.ALL does not include string theory #129

Closed serras closed 3 years ago

serras commented 3 years ago

The definition of Logics.ALL does not include Features.S. This means there's no way to use the string theory in combination with the rest of theories. Is this intended? Would it be possible to get a new constructor which includes it?

jhoenicke commented 3 years ago

ALL should include all theories (even those not supported by SMTInterpol itself). So I will change the definition to include strings.

serras commented 3 years ago

Thanks for the quick fix! Do you happen to have an estimate of when a new release may appear in the Maven repository? That would make my life much easier than setting up my own repo! :)

jhoenicke commented 3 years ago

I uploaded a new release to the Maven repository.

serras commented 3 years ago

Maybe this is asking too much, but would it be possible to also update the Ivy repo at https://www.sosy-lab.org/ivy/de.uni-freiburg.informatik.ultimate/smtinterpol/?

jhoenicke commented 3 years ago

Not sure how this works, but it looks like it updated automatically :)