Quint v0.29.0 现已发布，带来了两个令人兴奋的新功能！

Quint 的 Rust 模拟器现在可以并行运行模拟，使探索变得更快。快速反馈很重要，而在同一时间内获得更多样本 = 更高的信心。我们已经在一些我们最喜欢的规格中看到了很大的改进：

REPL 收到了用户体验的改进，这可以为您的探索带来更多的清晰度和洞察力。每当您评估某个操作时，Quint 将显示旧状态和新状态之间的差异，这样您就可以轻松看到事物是如何变化的。 我们正在寻找将这些差异引入 Quint 其他部分的方法 - 如果您对此有任何反馈，请告诉我们。