[acl2/acl2] 84da6c: [C$] Add :unknown-builtin type

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 84da6ce4be738014f8973db71a203faa888f107d
https://github.com/acl2/acl2/commit/84da6ce4be738014f8973db71a203faa888f107d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/types-formal-subset-and-mapping.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------
[C$] Add :unknown-builtin type



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

[Grant Jurgensen]

Branch: refs/heads/master

[acl2buildserver]

Branch: refs/heads/testing

Home: https://github.com/acl2/acl2
Commit: 84da6ce4be738014f8973db71a203faa888f107d
https://github.com/acl2/acl2/commit/84da6ce4be738014f8973db71a203faa888f107d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/types-formal-subset-and-mapping.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------
[C$] Add :unknown-builtin type

Commit: 703070e6f1dfbbb62de0f8d7d2d4b326f422c264
https://github.com/acl2/acl2/commit/703070e6f1dfbbb62de0f8d7d2d4b326f422c264
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/null-pointer-constants.lisp
M books/kestrel/c/syntax/types-formal-subset-and-mapping.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------

Merge commit '84da6ce4be738014f8973db71a203faa888f107d' into HEAD


Compare: https://github.com/acl2/acl2/compare/fb3eed579f18...703070e6f1df