VeriFast 26.01

Research prototype tool for modular formal verification of C, Rust and Java programs By Bart Jacobs*, Jan Smans*, and Frank Piessens*, with contributions by Pieter Agten*, Cedric Cuypers*, Lieven Desmet*, Niels Mommen*, Jan Tobias Muehlberg*, Willem Penninckx*, Pieter Philippaerts*, Nima Rahimi Foroushaani*, Amin Timany*, Thomas Van Eyck*, Gijs Vanspauwen*, Frédéric Vogels*, and external contributors * DistriNet research group, Department of Computer Science, KU Leuven, Belgium List of contributors, with number of commits (as produced by git shortlog -sne): 2083 Bart Jacobs 319 Jan Smans 190 Willem Penninckx 189 Gijs Vanspauwen 51 Jan Tobias Muehlberg 46 Cedric Cuypers 45 NielsMommen 28 Nima-Rahimi-Foroushaani 21 Frederic Vogels 18 Niels Mommen 18 Pieter Philippaerts 15 Pieter Agten 12 Dries Vanoverberghe 10 Willem Penninckx 9 Kiwamu Okabe 8 Amin Timany 8 Raphael Cauderlier 7 Amin Timany 7 Thomas Van Eyck 6 Martin Vassor 5 Christian Geldermann 5 Raphaël Cauderlier 5 Solal Pirelli 5 Stefan Wils 4 Christian Geldermann 4 Dries Vuylsteke 4 Joe Doyle 4 Joe Doyle 4 Lieven Desmet 3 Amin Timany 3 Kiwamu Okabe 3 Necto 3 Willem Penninckx 2 Jan Tobias Muehlberg 2 Maarten Magits 2 Mahmoud Mohsen 2 Solal Pirelli 2 Yuichi Nishiwaki 2 etiennebirling 2 gijsvanspauwen 1 Alastair Reid 1 Ethan Higa 1 Gijs Vanspauwen 1 Jasper Hawinkel 1 Jörg Pfähler 1 Jörg Pfähler 1 Lucas Ramirez 1 Nathan Chong 1 Sander 1 Thanh-Toan Nguyen 1 bno1 1 elleboog 1 jafarhamin 1 tob-joe 1 ueliomuelio 1 ✨ Schuyler St. Leger See the attached Git bundle for the full commit/contribution history. This work was supported in part by the Flemish Research Fund (FWO-Vlaanderen), by the EU FP7 projects SecureChange, STANCE, ADVENT, and VESSEDIA, by Microsoft Research Cambridge as part of the Verified Software Initiative, by the Research Fund KU Leuven, and by the Cybersecurity Research Program Flanders.