search

src-d / datasets

source{d} datasets ("big code") for source code analysis and machine learning on source code
Other
322 stars 82 forks source link

Support selecting version in pga downloader #108

Closed jfontan closed 5 years ago

jfontan commented 5 years ago

Right now both PGA tool is hardcoded to download version latest of the index an siva files. Add an option to change the version we want to use.