search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
370 stars 47 forks source link

Mcsat arrays fixes #499

Closed ahmed-irfan closed 6 months ago

ahmed-irfan commented 6 months ago

use ufun-eq for update-terms in the equality graph

use cache for storing not weakly i-eq results

clean up code

coveralls commented 6 months ago

Coverage Status

coverage: 65.612% (+0.09%) from 65.518% when pulling f878998f5323692c3afeaeec56cf732abd8ef6a2 on mcsat-arrays-fixes into cd8382e4c0e3caadbc6d41abd03eebe72d5b0ff5 on master.