[acl2/acl2] c37583: [C2C] Fix missing parents

0 views

Skip to first unread message

unread,

May 3, 2026, 8:21:49 PM (4 days ago) May 3

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c37583797e28a4ea6e0ad45175f0a587866819ce
https://github.com/acl2/acl2/commit/c37583797e28a4ea6e0ad45175f0a587866819ce
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-05-03 (Sun, 03 May 2026)

Changed paths:
M books/kestrel/c/transformation/split-gso.lisp

Log Message:
-----------
[C2C] Fix missing parents

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