Switch HACL* to use .fstar_version and .krml_version

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

This should also allow to unify the treatment of submodules ... .krml_version could be origin/master and .fstar_version could be origin/stable

msprotz commented 7 years ago

done