Qf eq bv arith - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

363 stars 45 forks source link

Qf eq bv arith #444

Closed ahmed-irfan closed 10 months ago

ahmed-irfan commented 1 year ago

This PR adds support for QF_UF+BV+IA (quantifier free uninterpreted functions + bit vectors + integer arithmetic) in the Yices SMT frontend.

coveralls commented 1 year ago

coverage: 65.098% (+0.1%) from 64.974% when pulling 9d2dc3f1d0cecf8a56a33b2919cb29e1f48fa4de on qf-eq-bv-arith into c5d57533fc1b75315125572d6abbd7ffc0bfb119 on master.

ahmed-irfan commented 10 months ago

closing the PR, as it is showing the commits that are already in master

ahmed-irfan commented 10 months ago

closing it didn't fix the problem

ahmed-irfan commented 10 months ago

@disteph this is ready for review