[acl2/acl2] dc5eb2: Add theorems showing when fresh names are valid id...

[Stephen Westfold]

Branch: refs/heads/fresh-names-valid
Home: https://github.com/acl2/acl2
Commit: dc5eb2f31aa73da895accb30d6b910c03fd61ae0
https://github.com/acl2/acl2/commit/dc5eb2f31aa73da895accb30d6b910c03fd61ae0
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-08-13 (Thu, 13 Aug 2026)

Changed paths:
M books/kestrel/remora/fresh-variable-operations.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/unique-names-well-formedness.lisp

Log Message:
-----------
Add theorems showing when fresh names are valid identifiers.

Use this to show uniquify-names preserves corep



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

[Stephen Westfold]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: dc5eb2f31aa73da895accb30d6b910c03fd61ae0
https://github.com/acl2/acl2/commit/dc5eb2f31aa73da895accb30d6b910c03fd61ae0
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-08-13 (Thu, 13 Aug 2026)

Changed paths:
M books/kestrel/remora/fresh-variable-operations.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/unique-names-well-formedness.lisp

Log Message:
-----------
Add theorems showing when fresh names are valid identifiers.

Use this to show uniquify-names preserves corep

Commit: bfe1040fceb9d141c5ccddc199c9c58d0a962ffb
https://github.com/acl2/acl2/commit/bfe1040fceb9d141c5ccddc199c9c58d0a962ffb
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-08-15 (Sat, 15 Aug 2026)

Changed paths:
M books/kestrel/remora/fresh-variable-operations.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp

A books/kestrel/remora/unicode.lisp
M books/kestrel/remora/unique-names-validation.lisp
M books/kestrel/utilities/strings/strings-codes.lisp

Log Message:
-----------
Take account of AC comments


Commit: 219f1a4866012ed0d5ae935431e26ac73329a9ec
https://github.com/acl2/acl2/commit/219f1a4866012ed0d5ae935431e26ac73329a9ec
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
M books/kestrel/remora/fresh-variable-operations.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp

A books/kestrel/remora/unicode.lisp
M books/kestrel/remora/unique-names-validation.lisp
A books/kestrel/remora/unique-names-well-formedness.lisp
M books/kestrel/utilities/strings/strings-codes.lisp

Log Message:
-----------
Merge pull request #2013 from acl2/fresh-names-valid

Add theorems showing when fresh names are valid identifiers.

Compare: https://github.com/acl2/acl2/compare/c66e32d19667...219f1a486601

[acl2buildserver]

Branch: refs/heads/master

Commit: 27abad2efd5fbf113a4eea1c5b54ef8e530a0fea
https://github.com/acl2/acl2/commit/27abad2efd5fbf113a4eea1c5b54ef8e530a0fea
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-08-17 (Mon, 17 Aug 2026)

Changed paths:
M books/kestrel/remora/fresh-variable-operations.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/unicode.lisp
M books/kestrel/remora/unique-names-validation.lisp
A books/kestrel/remora/unique-names-well-formedness.lisp
M books/kestrel/utilities/strings/strings-codes.lisp

Log Message:
-----------

Merge commit '219f1a4866012ed0d5ae935431e26ac73329a9ec' into HEAD


Compare: https://github.com/acl2/acl2/compare/336abd732424...27abad2efd5f

[acl2buildserver]

Branch: refs/heads/testing