[acl2/acl2] 26f5e2: [C$] Add include to preprocessor test
0 views
Skip to first unread message
Grant Jurgensen
Dec 22, 2025, 2:26:48 PM (2 days ago) Dec 22
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 26f5e2a3cc9599f1e4f7167451b96ae183ee48bb
https://github.com/acl2/acl2/commit/26f5e2a3cc9599f1e4f7167451b96ae183ee48bb
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-12-22 (Mon, 22 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/tests/preprocessor.lisp
Log Message:
-----------
[C$] Add include to preprocessor test
The definition of ienv-default has been moved to input-files.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 26f5e2a3cc9599f1e4f7167451b96ae183ee48bb
https://github.com/acl2/acl2/commit/26f5e2a3cc9599f1e4f7167451b96ae183ee48bb
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-12-22 (Mon, 22 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/tests/preprocessor.lisp
Log Message:
-----------
[C$] Add include to preprocessor test
The definition of ienv-default has been moved to input-files.
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