[acl2/acl2] 7133e1: [FTY] Fix XDOC parents in generate defmake-self forms

0 views
Skip to first unread message

Grant Jurgensen

unread,
Feb 28, 2026, 8:29:49 PM (4 days ago) Feb 28
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 7133e1de4fe36747d24a6c92896b15fa85f87190
https://github.com/acl2/acl2/commit/7133e1de4fe36747d24a6c92896b15fa85f87190
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/kestrel/fty/defmake-self.lisp

Log Message:
-----------
[FTY] Fix XDOC parents in generate defmake-self forms


Commit: a0bb21d6cc2fd6a242f0415cf50ec9efe4a8468c
https://github.com/acl2/acl2/commit/a0bb21d6cc2fd6a242f0415cf50ec9efe4a8468c
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/utilities/rename-fn.lisp

Log Message:
-----------
[C2C] Fix non-existent parent in rename-fn


Compare: https://github.com/acl2/acl2/compare/4f5a4b2c30ed...a0bb21d6cc2f

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

acl2buildserver

unread,
Feb 28, 2026, 11:16:35 PM (4 days ago) Feb 28
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 7133e1de4fe36747d24a6c92896b15fa85f87190
https://github.com/acl2/acl2/commit/7133e1de4fe36747d24a6c92896b15fa85f87190
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/kestrel/fty/defmake-self.lisp

Log Message:
-----------
[FTY] Fix XDOC parents in generate defmake-self forms


Commit: a0bb21d6cc2fd6a242f0415cf50ec9efe4a8468c
https://github.com/acl2/acl2/commit/a0bb21d6cc2fd6a242f0415cf50ec9efe4a8468c
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/utilities/rename-fn.lisp

Log Message:
-----------
[C2C] Fix non-existent parent in rename-fn


Commit: a9e61486fc6fe7818c1f1246971cb3f0b83ef47c
https://github.com/acl2/acl2/commit/a9e61486fc6fe7818c1f1246971cb3f0b83ef47c
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/utilities/rename-fn.lisp
M books/kestrel/fty/defmake-self.lisp

Log Message:
-----------
Merge commit 'a0bb21d6cc2fd6a242f0415cf50ec9efe4a8468c' into HEAD


Compare: https://github.com/acl2/acl2/compare/28c6f29436a6...a9e61486fc6f

acl2buildserver

unread,
Feb 28, 2026, 11:17:38 PM (4 days ago) Feb 28
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages