[acl2/acl2] bcb905: [C$] Add support for `_Float16` and `_Float16x` (G...

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: bcb9052b0bc18e389bf31b7eb8c333481697856f
https://github.com/acl2/acl2/commit/bcb9052b0bc18e389bf31b7eb8c333481697856f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-24 (Wed, 24 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/keywords.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/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.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 `_Float16` and `_Float16x` (GCC extensions).


Commit: 1fec9704b63f8b59b01bd48e63e8bc7af4cfb2da
https://github.com/acl2/acl2/commit/1fec9704b63f8b59b01bd48e63e8bc7af4cfb2da
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-24 (Wed, 24 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/grammar.abnf
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/lexer.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Add support for GCC floating suffixes.


Compare: https://github.com/acl2/acl2/compare/1fc1a75e6a1c...1fec9704b63f

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel

[Alessandro Coglio]

Branch: refs/heads/testing