Feature/new datasets - #74

Merged

amit9oct merged 16 commits into

mainfrom

feature/new-datasets

Jun 8, 2026

Commits on May 31, 2026

Add configuration files for batteries benchmark data extraction
amit9oct
committed
87a4208
Add Strata dataset configuration and submodule integration
amit9oct
committed
9efc9d3

Commits on Jun 1, 2026

Add cslib submodule for testing data
amit9oct
committed
272d109
Update cslib submodule to latest commit
amit9oct
committed
99ab900
Update Strata submodule to latest commit
amit9oct
committed
d154b37
Add ignore flag for batteries, Strata, and cslib submodules
amit9oct
committed
52855dc
Update dependencies to version 4.30.0 in lake-manifest.json, lakefile.lean, and lean-toolchain
amit9oct
committed
c182882
Update batteries submodule to latest commit
amit9oct
committed
c51b695

Commits on Jun 7, 2026