Extraction hooks to support custom extraction by extensions#3058

Merged

aseemr merged 13 commits intomasterfrom nik_extraction

Sep 28, 2023

+1,627-900

Commits on Sep 20, 2023

hooks for a custom extraction pipeline for extensions
nikswamy
committed

Commits on Sep 26, 2023

expose an normalize_for_extraction in FStar.Extraction.ML.Syntax
nikswamy
committed

Commits on Sep 28, 2023