Mark Mitchell

At some point, we might consider prefixing all constants exposed as part of the API with YICES_, matching the function names. FWIW, -- Mark Mitchell > On Oct 9, 2023,...

Is `yices_init` being called in multiple threads? If so, how many? Is `yices_exit` being called before `yices_init` is being called again? The Windows code would seem to exit with code...

I’m guessing, from the reference to yices_per_thread_init, that this is on the per-thread-state branch, then? — Mark Mitchell > On Oct 17, 2023, at 11:53 PM, Wojtek Basalaj ***@***.***> wrote:...