Skip to content

Release for PR 6581
Compare
Choose a tag to compare
@kim-em kim-em released this 08 Jan 20:24
· 2 commits to main since this release
pr-release-6581
3396ac9 
feat: add `grind` configuration options to control case-splitting

This PR adds the following configuration options to `Grind.Config`:
`splitIte`, `splitMatch`, and `splitIndPred`.
Assets 4
Loading