¡Quint v0.29.0 está aquí con dos nuevas y emocionantes características!

El simulador de Quint en Rust ahora puede ejecutar simulaciones en paralelo, lo que hace que las exploraciones sean mucho más rápidas. La retroalimentación rápida es importante y más muestras al mismo tiempo = más confianza. Ya estamos viendo grandes mejoras en algunas de nuestras especificaciones favoritas:

Y el REPL recibe una mejora de UX que puede aportar mucha claridad y conocimiento a sus exploraciones. Cada vez que evalúe alguna acción, Quint mostrará la diferencia entre el estado anterior y el nuevo, para que pueda ver fácilmente cómo se mueven las cosas. Estamos buscando formas de llevar estos diffs a otras partes de Quint: háganos saber si tiene algún comentario al respecto.