[acl2/acl2] 74be59: [C2C] Re-validate after STS transformation

[Grant Jurgensen]

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

Changed paths:
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp

Log Message:
-----------
[C2C] Re-validate after STS transformation



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

[Grant Jurgensen]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing