[acl2/acl2] 73dca0: [C$] Add some comments about GCC/MSVC extensions.
0 views
Skip to first unread message
Alessandro Coglio
May 27, 2026, 2:15:35 AM (6 days ago) May 27
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 73dca0056b442bbfbd1b67e0ceaa2774447ccec9
https://github.com/acl2/acl2/commit/73dca0056b442bbfbd1b67e0ceaa2774447ccec9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
Log Message:
-----------
[C$] Add some comments about GCC/MSVC extensions.
As suggested by Grant Jurgensen.
Commit: 461c3aa999028359736925437a0d318c981331b8
https://github.com/acl2/acl2/commit/461c3aa999028359736925437a0d318c981331b8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
Log Message:
-----------
[C$] Improve preprocessor.
When the stand-alone re-preprocessing of an included file fails, in particular
for encountering a `#error` directive that is instead skipped when the included
file is preprocessed in the context of the including file, we should regard that
`#include` directive as not being preservable, instead of ignoring errors.
Commit: 0b063f85de99aa8b5f57c06b0d9bc1085e6c4a62
https://github.com/acl2/acl2/commit/0b063f85de99aa8b5f57c06b0d9bc1085e6c4a62
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/atc/statement-generation.lisp
Log Message:
-----------
Merge.
Commit: 25896c02fb1fc4e3186ef8c3edaeefd39b8f6597
https://github.com/acl2/acl2/commit/25896c02fb1fc4e3186ef8c3edaeefd39b8f6597
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/tokens.abnf
Log Message:
-----------
[C$] Factor out grammar rules for tokens.
Commit: 3678e5d23c118787155d0101bea57ddbc1e968ff
https://github.com/acl2/acl2/commit/3678e5d23c118787155d0101bea57ddbc1e968ff
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/lexemes.abnf
Log Message:
-----------
[C$] Factor out grammar rule for lexemes.
Commit: 643fbfad801672e5375eaae071956a61f7c6943c
https://github.com/acl2/acl2/commit/643fbfad801672e5375eaae071956a61f7c6943c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/stringization.lisp
Log Message:
-----------
[C$] Improve fixtype of preprocessor lexemes.
Use a more precise type for the `:other` summand.
Commit: df36aedd9234c53070ee144b0120fb667109fb78
https://github.com/acl2/acl2/commit/df36aedd9234c53070ee144b0120fb667109fb78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/stringization.lisp
Log Message:
-----------
Merge.
Commit: 9bfa39df33992ea198bdcb6471b8f485d3e444c1
https://github.com/acl2/acl2/commit/9bfa39df33992ea198bdcb6471b8f485d3e444c1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Add and populate a disambiguator state component.
This tracks the identifiers that follow `goto`s that are re-classified from
label identifiers to expression identifiers. The set stays empty unless GCC or
Clang extensions are enabled (and some re-classification happens).
Compare: https://github.com/acl2/acl2/compare/60461a4e044f...9bfa39df3399
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 73dca0056b442bbfbd1b67e0ceaa2774447ccec9
https://github.com/acl2/acl2/commit/73dca0056b442bbfbd1b67e0ceaa2774447ccec9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
Log Message:
-----------
[C$] Add some comments about GCC/MSVC extensions.
As suggested by Grant Jurgensen.
Commit: 461c3aa999028359736925437a0d318c981331b8
https://github.com/acl2/acl2/commit/461c3aa999028359736925437a0d318c981331b8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
Log Message:
-----------
[C$] Improve preprocessor.
When the stand-alone re-preprocessing of an included file fails, in particular
for encountering a `#error` directive that is instead skipped when the included
file is preprocessed in the context of the including file, we should regard that
`#include` directive as not being preservable, instead of ignoring errors.
Commit: 0b063f85de99aa8b5f57c06b0d9bc1085e6c4a62
https://github.com/acl2/acl2/commit/0b063f85de99aa8b5f57c06b0d9bc1085e6c4a62
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/atc/statement-generation.lisp
Log Message:
-----------
Merge.
Commit: 25896c02fb1fc4e3186ef8c3edaeefd39b8f6597
https://github.com/acl2/acl2/commit/25896c02fb1fc4e3186ef8c3edaeefd39b8f6597
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/tokens.abnf
Log Message:
-----------
[C$] Factor out grammar rules for tokens.
Commit: 3678e5d23c118787155d0101bea57ddbc1e968ff
https://github.com/acl2/acl2/commit/3678e5d23c118787155d0101bea57ddbc1e968ff
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/lexemes.abnf
Log Message:
-----------
[C$] Factor out grammar rule for lexemes.
Commit: 643fbfad801672e5375eaae071956a61f7c6943c
https://github.com/acl2/acl2/commit/643fbfad801672e5375eaae071956a61f7c6943c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/stringization.lisp
Log Message:
-----------
[C$] Improve fixtype of preprocessor lexemes.
Use a more precise type for the `:other` summand.
Commit: df36aedd9234c53070ee144b0120fb667109fb78
https://github.com/acl2/acl2/commit/df36aedd9234c53070ee144b0120fb667109fb78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/stringization.lisp
Log Message:
-----------
Merge.
Commit: 9bfa39df33992ea198bdcb6471b8f485d3e444c1
https://github.com/acl2/acl2/commit/9bfa39df33992ea198bdcb6471b8f485d3e444c1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Add and populate a disambiguator state component.
This tracks the identifiers that follow `goto`s that are re-classified from
label identifiers to expression identifiers. The set stays empty unless GCC or
Clang extensions are enabled (and some re-classification happens).
Compare: https://github.com/acl2/acl2/compare/60461a4e044f...9bfa39df3399
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Alessandro Coglio
May 27, 2026, 2:16:36 AM (6 days ago) May 27
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Alessandro Coglio
May 27, 2026, 11:26:14 AM (5 days ago) May 27
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Commit: a01ab5f359d632c9671f701f2e3cc242707686a0
https://github.com/acl2/acl2/commit/a01ab5f359d632c9671f701f2e3cc242707686a0
Log Message:
-----------
[C$] Fix typo in doc.
Commit: 5a8eb857c3d77bdfeef6e028b9d688b6eb50e018
https://github.com/acl2/acl2/commit/5a8eb857c3d77bdfeef6e028b9d688b6eb50e018
Log Message:
-----------
[C$] Trim superfluous doc.
Commit: bc995e4a67cf89920fa1c6944803f902ac50e25c
https://github.com/acl2/acl2/commit/bc995e4a67cf89920fa1c6944803f902ac50e25c
Log Message:
-----------
[C$] Improve some doc.
Commit: 0f56681c7554e299baafda758f8935215cdce7ce
https://github.com/acl2/acl2/commit/0f56681c7554e299baafda758f8935215cdce7ce
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/stringization.lisp
Compare: https://github.com/acl2/acl2/compare/60461a4e044f...0f56681c7554
https://github.com/acl2/acl2/commit/a01ab5f359d632c9671f701f2e3cc242707686a0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/evaluation.lisp
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
Log Message:
-----------
[C$] Fix typo in doc.
Commit: 5a8eb857c3d77bdfeef6e028b9d688b6eb50e018
https://github.com/acl2/acl2/commit/5a8eb857c3d77bdfeef6e028b9d688b6eb50e018
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
Log Message:
-----------
[C$] Trim superfluous doc.
Commit: bc995e4a67cf89920fa1c6944803f902ac50e25c
https://github.com/acl2/acl2/commit/bc995e4a67cf89920fa1c6944803f902ac50e25c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
Log Message:
-----------
[C$] Improve some doc.
Commit: 0f56681c7554e299baafda758f8935215cdce7ce
https://github.com/acl2/acl2/commit/0f56681c7554e299baafda758f8935215cdce7ce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Date: 2026-05-26 (Tue, 26 May 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/lexemes.abnf
A books/kestrel/c/syntax/grammar/tokens.abnf
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/lexemes.abnf
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/stringization.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
Log Message:
-----------
Merge.
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
Log Message:
-----------
Compare: https://github.com/acl2/acl2/compare/60461a4e044f...0f56681c7554
Reply all
Reply to author
Forward
0 new messages