Sau đây định nghĩa của chúng tôi, T1 là tập hợp của tất cả còn lại CVS / SVN viết cam kết và, đối với bất kỳ TK 2 T1, chúng tôi có một T1 hàm trả về một tập hợp con của các lớp Ck0 C ¼ FC1; ...; CMG sửa đổi trong các cam kết . Histrace sử dụng bài viết cam kết và một kỹ thuật IR dựa trên tính toán 0ri;. Tk
dùng T1, Histrace xây dựng R2CT1; rj; tk.
đang được dịch, vui lòng đợi..
