https://github.com/digdeeproots/provable-refactorings

A collection of refactoring recipes that are provably safe. They never accidentally introduce nor fix a bug, including one that you don't know exists. They maintain all behavior, including unknown or unspecified behavior. To accomplish this, each recipe is concrete and language-specific.
https://github.com/digdeeproots/provable-refactorings

Last synced: 5 months ago
JSON representation

A collection of refactoring recipes that are provably safe. They never accidentally introduce nor fix a bug, including one that you don't know exists. They maintain all behavior, including unknown or unspecified behavior. To accomplish this, each recipe is concrete and language-specific.

• Host: GitHub
• URL: https://github.com/digdeeproots/provable-refactorings
• Owner: digdeeproots
• License: other
• Created: 2018-05-31T05:33:13.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2024-04-26T03:39:40.000Z (12 months ago)
• Last Synced: 2024-08-09T02:19:10.892Z (9 months ago)
• Homepage:
• Size: 63.5 KB
• Stars: 262
• Watchers: 23
• Forks: 26
• Open Issues: 8

Awesome Lists containing this project

• jimsghstars - digdeeproots/provable-refactorings - A collection of refactoring recipes that are provably safe. They never accidentally introduce nor fix a bug, including one that you don't know exists. They maintain all behavior, including unknown or (Others)