UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)
Other
6 stars 2 forks source link

remove pcre library, use ocaml str instead #93

Closed katrinafyi closed 3 weeks ago

katrinafyi commented 3 weeks ago

PCRE relies on a shared library, precluding its use in Javascript. in this change, we use the standard ocaml "str" library instead. note, however, that this supports a smaller subscript of regex (notably no negative lookahead), and has a different syntax.

see: https://github.com/UQ-PAC/aslp/blob/75cf86fb7f5b4d6c753d021aad15faebd4ce2717/tests/coverage/dune#L19-L26

https://ocaml.org/manual/5.2/api/Str.html