[acl2/acl2] 88e692: [C$] Fix some C23 grammar rules for graphic charac...
0 views
Skip to first unread message
Alessandro Coglio
May 31, 2026, 11:46:23 PM (15 hours ago) May 31
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 88e6920ee7f979fd875e67eb1e9c4d03b87d5f68
https://github.com/acl2/acl2/commit/88e6920ee7f979fd875e67eb1e9c4d03b87d5f68
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/characters-c23.abnf
Log Message:
-----------
[C$] Fix some C23 grammar rules for graphic characters.
The "graphic character except ..." rules failed to include the characters added
by C23 over C17.
Commit: 5dc5b0ad82d84b10ec3fb0c4fd808e00dffbcfad
https://github.com/acl2/acl2/commit/5dc5b0ad82d84b10ec3fb0c4fd808e00dffbcfad
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/floating-constants-c17-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-gcc.abnf
Log Message:
-----------
[C$] Fix grammar rules for GCC floating suffixes.
The `x` should be optional.
Commit: 54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
https://github.com/acl2/acl2/commit/54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/remora/parser-interface.lisp
Log Message:
-----------
[remora] move CST producers to beginning of file and add parse-program-to-cst
Commit: 32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
https://github.com/acl2/acl2/commit/32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
[remora] improve rule structures for type-var and ispace-var
Commit: 51109af2917decd6d1f986857836826bd5ea6f38
https://github.com/acl2/acl2/commit/51109af2917decd6d1f986857836826bd5ea6f38
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c23.abnf
Log Message:
-----------
[C$] Add missing alternative to grammar rule.
Commit: 1fb7e4bdc230ff6361b1120f2e1303c7655327d2
https://github.com/acl2/acl2/commit/1fb7e4bdc230ff6361b1120f2e1303c7655327d2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
Log Message:
-----------
[C$] Fix C23 grammar rule for warning directives.
Commit: cd6d35a6e3c29093eac5315e88ebab0d1af38800
https://github.com/acl2/acl2/commit/cd6d35a6e3c29093eac5315e88ebab0d1af38800
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c23.abnf
Log Message:
-----------
[C$] Fix some doc.
Commit: 2495e78a9e2e62cc8b50dca6120142cf671cda92
https://github.com/acl2/acl2/commit/2495e78a9e2e62cc8b50dca6120142cf671cda92
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
Log Message:
-----------
[C$] Improve file layout.
Commit: 21a9dafdd6d64b49ed2902b6167de388916aad95
https://github.com/acl2/acl2/commit/21a9dafdd6d64b49ed2902b6167de388916aad95
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/preprocessing-directives-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
Log Message:
-----------
[C$] Improve grammar organization.
Commit: 4497750e0cc38e1a8415a15a8f8aef68e5f935d1
https://github.com/acl2/acl2/commit/4497750e0cc38e1a8415a15a8f8aef68e5f935d1
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp
Log Message:
-----------
Added guard of (symbolp fn) to (tau-data fn).
Quoting :DOC note-8-8:
The macro [tau-data] now has a guard requiring its argument to be a
symbol. Thanks to Jerome Dubois and Eric Smith for a Zulip
discussion leading to this change.
Also thanks to J for helpful comments.
Commit: f7d269746f34cbffafe8f09fd143800bfd7eaa23
https://github.com/acl2/acl2/commit/f7d269746f34cbffafe8f09fd143800bfd7eaa23
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/dynamic-values.lisp
Log Message:
-----------
[Remora] Add two result fixtypes.
Commit: ba9d0086aa50a0a70d1bbb20dd15f90299195706
https://github.com/acl2/acl2/commit/ba9d0086aa50a0a70d1bbb20dd15f90299195706
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Add a fixtype result.
Commit: 3ad03783c1082981b3d2f4f1957a6c78ae65a773
https://github.com/acl2/acl2/commit/3ad03783c1082981b3d2f4f1957a6c78ae65a773
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Start evaluation of expressions.
Commit: 4fff79edb8f6c9f43890b1027fb8916a133e665d
https://github.com/acl2/acl2/commit/4fff79edb8f6c9f43890b1027fb8916a133e665d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Add evaluation of variables.
Commit: 85494f73ac3214983584d98c6167ae51ec660a1a
https://github.com/acl2/acl2/commit/85494f73ac3214983584d98c6167ae51ec660a1a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Add evaluation of atom expressions.
Commit: f669fa1d29bebc3eaa6ae0b4c44b202ad501b1e3
https://github.com/acl2/acl2/commit/f669fa1d29bebc3eaa6ae0b4c44b202ad501b1e3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Add evaluation of base atoms.
Commit: 58c79b12b44cfb5c6bfc2b8d183085a7a922f1b7
https://github.com/acl2/acl2/commit/58c79b12b44cfb5c6bfc2b8d183085a7a922f1b7
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
A books/kestrel/c/syntax/abstract-syntax-formal-mapping-direct.lisp
A books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
A books/kestrel/c/syntax/abstract-syntax-formal-subset.lisp
R books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/implementation-environments.lisp
R books/kestrel/c/syntax/langdef-mapping-inverse.lisp
R books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validation-tables.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/fty/string-set.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-values.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/package.lsp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bit.lisp
R books/projects/x86isa/machine/instructions/fp/bitscan.lisp
M books/projects/x86isa/machine/instructions/fp/top.lisp
M books/projects/x86isa/utils/paging-structures.lisp
M books/projects/x86isa/utils/segmentation-structures.lisp
M books/projects/x86isa/utils/utilities.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp
Log Message:
-----------
Merge.
Commit: fcd6362defbe51033d4686a542d8f2dca98c691d
https://github.com/acl2/acl2/commit/fcd6362defbe51033d4686a542d8f2dca98c691d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/expressions-c17-ext.abnf
A books/kestrel/c/syntax/grammar/expressions-c17-noext.abnf
A books/kestrel/c/syntax/grammar/expressions-c23-ext.abnf
A books/kestrel/c/syntax/grammar/expressions-c23-noext.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
R books/kestrel/c/syntax/grammar/expressions-std.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
Log Message:
-----------
[C$] Improve organization of grammar for expressions.
Commit: 27fa40af271fdb1edeaffba1850d291a5521a255
https://github.com/acl2/acl2/commit/27fa40af271fdb1edeaffba1850d291a5521a255
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/expressions-c17-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-c17-noext.abnf
A books/kestrel/c/syntax/grammar/expressions-c17.abnf
M books/kestrel/c/syntax/grammar/expressions-c23-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-c23-noext.abnf
A books/kestrel/c/syntax/grammar/expressions-c23.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
Log Message:
-----------
[C$] Extend/improve grammar rules for postfix expressions.
Compare: https://github.com/acl2/acl2/compare/23998caf4cad...27fa40af271f
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 88e6920ee7f979fd875e67eb1e9c4d03b87d5f68
https://github.com/acl2/acl2/commit/88e6920ee7f979fd875e67eb1e9c4d03b87d5f68
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/characters-c23.abnf
Log Message:
-----------
[C$] Fix some C23 grammar rules for graphic characters.
The "graphic character except ..." rules failed to include the characters added
by C23 over C17.
Commit: 5dc5b0ad82d84b10ec3fb0c4fd808e00dffbcfad
https://github.com/acl2/acl2/commit/5dc5b0ad82d84b10ec3fb0c4fd808e00dffbcfad
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/floating-constants-c17-gcc.abnf
M books/kestrel/c/syntax/grammar/floating-constants-c23-gcc.abnf
Log Message:
-----------
[C$] Fix grammar rules for GCC floating suffixes.
The `x` should be optional.
Commit: 54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
https://github.com/acl2/acl2/commit/54aa33ddec0af630140eeb1f17b40cdcbdfc24f5
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/remora/parser-interface.lisp
Log Message:
-----------
[remora] move CST producers to beginning of file and add parse-program-to-cst
Commit: 32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
https://github.com/acl2/acl2/commit/32602c488ec07e7652d4f4c8cca7ee8f2ca6338f
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
[remora] improve rule structures for type-var and ispace-var
Commit: 51109af2917decd6d1f986857836826bd5ea6f38
https://github.com/acl2/acl2/commit/51109af2917decd6d1f986857836826bd5ea6f38
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/preprocessing-expressions-c23.abnf
Log Message:
-----------
[C$] Add missing alternative to grammar rule.
Commit: 1fb7e4bdc230ff6361b1120f2e1303c7655327d2
https://github.com/acl2/acl2/commit/1fb7e4bdc230ff6361b1120f2e1303c7655327d2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
Log Message:
-----------
[C$] Fix C23 grammar rule for warning directives.
Commit: cd6d35a6e3c29093eac5315e88ebab0d1af38800
https://github.com/acl2/acl2/commit/cd6d35a6e3c29093eac5315e88ebab0d1af38800
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/preprocessing-numbers-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-tokens-c23.abnf
Log Message:
-----------
[C$] Fix some doc.
Commit: 2495e78a9e2e62cc8b50dca6120142cf671cda92
https://github.com/acl2/acl2/commit/2495e78a9e2e62cc8b50dca6120142cf671cda92
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
Log Message:
-----------
[C$] Improve file layout.
Commit: 21a9dafdd6d64b49ed2902b6167de388916aad95
https://github.com/acl2/acl2/commit/21a9dafdd6d64b49ed2902b6167de388916aad95
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-30 (Sat, 30 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar/preprocessing-directives-c23.abnf
M books/kestrel/c/syntax/grammar/preprocessing-directives.abnf
Log Message:
-----------
[C$] Improve grammar organization.
Commit: 4497750e0cc38e1a8415a15a8f8aef68e5f935d1
https://github.com/acl2/acl2/commit/4497750e0cc38e1a8415a15a8f8aef68e5f935d1
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp
Log Message:
-----------
Added guard of (symbolp fn) to (tau-data fn).
Quoting :DOC note-8-8:
The macro [tau-data] now has a guard requiring its argument to be a
symbol. Thanks to Jerome Dubois and Eric Smith for a Zulip
discussion leading to this change.
Also thanks to J for helpful comments.
Commit: f7d269746f34cbffafe8f09fd143800bfd7eaa23
https://github.com/acl2/acl2/commit/f7d269746f34cbffafe8f09fd143800bfd7eaa23
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/dynamic-values.lisp
Log Message:
-----------
[Remora] Add two result fixtypes.
Commit: ba9d0086aa50a0a70d1bbb20dd15f90299195706
https://github.com/acl2/acl2/commit/ba9d0086aa50a0a70d1bbb20dd15f90299195706
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Add a fixtype result.
Commit: 3ad03783c1082981b3d2f4f1957a6c78ae65a773
https://github.com/acl2/acl2/commit/3ad03783c1082981b3d2f4f1957a6c78ae65a773
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Start evaluation of expressions.
Commit: 4fff79edb8f6c9f43890b1027fb8916a133e665d
https://github.com/acl2/acl2/commit/4fff79edb8f6c9f43890b1027fb8916a133e665d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Add evaluation of variables.
Commit: 85494f73ac3214983584d98c6167ae51ec660a1a
https://github.com/acl2/acl2/commit/85494f73ac3214983584d98c6167ae51ec660a1a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Add evaluation of atom expressions.
Commit: f669fa1d29bebc3eaa6ae0b4c44b202ad501b1e3
https://github.com/acl2/acl2/commit/f669fa1d29bebc3eaa6ae0b4c44b202ad501b1e3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Add evaluation of base atoms.
Commit: 58c79b12b44cfb5c6bfc2b8d183085a7a922f1b7
https://github.com/acl2/acl2/commit/58c79b12b44cfb5c6bfc2b8d183085a7a922f1b7
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
A books/kestrel/c/syntax/abstract-syntax-formal-mapping-direct.lisp
A books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
A books/kestrel/c/syntax/abstract-syntax-formal-subset.lisp
R books/kestrel/c/syntax/formalized.lisp
M books/kestrel/c/syntax/implementation-environments.lisp
R books/kestrel/c/syntax/langdef-mapping-inverse.lisp
R books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/top.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validation-tables.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/fty/string-set.lisp
M books/kestrel/remora/abstract-syntax-variable-operations.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-values.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/package.lsp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bit.lisp
R books/projects/x86isa/machine/instructions/fp/bitscan.lisp
M books/projects/x86isa/machine/instructions/fp/top.lisp
M books/projects/x86isa/utils/paging-structures.lisp
M books/projects/x86isa/utils/segmentation-structures.lisp
M books/projects/x86isa/utils/utilities.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp
Log Message:
-----------
Merge.
Commit: fcd6362defbe51033d4686a542d8f2dca98c691d
https://github.com/acl2/acl2/commit/fcd6362defbe51033d4686a542d8f2dca98c691d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
A books/kestrel/c/syntax/grammar/expressions-c17-ext.abnf
A books/kestrel/c/syntax/grammar/expressions-c17-noext.abnf
A books/kestrel/c/syntax/grammar/expressions-c23-ext.abnf
A books/kestrel/c/syntax/grammar/expressions-c23-noext.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
R books/kestrel/c/syntax/grammar/expressions-std.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
Log Message:
-----------
[C$] Improve organization of grammar for expressions.
Commit: 27fa40af271fdb1edeaffba1850d291a5521a255
https://github.com/acl2/acl2/commit/27fa40af271fdb1edeaffba1850d291a5521a255
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/expressions-c17-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-c17-noext.abnf
A books/kestrel/c/syntax/grammar/expressions-c17.abnf
M books/kestrel/c/syntax/grammar/expressions-c23-ext.abnf
M books/kestrel/c/syntax/grammar/expressions-c23-noext.abnf
A books/kestrel/c/syntax/grammar/expressions-c23.abnf
M books/kestrel/c/syntax/grammar/expressions-ext.abnf
M books/kestrel/c/syntax/grammar/expressions.abnf
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
Log Message:
-----------
[C$] Extend/improve grammar rules for postfix expressions.
Compare: https://github.com/acl2/acl2/compare/23998caf4cad...27fa40af271f
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Reply all
Reply to author
Forward
0 new messages