[acl2/acl2] aae039: [C2C] Improve comment.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: aae0394218ffbda9bcabe01b67b673518295540e
https://github.com/acl2/acl2/commit/aae0394218ffbda9bcabe01b67b673518295540e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/command-line/transform-c.lisp

Log Message:
-----------
[C2C] Improve comment.


Commit: 71cca297c2e1eb253a46e35307c0b8319c6fd4bb
https://github.com/acl2/acl2/commit/71cca297c2e1eb253a46e35307c0b8319c6fd4bb
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] Change how we translate JSON's null to an ACL2 value.

Now it becomes the keyword :null, to distinguish it from nil, which is how we translate JSON's false value.


Commit: b1ceceed137028b1caf01bd1be8d4d10c1af6d0e
https://github.com/acl2/acl2/commit/b1ceceed137028b1caf01bd1be8d4d10c1af6d0e
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-03 (Tue, 03 Feb 2026)

Changed paths:
M books/std/util/defaggregate.lisp
M books/std/util/tests/defaggregate.lisp

Log Message:
-----------
Merge.


Commit: 73cfe6e0fdb9c9d81d6b24b7c0c3950e941cb500
https://github.com/acl2/acl2/commit/73cfe6e0fdb9c9d81d6b24b7c0c3950e941cb500
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-04 (Wed, 04 Feb 2026)

Changed paths:
A books/kestrel/arm/top.lisp
M books/kestrel/top.lisp

Log Message:
-----------
Merge.


Commit: c63fcecb31cbb6478102c6cd9fa61e6fca2a711b
https://github.com/acl2/acl2/commit/c63fcecb31cbb6478102c6cd9fa61e6fca2a711b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-04 (Wed, 04 Feb 2026)

Changed paths:
M books/kestrel/axe/imported-symbols.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/lifter2.lisp
M books/kestrel/axe/jvm/unroller.lisp
M books/kestrel/axe/jvm/unroller2.lisp
M books/kestrel/axe/lifter-common.lisp
M books/kestrel/axe/risc-v/unroller.lisp
R books/kestrel/axe/x86/evaluator-x86.acl2
M books/kestrel/axe/x86/evaluator-x86.lisp
A books/kestrel/axe/x86/lifter-support.lisp
M books/kestrel/axe/x86/loop-lifter.lisp
M books/kestrel/axe/x86/top.lisp
M books/kestrel/axe/x86/unroller.lisp
M books/kestrel/utilities/redundancy.lisp
M books/kestrel/x86/tools/lifter-support.lisp
M books/kestrel/x86/tools/unroll-x86-code-old.lisp
R books/kestrel/x86/x86-changes.acl2
M books/kestrel/x86/x86-changes.lisp

Log Message:
-----------
Merge.


Commit: 4c26145746407b96922b06cadd3367946b777f54
https://github.com/acl2/acl2/commit/4c26145746407b96922b06cadd3367946b777f54
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-04 (Wed, 04 Feb 2026)

Changed paths:
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/add-section-attr-doc.lisp
M books/kestrel/c/transformation/add-section-attr.lisp
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp
A books/kestrel/c/transformation/tests/add-section-attr/external-foo.c
A books/kestrel/c/transformation/tests/add-section-attr/internal-foo.c
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/qualified-ident.lisp

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/341173cf7808...4c2614574640

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

[acl2buildserver]

Branch: refs/heads/master

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

Date: 2026-02-04 (Wed, 04 Feb 2026)

Changed paths:

M books/kestrel/c/transformation/command-line/transform-c.lisp

M books/kestrel/utilities/run-json-command.lisp

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

Merge commit '4c26145746407b96922b06cadd3367946b777f54' into HEAD


Compare: https://github.com/acl2/acl2/compare/1c31d98cf7eb...2a987aece106

[acl2buildserver]

Branch: refs/heads/testing