[acl2/acl2] a073ec: [axe] Tweak.
0 views
Skip to first unread message
Eric W. Smith
Feb 3, 2026, 5:34:20 PM (7 days ago) Feb 3
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: a073ec79373b69ee04ab054f9f01506ad4e2f027
https://github.com/acl2/acl2/commit/a073ec79373b69ee04ab054f9f01506ad4e2f027
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/axe/translate-dag-to-stp.lisp
Log Message:
-----------
[axe] Tweak.
Commit: 9eb31cff00be6850264b5fd2d5e5355b93efb12e
https://github.com/acl2/acl2/commit/9eb31cff00be6850264b5fd2d5e5355b93efb12e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/axe/risc-v/unroller.lisp
M books/kestrel/axe/x86/unroller.lisp
Log Message:
-----------
Merge.
Commit: 9aeca0d6fb9a61b778f460758d76908a8a2bddb8
https://github.com/acl2/acl2/commit/9aeca0d6fb9a61b778f460758d76908a8a2bddb8
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/c/transformation/command-line/wrappers.lisp
Log Message:
-----------
[C2C] Fix comment.
Commit: fd10fc879156f392aff84e6af921d03779ce24cb
https://github.com/acl2/acl2/commit/fd10fc879156f392aff84e6af921d03779ce24cb
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/utilities/run-json-command.lisp
Log Message:
-----------
[utilities] Add lisp-value-from-json-string.
Commit: 5bce3ca19bc16462c08aeea29ce5a10914e19bd0
https://github.com/acl2/acl2/commit/5bce3ca19bc16462c08aeea29ce5a10914e19bd0
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/output-files.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
A books/kestrel/c/transformation/add-section-attr-doc.lisp
A books/kestrel/c/transformation/add-section-attr.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
A books/kestrel/c/transformation/tests/add-section-attr/.gitignore
A books/kestrel/c/transformation/tests/add-section-attr/acl2-customization.lsp
A books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/cert.acl2
A books/kestrel/c/transformation/tests/add-section-attr/test1.c
A books/kestrel/c/transformation/tests/add-section-attr/test2.c
A books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/top.lisp
A books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
A books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/top.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/kestrel/fty/deffold-map-doc.lisp
M books/kestrel/fty/deffold-map.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/08457e9c8655...5bce3ca19bc1
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: a073ec79373b69ee04ab054f9f01506ad4e2f027
https://github.com/acl2/acl2/commit/a073ec79373b69ee04ab054f9f01506ad4e2f027
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/axe/translate-dag-to-stp.lisp
Log Message:
-----------
[axe] Tweak.
Commit: 9eb31cff00be6850264b5fd2d5e5355b93efb12e
https://github.com/acl2/acl2/commit/9eb31cff00be6850264b5fd2d5e5355b93efb12e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/axe/risc-v/unroller.lisp
M books/kestrel/axe/x86/unroller.lisp
Log Message:
-----------
Merge.
Commit: 9aeca0d6fb9a61b778f460758d76908a8a2bddb8
https://github.com/acl2/acl2/commit/9aeca0d6fb9a61b778f460758d76908a8a2bddb8
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/c/transformation/command-line/wrappers.lisp
Log Message:
-----------
[C2C] Fix comment.
Commit: fd10fc879156f392aff84e6af921d03779ce24cb
https://github.com/acl2/acl2/commit/fd10fc879156f392aff84e6af921d03779ce24cb
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/utilities/run-json-command.lisp
Log Message:
-----------
[utilities] Add lisp-value-from-json-string.
Commit: 5bce3ca19bc16462c08aeea29ce5a10914e19bd0
https://github.com/acl2/acl2/commit/5bce3ca19bc16462c08aeea29ce5a10914e19bd0
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/output-files.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
A books/kestrel/c/transformation/add-section-attr-doc.lisp
A books/kestrel/c/transformation/add-section-attr.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
A books/kestrel/c/transformation/tests/add-section-attr/.gitignore
A books/kestrel/c/transformation/tests/add-section-attr/acl2-customization.lsp
A books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/cert.acl2
A books/kestrel/c/transformation/tests/add-section-attr/test1.c
A books/kestrel/c/transformation/tests/add-section-attr/test2.c
A books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/top.lisp
A books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
A books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/top.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/kestrel/fty/deffold-map-doc.lisp
M books/kestrel/fty/deffold-map.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/08457e9c8655...5bce3ca19bc1
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
acl2buildserver
Feb 3, 2026, 7:17:12 PM (7 days ago) Feb 3
to acl2-...@googlegroups.com
Branch: refs/heads/master
Commit: acc9d55de0924c7604a2aa082d50424832018fed
https://github.com/acl2/acl2/commit/acc9d55de0924c7604a2aa082d50424832018fed
Author: Grant Jurgensen <gr...@jurgensen.dev>
-----------
[C2C] Factor out qualified-ident
Moved out of call-graph and into a new book.
Commit: fe99c966595bc5f5eae86fe02c8e100be8515c4d
https://github.com/acl2/acl2/commit/fe99c966595bc5f5eae86fe02c8e100be8515c4d
Author: Grant Jurgensen <gr...@jurgensen.dev>
This is a very straightforward addition to allow overriding of list
types. Most likely all types should allow overridden definitions.
Commit: c2d947b3d15abaa83e19cf5cc38c25897ee4454d
https://github.com/acl2/acl2/commit/c2d947b3d15abaa83e19cf5cc38c25897ee4454d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Log Message:
-----------
[C$] Add validation info to translation unit ensemble type
This info field holds the final validation table.
Also add some abstract syntax option types.
Commit: 5f50092ec45eb00fee5e0a6b9431b8cd422832cf
https://github.com/acl2/acl2/commit/5f50092ec45eb00fee5e0a6b9431b8cd422832cf
Author: Grant Jurgensen <gr...@jurgensen.dev>
A books/kestrel/c/transformation/add-section-attr.lisp
Log Message:
-----------
[C2C] Add add-section-attr transformation
This also introduces the more general add-attributes utilities.
Commit: 08457e9c865571f9a682d9945348868761e6c125
https://github.com/acl2/acl2/commit/08457e9c865571f9a682d9945348868761e6c125
Author: Grant Jurgensen <gr...@jurgensen.dev>
Log Message:
-----------
XDOC typo
Commit: 84d70e79290a0a817ccce18d56305869376bf480
https://github.com/acl2/acl2/commit/84d70e79290a0a817ccce18d56305869376bf480
Author: ACL2 Build Server <acl2bui...@gmail.com>
Compare: https://github.com/acl2/acl2/compare/73c417ec3457...84d70e79290a
https://github.com/acl2/acl2/commit/acc9d55de0924c7604a2aa082d50424832018fed
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
Changed paths:
M books/kestrel/c/transformation/utilities/call-graph.lisp
A books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/top.lisp
Log Message:
A books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/top.lisp
-----------
[C2C] Factor out qualified-ident
Moved out of call-graph and into a new book.
Commit: fe99c966595bc5f5eae86fe02c8e100be8515c4d
https://github.com/acl2/acl2/commit/fe99c966595bc5f5eae86fe02c8e100be8515c4d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
Changed paths:
M books/kestrel/fty/deffold-map-doc.lisp
M books/kestrel/fty/deffold-map.lisp
Log Message:
-----------
[FTY] Allow override of lists in deffold-map
M books/kestrel/fty/deffold-map.lisp
Log Message:
-----------
This is a very straightforward addition to allow overriding of list
types. Most likely all types should allow overridden definitions.
Commit: c2d947b3d15abaa83e19cf5cc38c25897ee4454d
https://github.com/acl2/acl2/commit/c2d947b3d15abaa83e19cf5cc38c25897ee4454d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/tests/output-files.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
Log Message:
-----------
[C$] Add validation info to translation unit ensemble type
This info field holds the final validation table.
Also add some abstract syntax option types.
Commit: 5f50092ec45eb00fee5e0a6b9431b8cd422832cf
https://github.com/acl2/acl2/commit/5f50092ec45eb00fee5e0a6b9431b8cd422832cf
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
A books/kestrel/c/transformation/add-section-attr-doc.lisp
Changed paths:
A books/kestrel/c/transformation/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/.gitignore
A books/kestrel/c/transformation/tests/add-section-attr/acl2-customization.lsp
A books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/cert.acl2
A books/kestrel/c/transformation/tests/add-section-attr/test1.c
A books/kestrel/c/transformation/tests/add-section-attr/test2.c
A books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/top.lisp
A books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/qualified-ident.lisp
A books/kestrel/c/transformation/tests/add-section-attr/acl2-customization.lsp
A books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/cert.acl2
A books/kestrel/c/transformation/tests/add-section-attr/test1.c
A books/kestrel/c/transformation/tests/add-section-attr/test2.c
A books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/top.lisp
A books/kestrel/c/transformation/utilities/add-attributes.lisp
Log Message:
-----------
[C2C] Add add-section-attr transformation
This also introduces the more general add-attributes utilities.
Commit: 08457e9c865571f9a682d9945348868761e6c125
https://github.com/acl2/acl2/commit/08457e9c865571f9a682d9945348868761e6c125
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/c/transformation/utilities/add-attributes.lisp
Changed paths:
Log Message:
-----------
XDOC typo
https://github.com/acl2/acl2/commit/84d70e79290a0a817ccce18d56305869376bf480
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)
Changed paths:
M books/kestrel/axe/translate-dag-to-stp.lisp
Changed paths:
M books/kestrel/axe/translate-dag-to-stp.lisp
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/tests/output-files.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
A books/kestrel/c/transformation/add-section-attr-doc.lisp
A books/kestrel/c/transformation/add-section-attr.lisp
M books/kestrel/c/transformation/command-line/wrappers.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
A books/kestrel/c/transformation/add-section-attr-doc.lisp
A books/kestrel/c/transformation/add-section-attr.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
A books/kestrel/c/transformation/tests/add-section-attr/.gitignore
A books/kestrel/c/transformation/tests/add-section-attr/acl2-customization.lsp
A books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/cert.acl2
A books/kestrel/c/transformation/tests/add-section-attr/test1.c
A books/kestrel/c/transformation/tests/add-section-attr/test2.c
A books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/top.lisp
A books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
A books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/top.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/kestrel/fty/deffold-map-doc.lisp
M books/kestrel/fty/deffold-map.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
A books/kestrel/c/transformation/tests/add-section-attr/.gitignore
A books/kestrel/c/transformation/tests/add-section-attr/acl2-customization.lsp
A books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/cert.acl2
A books/kestrel/c/transformation/tests/add-section-attr/test1.c
A books/kestrel/c/transformation/tests/add-section-attr/test2.c
A books/kestrel/c/transformation/tests/add-section-attr/test3.c
M books/kestrel/c/transformation/top.lisp
A books/kestrel/c/transformation/utilities/add-attributes.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
A books/kestrel/c/transformation/utilities/qualified-ident.lisp
M books/kestrel/c/transformation/utilities/top.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/kestrel/fty/deffold-map-doc.lisp
M books/kestrel/fty/deffold-map.lisp
M books/kestrel/utilities/run-json-command.lisp
Log Message:
-----------
Merge commit '5bce3ca19bc16462c08aeea29ce5a10914e19bd0' into HEAD
Log Message:
-----------
Compare: https://github.com/acl2/acl2/compare/73c417ec3457...84d70e79290a
acl2buildserver
Feb 3, 2026, 7:17:36 PM (7 days ago) Feb 3
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages