sheng 0.1.0

Register-resident refutation sieves for regex. Builds Hartmanis-Stearns SP-quotients of a pattern's automaton small enough to live in a SIMD register, and uses them to prove a document match-free before a real engine ever walks it. Sound by construction: a sieve may pass a non-matching document, never reject a matching one.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

# How git should treat the bytes in this repository.
#
# Three jobs: keep line endings from becoming a diff, keep resolver output out
# of review and out of GitHub's language stats, and give git the hunk-header
# rules that make a diff readable.

# ── Line endings ────────────────────────────────────────────────────────────
# Normalize on commit, LF in the working tree on every platform. The soundness
# suite reads its own source files as corpus bytes (`tests/soundness.rs`), so a
# checkout that silently introduced CRLF would change the very bytes a
# differential test runs against.
* text=auto eol=lf

# ── Generated ───────────────────────────────────────────────────────────────
# Lockfile: resolver output. Reviewed as a fact ("this version moved"), never
# read line by line.
Cargo.lock linguist-generated -diff

# ── Diff drivers ────────────────────────────────────────────────────────────
# Git ships hunk-header patterns for these; naming them here is what makes
# `@@ ... fn whatever` appear above a hunk instead of a bare line number.
*.rs  diff=rust
*.md  diff=markdown

# ── Merge ───────────────────────────────────────────────────────────────────
# The changelog is append-at-the-top and assembled by towncrier. Two branches
# adding release sections conflict textually while agreeing semantically; a
# union merge keeps both and lets the next `towncrier build` sort it out.
CHANGELOG.md merge=union