-
Notifications
You must be signed in to change notification settings - Fork 13
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#163 In pandaman64/lean-regex;
Unboxed NFA with Fixed-Width Unsigned Indices for Performance Optimization
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededoptimizationImprove the performanceImprove the performanceStatus: Open.#154 In pandaman64/lean-regex;Integrate CodSpeed for Continuous Performance Monitoring
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededoptimizationImprove the performanceImprove the performanceStatus: Open.#153 In pandaman64/lean-regex;Correctly fail invalid range operators
bugSomething isn't workingSomething isn't workinghelp wantedExtra attention is neededExtra attention is neededStatus: Open.#152 In pandaman64/lean-regex;Prove equivalence between AST-level and Expr-level regex semantics (
captures_iff_captures)enhancementNew feature or requestNew feature or requestformal proofProof needs to be writtenProof needs to be writtengood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#142 In pandaman64/lean-regex;Grammar Formalization: Define Regex Syntax as a Context‑Free Grammar
documentationImprovements or additions to documentationImprovements or additions to documentationformal proofProof needs to be writtenProof needs to be writtenhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#141 In pandaman64/lean-regex;Unicode RL1.4 support: Update Word Boundaries to Use Unicode Properties (
\b,\B)enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#139 In pandaman64/lean-regex;Unicode RL1.2 support: Implement Unicode Properties (
\p{...}and\P{...})enhancementNew feature or requestNew feature or requestformal proofProof needs to be writtenProof needs to be writtenhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#137 In pandaman64/lean-regex;- Status: Open.#121 In pandaman64/lean-regex;
Improve string formatting and debugging utilities
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#96 In pandaman64/lean-regex;Improve parser error messages with context
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#94 In pandaman64/lean-regex;- Status: Open.#62 In pandaman64/lean-regex;