[acl2/acl2] 8300d0: [unicode] add some utility theorems to facilitate ...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 8300d06850bd12dc148e609de303b237e6fb27e4
https://github.com/acl2/acl2/commit/8300d06850bd12dc148e609de303b237e6fb27e4
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-01 (Mon, 01 Jun 2026)

Changed paths:
M books/unicode/uchar.lisp
M books/unicode/utf8-decode.lisp
M books/unicode/utf8-encode.lisp

Log Message:
-----------
[unicode] add some utility theorems to facilitate round-trip theorems of users of unicode such as parsers


Commit: 9e129b191a4fc15bc5b100a8f07fb754b26b780b
https://github.com/acl2/acl2/commit/9e129b191a4fc15bc5b100a8f07fb754b26b780b
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-01 (Mon, 01 Jun 2026)

Changed paths:
M books/unicode/uchar.lisp

Log Message:
-----------
[unicode] remove unneeded :rewrite rule that could cause future issues.


Compare: https://github.com/acl2/acl2/compare/5f457bdef005...9e129b191a4f

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications