Update html doc - 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

Update html doc #450

Closed ahmed-irfan closed 11 months ago

coveralls commented 1 year ago

coverage: 64.989% (+0.7%) from 64.241% when pulling f2263adebdfa9e17c3363d960d074b888e55060b on update-html-doc into d6448c122270684ffb308fd8d6f3ca09266f50df on master.

ahmed-irfan commented 1 year ago

Comments are in-lined. Question: does this cover all of the 2.6.4 API extensions, as marked in the yices.h file?

Yes, that covers all the changes in Yices.h.