Uptide

Migrations you can merge. Finds what a dependency upgrade breaks in your code, migrates it, and proves it with your compiler and tests.

Description excerpted from the original listing, which is linked below.