Add unicode support to the saw-script lexer#2187

Merged

sauclovian-g merged 4 commits intomasterfrom 2042-unicode-input

Jan 20, 2025

+211-60

Commits on Jan 16, 2025

Commits on Jan 17, 2025

Set the locale explicitly to utf8 at startup, as Cryptol does.
sauclovian-g
committed