Quint v0.29.0 chegou com duas novas funcionalidades emocionantes!

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 no mesmo tempo = mais confiança. Já estamos a ver grandes melhorias em algumas das nossas especificações favoritas:

E o REPL recebe uma melhoria de UX que pode trazer muita clareza e insight para as 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 à procura de maneiras de trazer essas diferenças para outras partes do Quint - deixe-nos saber se você tem algum feedback sobre isso.