O Quint v0.29.0 está aqui com dois novos recursos interessantes!

O simulador de Quint em Rust agora pode executar simulações em paralelo, tornando as explorações muito mais rápidas. O feedback rápido é importante e mais amostras ao mesmo tempo = mais confiança. Já estamos vendo grandes melhorias em algumas de nossas especificações favoritas:

E o REPL recebe uma melhoria de UX que pode trazer muita clareza e insights para suas explorações. Sempre que você avaliar alguma ação, o Quint mostrará a diferença entre o estado antigo e o novo, para que você possa ver facilmente como as coisas estão se movendo. Estamos procurando maneiras de trazer esses diffs para outras partes do Quint - deixe-nos saber se você tem algum feedback sobre isso.