[acl2/acl2] cc1a20: [primes] add koala-bear.lisp to top.lisp
0 views
Skip to first unread message
Eric McCarthy
Dec 21, 2025, 3:33:39 PM (3 days ago) Dec 21
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
https://github.com/acl2/acl2/commit/cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-21 (Sun, 21 Dec 2025)
Changed paths:
M books/kestrel/crypto/primes/top.lisp
Log Message:
-----------
[primes] add koala-bear.lisp to top.lisp
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
https://github.com/acl2/acl2/commit/cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-21 (Sun, 21 Dec 2025)
Changed paths:
M books/kestrel/crypto/primes/top.lisp
Log Message:
-----------
[primes] add koala-bear.lisp to top.lisp
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
acl2buildserver
Dec 21, 2025, 4:33:35 PM (3 days ago) Dec 21
to acl2-...@googlegroups.com
Branch: refs/heads/master
https://github.com/acl2/acl2/commit/b454c15e1f1c7e3e03791a1ccccd0d9998833804
Author: ACL2 Build Server <acl2bui...@gmail.com>
Compare: https://github.com/acl2/acl2/compare/0182a912e6a2...b454c15e1f1c
Home: https://github.com/acl2/acl2
Commit: cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
https://github.com/acl2/acl2/commit/cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-21 (Sun, 21 Dec 2025)
Changed paths:
M books/kestrel/crypto/primes/top.lisp
Log Message:
-----------
[primes] add koala-bear.lisp to top.lisp
Commit: b454c15e1f1c7e3e03791a1ccccd0d9998833804
Commit: cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
https://github.com/acl2/acl2/commit/cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-21 (Sun, 21 Dec 2025)
Changed paths:
M books/kestrel/crypto/primes/top.lisp
Log Message:
-----------
[primes] add koala-bear.lisp to top.lisp
https://github.com/acl2/acl2/commit/b454c15e1f1c7e3e03791a1ccccd0d9998833804
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-12-21 (Sun, 21 Dec 2025)
Changed paths:
M books/kestrel/crypto/primes/top.lisp
Log Message:
-----------
Merge commit 'cc1a20aedb40b2efe1ac176cca8fd05f6d95a1c7' into HEAD
Changed paths:
M books/kestrel/crypto/primes/top.lisp
Log Message:
-----------
Compare: https://github.com/acl2/acl2/compare/0182a912e6a2...b454c15e1f1c
acl2buildserver
Dec 21, 2025, 4:34:41 PM (3 days ago) Dec 21
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages