[Verifpal] Verifpal 0.9.0 (Concurrency/Multithreading!)

Nadim Kobeissi nadim at symbolic.software
Sat Jan 18 17:33:10 CET 2020


Hello everyone,

I'm excited to share that Verifpal 0.9.0, which was just released, fully
utilizes Go's concurrency paradigms in order to achieve some dramatic
performance boosts.

Check out the comparison video here:
https://twitter.com/kaepora/status/1218571495045246977

Give it a shot!

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200118/312f58b7/attachment.htm>


More information about the Verifpal mailing list