qs

Feb 18, 2025

dac35ec · Feb 18, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
dune	dune	Run `$FSTAR/.scripts/remove_all_unused_opens.sh .`	Feb 18, 2025
.gitignore	.gitignore	Extracting Quicksort.Task	Nov 9, 2024
Makefile	Makefile	Update QS	Dec 27, 2024
Quicksort.Task.fst	Quicksort.Task.fst	Extracting Quicksort.Task	Nov 9, 2024
README.md	README.md	Update QS	Dec 27, 2024
common.mk	common.mk	Makefiles: no FSTAR_HOME, use --with_fstarc	Jan 8, 2025
driver.ml	driver.ml	Robust pool wrapper	Nov 10, 2024
fstar.mk	fstar.mk	remove hints	Jan 23, 2025

README.md

This directory contains the build infrastructure to extract the Quicksort.Task file to OCaml, and build it with OCaml 5.1.1 and domainslib.

opam switch create 5.1.1
opam install --switch=5.1.1 domainslib
make

Note: the Makefile here will not do anything if a 5.1.1 switch is not installed. Our CI does not test this directory.