[acl2/acl2] 5fbcba: [remora] rename "extent" to "ispace" in surface sy...

0 views
Skip to first unread message

Eric McCarthy

unread,
Jul 7, 2026, 11:43:51 PM (4 days ago) Jul 7
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 5fbcba85bb0d9113bdbf76cd37c748b553aa9408
https://github.com/acl2/acl2/commit/5fbcba85bb0d9113bdbf76cd37c748b553aa9408
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] rename "extent" to "ispace" in surface syntax



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

acl2buildserver

unread,
Jul 8, 2026, 12:53:06 AM (4 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 5fbcba85bb0d9113bdbf76cd37c748b553aa9408
https://github.com/acl2/acl2/commit/5fbcba85bb0d9113bdbf76cd37c748b553aa9408
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] rename "extent" to "ispace" in surface syntax


Commit: 90bb9cfc27ee9f2e89fbfabc7f6a401b62f48cb8
https://github.com/acl2/acl2/commit/90bb9cfc27ee9f2e89fbfabc7f6a401b62f48cb8
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
Merge commit '5fbcba85bb0d9113bdbf76cd37c748b553aa9408' into HEAD


Compare: https://github.com/acl2/acl2/compare/53be04ead863...90bb9cfc27ee

acl2buildserver

unread,
Jul 8, 2026, 12:53:40 AM (4 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages