[acl2/acl2] 294450: [JSONRPC] updated using usocket instead of hunchen...

0 views
Skip to first unread message

ltmquan

unread,
11:34 AM (7 hours ago) 11:34 AM
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 2944507063e0d79597bd86eee33a8e23fe4e24a0
https://github.com/acl2/acl2/commit/2944507063e0d79597bd86eee33a8e23fe4e24a0
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/jsonrpc/socket.lisp

Log Message:
-----------
[JSONRPC] updated using usocket instead of hunchentoot



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

acl2buildserver

unread,
2:03 PM (4 hours ago) 2:03 PM
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 2944507063e0d79597bd86eee33a8e23fe4e24a0
https://github.com/acl2/acl2/commit/2944507063e0d79597bd86eee33a8e23fe4e24a0
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/jsonrpc/socket.lisp

Log Message:
-----------
[JSONRPC] updated using usocket instead of hunchentoot


Commit: 8e7515a7ba41794c247e2a5ecc850af06af071ec
https://github.com/acl2/acl2/commit/8e7515a7ba41794c247e2a5ecc850af06af071ec
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/kestrel/jsonrpc/socket.lisp

Log Message:
-----------
Merge commit '2944507063e0d79597bd86eee33a8e23fe4e24a0' into HEAD


Compare: https://github.com/acl2/acl2/compare/e06571c716cd...8e7515a7ba41

acl2buildserver

unread,
2:03 PM (4 hours ago) 2:03 PM
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages