Quint v0.29.0 には 2 つのエキサイティングな新機能が追加されました。

Rust の Quint のシミュレーターはシミュレーションを並行して実行できるようになり、探索が大幅に高速化されました。迅速なフィードバックが重要であり、同時により多くのサンプルが = より高い信頼性になります。お気に入りのスペックのいくつかでは、すでに大幅な改善が見られます。

また、REPLはUXの改善を受け、探索に多くの明確さと洞察をもたらすことができます。アクションを評価するたびに、Quint は古い状態と新しい状態の間の差分を表示するため、物事がどのように動いているかを簡単に確認できます。 この差分をQuintの他の部分にもたらす方法を探していますので、フィードバックがあればお知らせください。