[acl2/acl2] aec971: [C2C] Add missing space in doc.

[Eric W. Smith]

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

Changed paths:
M books/kestrel/c/transformation/simpadd0-doc.lisp

Log Message:
-----------
[C2C] Add missing space in doc.


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

Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/preprocessor-evaluator.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp
A books/kestrel/c/syntax/tests/conditional.c
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-reader.lisp
A books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
M books/kestrel/c/syntax/tests/preprocessor.lisp
A books/projects/hol-in-acl2/acl2/hpp-set.lisp
R books/projects/hol-in-acl2/acl2/set-of-hol-values.lisp

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


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

Changed paths:
M books/kestrel/json-parser/parsed-json.lisp

Log Message:
-----------
[json-parser] Add some operations on parsed-json-objects.


Commit: 3c075a8dbd16130a6f78ffbcd44f830c5dde764a
https://github.com/acl2/acl2/commit/3c075a8dbd16130a6f78ffbcd44f830c5dde764a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
M books/kestrel/c/transformation/add-section-attr-doc.lisp
M books/kestrel/c/transformation/tests/add-section-attr/add-section-attr.lisp

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


Commit: 06e787f9bf93330206699045d6281e5a0d819ef6
https://github.com/acl2/acl2/commit/06e787f9bf93330206699045d6281e5a0d819ef6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:
A books/kestrel/c/transformation/command-line/tests/add-section-attr.json
A books/kestrel/c/transformation/command-line/tests/input-files/file10.c
A books/kestrel/c/transformation/command-line/tests/input-files/file9.c
M books/kestrel/c/transformation/command-line/tests/run-tests.sh
M books/kestrel/c/transformation/command-line/wrappers.lisp

Log Message:
-----------
[C2C] Add command-line wrapper for add-section-attr transformation.


Compare: https://github.com/acl2/acl2/compare/ec5ec43bc871...06e787f9bf93

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

[Eric W. Smith]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing

Commit: 91cd0157442919f30af9f7ad74a7ada0c199d9af
https://github.com/acl2/acl2/commit/91cd0157442919f30af9f7ad74a7ada0c199d9af
Author: Grant Jurgensen <gr...@jurgensen.dev>

Date: 2026-02-05 (Thu, 05 Feb 2026)

Changed paths:

A books/kestrel/c/transformation/command-line/tests/add-section-attr2.json
A books/kestrel/c/transformation/command-line/tests/input-files/file11.c
M books/kestrel/c/transformation/command-line/tests/run-tests.sh

Log Message:
-----------
[C2C] Add a command-line add-section-attr test


Compare: https://github.com/acl2/acl2/compare/ec5ec43bc871...91cd01574429