Quint v0.29.0 är här med två spännande nya funktioner!

Quints simulator i Rust kan nu köra simuleringar parallellt, vilket gör utforskningar så mycket snabbare. Snabb feedback är viktigt, och fler prover på samma tid = mer förtroende. Vi ser redan stora förbättringar i några av våra favoritspecifikationer:

Och REPL får en UX-förbättring som kan ge mycket klarhet och insikt i dina utforskningar. När du utvärderar en åtgärd kommer Quint att visa skillnaden mellan det gamla tillståndet och det nya, så att du enkelt kan se hur saker och ting rör sig. Vi letar efter sätt att ta med dessa diffar till andra delar av Quint - låt oss veta om du har någon feedback om det.