Quint v0.29.0 est là avec deux nouvelles fonctionnalités passionnantes !

Le simulateur de Quint en Rust peut désormais exécuter des simulations en parallèle, rendant les explorations beaucoup plus rapides. Un retour rapide est important, et plus d'échantillons dans le même temps = plus de confiance. Nous constatons déjà de grandes améliorations dans certaines de nos spécifications préférées :

Et le REPL reçoit une amélioration de l'UX qui peut apporter beaucoup de clarté et d'insight à vos explorations. Chaque fois que vous évaluez une action, Quint affichera la différence entre l'ancien état et le nouvel état, afin que vous puissiez facilement voir comment les choses évoluent. Nous cherchons des moyens d'apporter ces différences à d'autres parties de Quint - faites-nous savoir si vous avez des retours à ce sujet.