Forked from Kaixi26/TAR
Temporal Alloy Repair is a tool that extends Alloy6 to allow mutation-based automatic repair of specifications.
Requires Alloy 6.1.0
mvn clean compile
mvn clean package
The entire Alloy source code is now externally imported.
The changes made to the project itself where either caused by the removal of bloat code/features or by the migration to Alloy 6.1.0
The functionality of the tool remains exactly the same.