[acl2/acl2] 943175: [utilities] Add a test of defstobj+
0 views
Skip to first unread message
Eric W. Smith
Mar 2, 2026, 4:59:55 PM (2 days ago) Mar 2
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 9431757cf3cc09f390fab06ca7b3a1115f744916
https://github.com/acl2/acl2/commit/9431757cf3cc09f390fab06ca7b3a1115f744916
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp
Log Message:
-----------
[utilities] Add a test of defstobj+
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 9431757cf3cc09f390fab06ca7b3a1115f744916
https://github.com/acl2/acl2/commit/9431757cf3cc09f390fab06ca7b3a1115f744916
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp
Log Message:
-----------
[utilities] Add a test of defstobj+
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
acl2buildserver
Mar 2, 2026, 5:01:22 PM (2 days ago) Mar 2
to acl2-...@googlegroups.com
Branch: refs/heads/master
https://github.com/acl2/acl2/commit/667172fb641cdde3748e2c98f57fc1f9230e4f50
Author: ACL2 Build Server <acl2bui...@gmail.com>
Compare: https://github.com/acl2/acl2/compare/0a918f5e2e9c...667172fb641c
Home: https://github.com/acl2/acl2
Commit: 9431757cf3cc09f390fab06ca7b3a1115f744916
https://github.com/acl2/acl2/commit/9431757cf3cc09f390fab06ca7b3a1115f744916
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp
Log Message:
-----------
[utilities] Add a test of defstobj+
Commit: 667172fb641cdde3748e2c98f57fc1f9230e4f50
Commit: 9431757cf3cc09f390fab06ca7b3a1115f744916
https://github.com/acl2/acl2/commit/9431757cf3cc09f390fab06ca7b3a1115f744916
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp
Log Message:
-----------
[utilities] Add a test of defstobj+
https://github.com/acl2/acl2/commit/667172fb641cdde3748e2c98f57fc1f9230e4f50
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)
Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp
Log Message:
-----------
Merge commit '9431757cf3cc09f390fab06ca7b3a1115f744916' into HEAD
Changed paths:
M books/kestrel/utilities/defstobj-plus-tests.lisp
Log Message:
-----------
Compare: https://github.com/acl2/acl2/compare/0a918f5e2e9c...667172fb641c
acl2buildserver
Mar 2, 2026, 5:01:37 PM (2 days ago) Mar 2
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages