This repository contains prototype implementations for incorporating weak/hard constraints during consistency restoration
Go to file
2023-09-04 19:54:49 +02:00
Refactoring implemented second prototype and connected it with stateless hipe 2023-09-04 19:54:49 +02:00
RefactoringCommon implemented second prototype and connected it with stateless hipe 2023-09-04 19:54:49 +02:00
RefactoringGT initial commit 2023-08-21 18:58:34 +02:00
RefactoringGTL added new gt projects for another prototype 2023-08-23 12:33:09 +02:00
RefactoringGTLConstraints fixed wrong import statement in TransitiveImports.gtl 2023-08-23 12:40:02 +02:00
RefactoringGTLRules added new gt projects for another prototype 2023-08-23 12:33:09 +02:00
RefactoringSearchBased implemented second prototype and connected it with stateless hipe 2023-09-04 19:54:49 +02:00
SoftwareSystem implemented second prototype and connected it with stateless hipe 2023-09-04 19:54:49 +02:00
.gitignore added gitignore 2023-08-23 12:37:38 +02:00
projectSet.psf updated project set 2023-08-23 12:44:43 +02:00