Quint v0.29.0 هنا مع ميزتين جديدتين مثيقتين!

يمكن لمحاكي Quint في Rust الآن تشغيل عمليات المحاكاة بالتوازي ، مما يجعل الاستكشافات أسرع بكثير. التعليقات السريعة مهمة ، والمزيد من العينات في نفس الوقت = المزيد من الثقة. نشهد تحسينات كبيرة في بعض المواصفات المفضلة لدينا بالفعل:

ويتلقى REPL تحسينا في تجربة المستخدم يمكن أن يجلب الكثير من الوضوح والبصيرة لاستكشافاتك. عندما تقوم بتقييم بعض الإجراءات ، سيظهر Quint الفرق بين الحالة القديمة والحالة الجديدة ، حتى تتمكن من رؤية كيف تتحرك الأمور بسهولة. نحن نبحث عن طرق لجلب هذه الاختلافات إلى أجزاء أخرى من Quint - أخبرنا إذا كان لديك أي ملاحظات حول هذا الموضوع.