[acl2/acl2] 805d1a: [C$] Improve STS json wrapper

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 805d1a935610103f0e09aabd971bf92d8e72c1fb
https://github.com/acl2/acl2/commit/805d1a935610103f0e09aabd971bf92d8e72c1fb
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp

Log Message:
-----------
[C$] Improve STS json wrapper



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

[Grant Jurgensen]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 805d1a935610103f0e09aabd971bf92d8e72c1fb
https://github.com/acl2/acl2/commit/805d1a935610103f0e09aabd971bf92d8e72c1fb
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp

Log Message:
-----------
[C$] Improve STS json wrapper

Commit: bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
https://github.com/acl2/acl2/commit/bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3

Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:

M books/kestrel/c/transformation/json-rpc/README.md

Log Message:
-----------
[C$] Update json-rpc interface README


Compare: https://github.com/acl2/acl2/compare/c5aca91dfd2b...bc2a3f918ae4

[Grant Jurgensen]

Branch: refs/heads/testing