métier
Développeurs de logiciels
description
Extract ZK circuit bugs from a GitHub issue or pull request and add them to the zkbugs dataset. Creates branch, scaffolds directories, fills configs, finds similar bugs.
Langue du texte source : anglais
mis à jour