Mini Project in Tools For Assertive programming 2018 - B Loops refactoring Mohammed Biadse - Omar Agbaria - Saleh Naarane This is the Dafny extention for visual studio, we added support fot refactoring loops, the original project WIKI can be found here : https://github.com/Microsoft/dafny/wiki/INSTALL