ruff
Remove unnecessary string cloning from the parser
#9884

Merged

Remove unnecessary string cloning from the parser #9884

charliermarsh merged 5 commits into main from charlie/string-parser

charliermarsh force pushed from 00e83b5e to 5211fa7d 1 year ago

charliermarsh force pushed from 5211fa7d to c9054e1a 1 year ago

charliermarsh force pushed from c9054e1a to efc7d6e6 1 year ago

charliermarsh force pushed from efc7d6e6 to bc1e4497 1 year ago

charliermarsh marked this pull request as ready for review 1 year ago

charliermarsh requested a review from

MichaReiser 1 year ago

charliermarsh requested a review from

dhruvmanila 1 year ago

charliermarsh commented on 2024-02-08

dhruvmanila approved these changes on 2024-02-08

dhruvmanila added parser

MichaReiser approved these changes on 2024-02-08

charliermarsh force pushed from bc1e4497 to 2e75d580 1 year ago

charliermarsh force pushed from 2e75d580 to f065e8d1 1 year ago

charliermarsh force pushed from f065e8d1 to f0cdc8f0 1 year ago

charliermarsh marked this pull request as draft 1 year ago

charliermarsh force pushed from a34458d3 to 82e1d4eb 1 year ago

charliermarsh marked this pull request as ready for review 1 year ago

Remove unnecessary string cloning from the parser

0871805c

Box other strings

46800aea

Use shared finder

5db7e35e

Add benches

09be9b2c

Revert benchmarking code

58178b30

charliermarsh force pushed from 82e1d4eb to 58178b30 1 year ago

charliermarsh merged 6f0e4ad3 into main 1 year ago

charliermarsh deleted the charlie/string-parser branch 1 year ago

Reviewers

MichaReiser

dhruvmanila

BurntSushi

Assignees

No one assigned

Labels

parser

Milestone

No milestone