This repository contains the prototype implementation of the "TyMoRe" framework that enables modularity and extensibility for refactoring with type constraints.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Failed to load latest commit information.