Releases: pandaman64/lean-regex
Releases · pandaman64/lean-regex
v4.27.1-rc1
v4.26.0
What's Changed
- v4.26.0-rc2 by @pandaman64 in #144
- Use sentinel value instead of Option.none by @pandaman64 in #145
- v4.26.0 by @pandaman64 in #146
Full Changelog: v4.25.1...v4.26.0
v4.25.1
v4.24.0
What's Changed
- v4.24.0-rc1 by @pandaman64 in #132
- Prefilter for multiple starting characters by @muttener in #119
- v4.24.0 by @pandaman64 in #133
- Missing file for v4.24.0 by @pandaman64 in #134
Full Changelog: v4.23.0...v4.24.0
v4.24.0-rc1
v4.23.0
What's Changed
- v4.23.0-rc2 by @pandaman64 in #125
- Non-greedy matching by @pandaman64 in #128
- v4.23.0 by @pandaman64 in #129
Full Changelog: v4.22.0...v4.23.0
v4.23.0-rc2
v4.22.0
What's Changed
- Switch to docgen-action by @pandaman64 in #109
- Revert "Switch to docgen-action" by @pandaman64 in #110
- v4.22.0-rc3 by @pandaman64 in #111
- Simple prefilter optimization by @pandaman64 in #112
- Fix benchmark script by @pandaman64 in #113
- Add a non-membership proof to insert by @pandaman64 in #114
- Use utility method count in benchmark by @muttener in #116
- Issue 102 cleanup by @muttener in #115
- Derive ToExpr in most cases by @pandaman64 in #117
- Refactor the refinement predicate by @pandaman64 in #120
- Replace decidable equality with a variant-specific testing by @pandaman64 in #122
- Add NFA visualization support based on ProofWidgets and Penrose by @kpadmasola in #123
- v4.22.0 by @pandaman64 in #124
Full Changelog: v4.21.0...v4.22.0
v4.22.0-rc3
v4.21.0
What's Changed
- Fix word class by @pandaman64 in #97
- chore: bump lean version by @ammkrn in #99
- chore: Adjust README example to work w/ copy paste by @ammkrn in #98
- Add scope of formal verification by @pandaman64 in #105
- Add utility methods by @muttener in #101
- Implement word boundary operators \b and \B by @kpadmasola in #100
- Add transform functionality by @muttener in #106
- Refactor AST to use consolidated repeat constructor for faithful representation and fix #84 by @devin-ai-integration in #104
- Enable CorpusTests for word boundary operators. by @pandaman64 in #107
- v4.21.0 by @pandaman64 in #108
New Contributors
- @ammkrn made their first contribution in #99
- @muttener made their first contribution in #101
- @kpadmasola made their first contribution in #100
Full Changelog: v4.20.0...v.4.21.0