[acl2/acl2] ae74fa: [C$] Make some doc more precise.

[acl2buildserver]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: ae74fae4b052451567eebbb667c4409d9305120e
https://github.com/acl2/acl2/commit/ae74fae4b052451567eebbb667c4409d9305120e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp

Log Message:
-----------
[C$] Make some doc more precise.


Commit: 18677beeac40b0c20d0359db37c8c6c765ca8fe4
https://github.com/acl2/acl2/commit/18677beeac40b0c20d0359db37c8c6c765ca8fe4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp

Log Message:
-----------
[C$] Fix bug in disambiguator.

There was a missing check for turning function parameter declarators to function
name declarators (in C17).

Thanks to Grant Jurgensen for running the disambiguator on an example that led
to the discovery of the bug.


Commit: a9542c5a8cdb80ba5f46cd8f391cf35555943178
https://github.com/acl2/acl2/commit/a9542c5a8cdb80ba5f46cd8f391cf35555943178
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp

Log Message:
-----------
[C$] Add a disambiguator test.

This demonstrates the fix in the previous commit.


Commit: 094e32b11c33042bf8cf7682d0d767c9c4d99671
https://github.com/acl2/acl2/commit/094e32b11c33042bf8cf7682d0d767c9c4d99671
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/tests/validator.lisp

Log Message:
-----------
[C$] Add a validator test.

This was failing prior to the disambiguator fix in the commit before the
previous one.


Commit: 242105ca416a13d790b5b286d732af4c3498e36f
https://github.com/acl2/acl2/commit/242105ca416a13d790b5b286d732af4c3498e36f
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-17 (Wed, 17 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp
M books/kestrel/c/syntax/tests/validator.lisp

Log Message:
-----------
Merge commit '094e32b11c33042bf8cf7682d0d767c9c4d99671' into HEAD


Compare: https://github.com/acl2/acl2/compare/3248d27c6d04...242105ca416a

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

[acl2buildserver]

Branch: refs/heads/testing