manticore icon indicating copy to clipboard operation
manticore copied to clipboard
verified publisher icon trailofbits

Use Yices 2.6.4 from Github

Open ehennenfent opened this issue 4 years ago • 0 comments

Since the Yices certificate has expired, we probably want to switch to using the release published on their Github page.

ehennenfent avatar Jan 11 '22 17:01 ehennenfent