Quint v0.29.0 jest już dostępny z dwiema ekscytującymi nowymi funkcjami!

Symulator Quint w Rust może teraz przeprowadzać symulacje równolegle, co znacznie przyspiesza eksploracje. Szybka informacja zwrotna ma znaczenie, a więcej próbek w tym samym czasie = większa pewność. Już widzimy ogromne poprawy w niektórych z naszych ulubionych specyfikacji:

A REPL otrzymuje poprawę UX, która może przynieść dużo klarowności i wglądu w Twoje eksploracje. Kiedy oceniasz jakąś akcję, Quint pokaże różnicę między starym a nowym stanem, dzięki czemu łatwo zobaczysz, jak rzeczy się zmieniają. Szukamy sposobów, aby wprowadzić te różnice do innych części Quint - daj nam znać, jeśli masz jakieś uwagi na ten temat.