Quint v0.29.0 現已推出，帶來兩個令人興奮的新功能！

Quint 的 Rust 模擬器現在可以並行運行模擬，使探索變得更快。快速的反饋很重要，而在相同時間內獲得更多樣本 = 更高的信心。我們已經在一些我們最喜愛的規格中看到了很大的改進：

REPL 獲得了一項 UX 改進，可以為您的探索帶來更多的清晰度和洞察力。每當您評估某個操作時，Quint 將顯示舊狀態和新狀態之間的差異，讓您輕鬆看到事物的變化。 我們正在尋找將這些差異帶到 Quint 其他部分的方法 - 如果您有任何反饋，請告訴我們。