Regex

[archseer]

This issue concerns the re module.

We want to use the regex crate, because it's mostly PCRE compatible, but drops lookaheads and some other features to make it execute in linear time. This way we'd be able to estimate the reductions based on the pattern and binary length.

This issue first requires binaries to be implemented (refs #20).

[archseer]

Binaries are now stable enough for this to be worked on.

Sidenote, we want to use regex::bytes (https://docs.rs/regex/1.1.0/regex/bytes/index.html), not regex, since the bytes submodule operates on raw &[u8]/Vec bytes — Rust String/&str requires us to always hold a valid utf-8 string, which is not necessarily true in erlang-land, it's also a bit more performant.

[archseer]

Work has started over on https://github.com/archseer/enigma/tree/regex