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

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

Y el REPL recibe una mejora en la experiencia de usuario que puede aportar mucha claridad y perspectiva a tus exploraciones. Cada vez que evalúes alguna acción, Quint mostrará la diferencia entre el estado antiguo y el nuevo, para que puedas ver fácilmente cómo se están moviendo las cosas. Estamos buscando formas de llevar estas diferencias a otras partes de Quint - háznos saber si tienes algún comentario al respecto.