[acl2/acl2] 54aa33: [remora] move CST producers to beginning of file a...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
https://github.com/acl2/acl2/commit/54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)

Changed paths:
M books/kestrel/remora/parser-interface.lisp

Log Message:
-----------
[remora] move CST producers to beginning of file and add parse-program-to-cst


Commit: 32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
https://github.com/acl2/acl2/commit/32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] improve rule structures for type-var and ispace-var


Compare: https://github.com/acl2/acl2/compare/23998caf4cad...32602c488ec0

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

[Eric McCarthy]

Branch: refs/heads/master

[acl2buildserver]

Branch: refs/heads/testing

Home: https://github.com/acl2/acl2
Commit: 54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
https://github.com/acl2/acl2/commit/54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)

Changed paths:
M books/kestrel/remora/parser-interface.lisp

Log Message:
-----------
[remora] move CST producers to beginning of file and add parse-program-to-cst


Commit: 32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
https://github.com/acl2/acl2/commit/32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] improve rule structures for type-var and ispace-var

Commit: 4497750e0cc38e1a8415a15a8f8aef68e5f935d1
https://github.com/acl2/acl2/commit/4497750e0cc38e1a8415a15a8f8aef68e5f935d1
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-31 (Sun, 31 May 2026)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp

Log Message:
-----------
Added guard of (symbolp fn) to (tau-data fn).

Quoting :DOC note-8-8:

The macro [tau-data] now has a guard requiring its argument to be a
symbol. Thanks to Jerome Dubois and Eric Smith for a Zulip
discussion leading to this change.

Also thanks to J for helpful comments.


Compare: https://github.com/acl2/acl2/compare/23998caf4cad...4497750e0cc3