Name		Name	Last commit message	Last commit date
parent directory ..
adt-into		adt-into
options		options
src		src
Cargo.toml		Cargo.toml
README.md		README.md
default.nix		default.nix

README.md

Special core extraction mode

For now, the frontend is sensible to the HAX_CORE_EXTRACTION_MODE variable environment that enables a special mode.