Open Issues Need Help
View All on GitHub Change get_patch to get_diff in SourceFile 2 months ago
good first issue
Automated Code Repair suite powered by ESBMC and LLMs.
C
#ai#artificial-intelligence#automated-program-repair#bmc#bounded-model-checking#esbmc#llm#llms