Repository navigation

Feature/new datasets - #74

Merged

amit9oct merged 16 commits into

mainfrom

feature/new-datasets

Jun 8, 2026

Merged

Feature/new datasets#74
amit9oct merged 16 commits into
mainfrom
feature/new-datasets

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
Commits on Jun 8, 2026
- Update lean-toolchain to version 4.30.0
  amit9oct
  committed
  4041b4d
- Update default Lean version to 4.30.0 in README and tactic parser
  amit9oct
  committed
  9c91ad1
- Add memory limit configuration for dependency parser and update documentation
  amit9oct
  committed
  4c01a7b
- Remove deprecated requirements files for project cleanup
  amit9oct
  committed
  4670e51
- Bump version to 1.7.0 in pyproject.toml
  amit9oct
  committed
  9c8bb75