gazagnaire.org
TPM 2.0 command/response wire codec (TCG TPM 2.0 Library)
root: bump wire pin to latest upstream HEAD
Move the ocaml-wire pin from a84e4992b5 to 5185e50fe across every opam
file and template, and refresh the generated 3d under it. This does not
yet make the C agree harnesses for codecs whose type names contain
underscores compile: the new wire still mangles e.g. Grpc_message to
Grpcmessage in the agree generator while EverParse (and the committed
wrappers) use GrpcMessage, so the validator names mismatch. That needs an
everparse_name fix upstream in wire; fat and btree (no underscores in
their type names) are unaffected and their agree corpora still pass.
author
Thomas Gazagnaire
date
(Jun 22, 2026, 11:33 PM UTC)
commit
8b604852
8b604852e283a2e23f18e9d88934a505563e0a36
parent
474060e8
474060e8f6da22660d1881afef592796a2d3efb9
+5
-3
+3
-1
c/Tpm.3d
+3
-1
c/Tpm.3d
···
1
-
/*++ TPM 2.0 (TCG) TPM2B sized buffer: a UINT16 length followed by exactly that many bytes -- the generic variable-length buffer carrying digests, names, and parameter blobs. --*/
1
+
/*++ TPM 2.0 (TCG) TPM2B sized buffer: a UINT16 length followed by exactly
2
+
that many bytes -- the generic variable-length buffer carrying digests,
3
+
names, and parameter blobs. --*/
2
4
entrypoint
3
5
typedef struct _TPM2B
4
6
{
+1
-1
tpm.opam
+1
-1
tpm.opam
···
44
44
x-quality-test: "2026-05-30"
45
45
46
46
pin-depends: [
47
-
["wire.0.9.0" "git+https://github.com/parsimoni-labs/ocaml-wire.git#a84e4992b51283b53d5f261dec00041381658996"]
47
+
["wire.0.9.0" "git+https://github.com/parsimoni-labs/ocaml-wire.git#5185e50fe31bb7feb9415683ea06898e86b6ea87"]
48
48
]
+1
-1
tpm.opam.template
+1
-1
tpm.opam.template