Merging the fork by @shahar99 - #1

Open

FilkerZero wants to merge 36 commits into

FilkerZero:merge-shahar99s-changesfrom

shahar99s:master

Commits on Mar 8, 2021

fix mishandling of ^ inside an expression
marler8997
committed
964b93a

Commits on Jun 10, 2022

add cbmc verify and fix a --conversion-check
Reinhard Urban
committed
7fb7a51
extend CBMC checks to all APIs
Reinhard Urban
committed
69afafe
fix GH #76 out-of-bounds
Reinhard Urban
committed
e448651
refactor cbmc proofs a bit
Reinhard Urban
committed
bd55c35
support "\\\\" pattern, and disallow "..\\"
Reinhard Urban
committed
9d25c22
Clarify python2 is needed
Reinhard Urban
committed
7bd15de

Commits on Jun 20, 2022

re-enable INV_CHAR_CLASS
Reinhard Urban
committed
0388df3
prepare multi-byte support
Reinhard Urban
committed
f334c5b
TODOs and new tests
Reinhard Urban
committed
148e229
fix ranges with ending -
Reinhard Urban
committed
89f513f

Commits on Dec 18, 2022

fix end anchor match length
perazz
committed
e9f6a87
add end anchor test to makefile
perazz
committed
359a38c

Commits on Dec 23, 2022

Update formal_verification.md

kokke
authored and
shahar99s
committed
45dfbe4
use flat memory layout

marler8997
authored and
shahar99s
committed
fd17b66
simplify matchplus and matchstar

marler8997
authored and
shahar99s
committed
87502b5
fix mishandling of ^ inside an expression

marler8997
authored and
shahar99s
committed
b5d1b7e
use flat memory layout

marler8997
authored and
shahar99s
committed
ad71eb1
simplify matchplus and matchstar

marler8997
authored and
shahar99s
committed
46af3b8
Merge branch 'master' of https://github.com/shahar99s/tiny-regex-c
shahar99s
committed
7febe14

Commits on May 25, 2024

silence gcc tests warnings
shahar99s
committed
623e3fd
use default python in makefile
shahar99s
committed
973e990
cleanup tests + add windows support
shahar99s
committed
1072ecf
prevent '*' expansion in scripts
shahar99s
committed
0ecadd4
support character class starting with '-'
shahar99s
committed
b9fa9cc
Merge pull request #5 from shahar99s/fix-tests
shahar99s
authored
9d7176f
return error for invalid escaping
shahar99s
committed
6fec7bb

Commits on May 26, 2024

Support compiling regex in Python
shahar99s
committed
d2f6b57
Add Python regex compilation tests
shahar99s
committed
25152bf
Remove redundent character class null terminator
shahar99s
committed
5beb2b3
Merge pull request #6 from shahar99s/support-python-regex-compilation
shahar99s
authored
806da4b
Fix character class matching
shahar99s
committed
1a2544d
Merge pull request #7 from shahar99s/fix-match-charclass
shahar99s
authored
73081fe

Commits on May 27, 2024

Merge pull request #8 from perazz/master
shahar99s
authored
22e1080
Fix 'test_compile.c' warning
shahar99s
committed
2967b89
Merge pull request #9 from shahar99s/fix-tests-warnings
shahar99s
authored
de2a008