Open Issues Need Help
View All on GitHubA semantic repair loop that actually fixes code. State the success condition in prose, not just as an exit status, and the loop refuses the repairs that make a command pass without fixing the defect.
A semantic repair loop that actually fixes code. State the success condition in prose, not just as an exit status, and the loop refuses the repairs that make a command pass without fixing the defect.
A semantic repair loop that actually fixes code. State the success condition in prose, not just as an exit status, and the loop refuses the repairs that make a command pass without fixing the defect.
A semantic repair loop that actually fixes code. State the success condition in prose, not just as an exit status, and the loop refuses the repairs that make a command pass without fixing the defect.