Radiance-Technologies / prism

Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
GNU Lesser General Public License v3.0
5 stars 2 forks source link

Implement commit-pairing function for repair mining #16

Closed a-gardner1 closed 7 months ago

a-gardner1 commented 2 years ago

Define the means by which commit pairs are iterated when mining for repair examples or data augmentations (#17). For the first pass of the repair dataset that is limited to a single version of Coq, the commits should generally be limited to those that are compatible with the chosen version (#5).