First pass for the dataset extraction from the pulse#242

Open

saikat107 wants to merge 3 commits intoFStarLang:nik_datasetfrom saikat107:saikat/dataset

+768-36

Commits on Oct 2, 2024

Commits on Oct 17, 2024

First cut of printing pulse checker dataset.
saikat107
committed