Merging the fork by @shahar99#1
Open
FilkerZero wants to merge 36 commits intoFilkerZero:merge-shahar99s-changesfrom
Open
Merging the fork by @shahar99#1FilkerZero wants to merge 36 commits intoFilkerZero:merge-shahar99s-changesfrom
FilkerZero wants to merge 36 commits intoFilkerZero:merge-shahar99s-changesfrom
Conversation
add another formal verifier (much easier to use), and fix an invalid signed conversion
compare GH kokke#76
with invalid types in re_print
seperate functions. check assume vs nondet_uchar() (both are the same). use less MAX_REGEXP_OBJECTS for cbmc (much faster then) improve the no buffer-out-of-bounds access on invalid patterns check.
and use the enum type internally
and fix isalpha crashes on bad libc's. Fixes GH kokke#70. e.g. UTF-8.
Fixes GH kokke#79 and the exreg failures with [1-5-]+[-1-2]-[-]
`matchplus` can be simplified by only modifying `matchlength` once the complete match is successful. This means it doesn't have to rewind `matchlength` as it iterates through each possible `matchpattern`. This also means it keeps `matchlength` unmodified if it doesn't return a match. Because of this last part, this also means that `matchstar` can leverage `matchplus` which reduces it to single line of code `return matchplus(...) || matchpattern(..)`.
`matchplus` can be simplified by only modifying `matchlength` once the complete match is successful. This means it doesn't have to rewind `matchlength` as it iterates through each possible `matchpattern`. This also means it keeps `matchlength` unmodified if it doesn't return a match. Because of this last part, this also means that `matchstar` can leverage `matchplus` which reduces it to single line of code `return matchplus(...) || matchpattern(..)`.
Fix tests
Support python regex compilation
Fix character class matching
Test end anchor ($) behavior, fix match length
Fix 'test_compile.c' warning
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Attempting to pull together a complete "modern" version by merging in all the substantive improvements from different forks