Quint v0.29.0 è qui con due nuove funzionalità entusiasmanti!

Il simulatore di Quint in Rust può ora eseguire simulazioni in parallelo, rendendo le esplorazioni molto più veloci. Un feedback rapido è importante, e più campioni nello stesso tempo = più fiducia. Stiamo già vedendo grandi miglioramenti in alcune delle nostre specifiche preferite:

E il REPL riceve un miglioramento dell'UX che può portare molta chiarezza e intuizione alle tue esplorazioni. Ogni volta che valuti un'azione, Quint mostrerà la differenza tra il vecchio stato e il nuovo, così puoi vedere facilmente come le cose si stanno muovendo. Stiamo cercando modi per portare queste differenze in altre parti di Quint - facci sapere se hai qualche feedback al riguardo.