Quint v0.29.0 здесь с двумя захватывающими новыми функциями!

Симулятор Quint на Rust теперь может выполнять симуляции параллельно, что делает исследования намного быстрее. Быстрая обратная связь имеет значение, и больше образцов за то же время = больше уверенности. Мы уже видим отличные улучшения в некоторых из наших любимых спецификаций:

И REPL получает улучшение UX, которое может принести большую ясность и понимание вашим исследованиям. Каждый раз, когда вы оцениваете какое-либо действие, Quint покажет разницу между старым состоянием и новым, так что вы сможете легко увидеть, как все меняется. Мы ищем способы внедрить эти различия в другие части Quint - дайте нам знать, если у вас есть какие-либо отзывы об этом.