News for hackers. Stuff that matters.

A comment on Static Integer Types. Parent comment

Re:Static Integer Types by goodpoint on Saturday July 03, 2021 @03:56PM (#27724359)
> I hope they're not /too/ tied to z3

If you mean having a hard dependency on z3 at compile time or something similar - no, it's not. :)

[ Parent | on HN ]
Re:Static Integer Types by touisteur on Saturday July 03, 2021 @04:38PM (#27724706)
I was more thinking of having written the whole verifier to fit/please z3. It can be hard/daunting to move to more 'generic' SMT drivers if done late in a project.
[ Parent | on HN ]