[acl2/acl2] 80dd09: [C$] Remove outdated doc..

[acl2buildserver]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 80dd0901b42fa76f5f1b64c4a8e7ab3a8cad4168
https://github.com/acl2/acl2/commit/80dd0901b42fa76f5f1b64c4a8e7ab3a8cad4168
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp

Log Message:
-----------
[C$] Remove outdated doc..


Commit: 4839122ead0a91179128d94a188d3346907b6bbd
https://github.com/acl2/acl2/commit/4839122ead0a91179128d94a188d3346907b6bbd
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp

Log Message:
-----------
[C$] Tweak book inclusion order.

Rationale: first include books from current or sibling library via relative
paths, then from other libraries via `:dir :system` paths, then local
inclusions, finally set the controlled configuraion.


Commit: d1dd38b6f3503d5045faa127f192086fa327b241
https://github.com/acl2/acl2/commit/d1dd38b6f3503d5045faa127f192086fa327b241
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
A books/std/omaps/from-alist.lisp
A books/std/omaps/from-lists.lisp
M books/std/omaps/top.lisp

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


Commit: dd62b342b8ac6c3f85c3fe4fd56236e3fa694dce
https://github.com/acl2/acl2/commit/dd62b342b8ac6c3f85c3fe4fd56236e3fa694dce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/grammar/all.abnf
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/unambiguity.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/simpadd0.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp

Log Message:
-----------
[C$] Add support for GCC statement attributes.


Commit: d0bab51550952c3048df522936c05a2a5fb67b38
https://github.com/acl2/acl2/commit/d0bab51550952c3048df522936c05a2a5fb67b38
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/grammar/all.abnf
M books/kestrel/c/syntax/implementation-environments.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/unambiguity.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/simpadd0.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp

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


Compare: https://github.com/acl2/acl2/compare/b4df8fad9fe1...d0bab5155095

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

[acl2buildserver]

Branch: refs/heads/testing