Patch File
ملف الرُّقعة
ملف بصيغة .diff أو .patch يُحدّد بدقة الأسطر المراد إضافتها أو حذفها أو تعديلها في ملف مصدري، ويُستخدم لتطبيق تغييرات على قاعدة شيفرة دون استبدال الملفات بالكامل.
A .diff or .patch format file that specifies exactly which lines to add, remove, or modify in source files, used to apply changes to a codebase without replacing entire files.
Also translated asملف التصحيح، ملف الفرق
First appears in this corpus in: SWE-bench: Can Language Models Resolve Real-World GitHub Issues? (2024)
Appears in these papers