PoPAI-evaluation-v2.0

Full Changelog: https://github.com/FStarLang/fstar_dataset/commits/eval-v2.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* 2024.01.13~dev

PoPAI-evaluation-v1.0

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