Skip to content

PoPAI-evaluation-v1.0

Latest
Latest
Compare
Choose a tag to compare
@saikat107 saikat107 released this 19 Jul 15:20
eval-v1.0
52ad003
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Full Changelog: https://github.com/FStarLang/fstar_dataset/commits/eval-v1.0

  1. Download and extract helpers.zip from the release. We assume the extracted helpers directory is present in the root of this repository. (Change the parameter of --dataset_dir in the evaluation script accordingly.)
  2. Add helpers/bin to your PATH, i.e., export PATH=<PATH TO THE EXTRACTED HELPER DIRECTORY>/bin:$PATH.
  3. Make sure fstar.exe --version works, and the output is F* 2023.09.03~dev
Assets 3
Loading