Skip to content

PoPAI-evaluation-v1.0

Latest
Compare
Choose a tag to compare
@saikat107 saikat107 released this 19 Jul 15:20
52ad003

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