[acl2/acl2] 387ce8: [C examples] Fix doc comment.

unread,

Apr 15, 2026, 7:10:02 PM (2 days ago) Apr 15

to acl2-...@googlegroups.com

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 387ce8610fc085d56a568d8992113a3bb56eb757
https://github.com/acl2/acl2/commit/387ce8610fc085d56a568d8992113a3bb56eb757
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/c/examples/strcpy-safe.lisp

Log Message:
-----------
[C examples] Fix doc comment.

Commit: 8fa1e264433dd195e953839627527f20c149c3eb
https://github.com/acl2/acl2/commit/8fa1e264433dd195e953839627527f20c149c3eb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/c/examples/strcpy-safe.lisp

Log Message:
-----------
[C exmaples] Fix doc comment.

Commit: 4ec11edb33ac0e696b4a7969561c8e724ca72706
https://github.com/acl2/acl2/commit/4ec11edb33ac0e696b4a7969561c8e724ca72706
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/c/examples/strcpy-safe-induction.lisp

Log Message:
-----------
[C safe strcpy] Start a more general proof.

Compare: https://github.com/acl2/acl2/compare/34614fd7528e...4ec11edb33ac

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

unread,

Apr 15, 2026, 7:13:57 PM (2 days ago) Apr 15

to acl2-...@googlegroups.com

Branch: refs/heads/master

unread,

Apr 15, 2026, 7:14:40 PM (2 days ago) Apr 15

to acl2-...@googlegroups.com

Branch: refs/heads/testing

unread,

Apr 15, 2026, 7:30:56 PM (2 days ago) Apr 15

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel

Reply all

Reply to author

Forward