Quint v0.29.0 hadir dengan dua fitur baru yang menarik!

Simulator Quint di Rust sekarang dapat menjalankan simulasi secara paralel, membuat eksplorasi jauh lebih cepat. Umpan balik yang cepat itu penting, dan lebih banyak sampel dalam waktu yang sama = lebih percaya diri. Kami sudah melihat peningkatan besar dalam beberapa spesifikasi favorit kami:

Dan REPL menerima peningkatan UX yang dapat membawa banyak kejelasan dan wawasan pada eksplorasi Anda. Setiap kali Anda mengevaluasi beberapa tindakan, Quint akan menunjukkan perbedaan antara keadaan lama dan yang baru, sehingga Anda dapat dengan mudah melihat bagaimana hal-hal bergerak. Kami sedang mencari cara untuk membawa perbedaan ini ke bagian lain dari Quint - beri tahu kami jika Anda memiliki umpan balik tentangnya.