ocaml-tpm/c/ at main · gazagnaire.org/ocaml-tpm · Tangled

gazagnaire.org / ocaml-tpm

0

TPM 2.0 command/response wire codec (TCG TPM 2.0 Library)

0

ocaml-tpm / c

11 files

at main

Thomas Gazagnaire 3d: regenerate the standalone C cross-build rules and headers 6d ago

3d: regenerate the standalone C cross-build rules and headers Pick up the wire.3d change that builds and installs the standalone c/ verified parser per target (wire pinned at f13082a3). Every packages c/dune.inc is regenerated: the archive now builds in all contexts through the context toolchain (%{ocaml-config:c_compiler}, the ocaml-config partial linker, -print-prog-name binutils) instead of host-only, and installs unconditionally -- no empty placeholder. Each c/EverParseEndianness.h gains a freestanding __BYTE_ORDER__/__builtin_bswap* branch so it compiles for an OS-less target (a unikernel defines neither __linux__ nor __APPLE__). Verified: dune build -x unikraft ocaml-clcw/c/libclcw.a produces an aarch64 archive exporting only ClcwCheckClcw (the safe wrapper), with ClcwValidateClcw localized.

6 days ago

EverParseEndianness.h

3d: regenerate the standalone C cross-build rules and headers Pick up the wire.3d change that builds and installs the standalone c/ verified parser per target (wire pinned at f13082a3). Every packages c/dune.inc is regenerated: the archive now builds in all contexts through the context toolchain (%{ocaml-config:c_compiler}, the ocaml-config partial linker, -print-prog-name binutils) instead of host-only, and installs unconditionally -- no empty placeholder. Each c/EverParseEndianness.h gains a freestanding __BYTE_ORDER__/__builtin_bswap* branch so it compiles for an OS-less target (a unikernel defines neither __linux__ nor __APPLE__). Verified: dune build -x unikraft ocaml-clcw/c/libclcw.a produces an aarch64 archive exporting only ClcwCheckClcw (the safe wrapper), with ClcwValidateClcw localized.

6 days ago

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.

1 month ago

ocaml-tpm: Regenerate wire bindings

1 month ago

ocaml-tpm: Regenerate wire bindings

1 month ago

wrappers: reject trailing bytes in the generated C validators The generated *Wrapper.c validators returned TRUE as soon as a prefix parsed, so an input with trailing bytes past the declared length was accepted. They now require the parse to consume exactly the declared length (result != len -> FALSE), rejecting trailing-garbage inputs.

2 weeks ago

ocaml-tpm: Regenerate wire bindings

1 month ago

ocaml-tpm: Regenerate wire bindings

1 month ago

3d: regenerate the standalone C cross-build rules and headers Pick up the wire.3d change that builds and installs the standalone c/ verified parser per target (wire pinned at f13082a3). Every packages c/dune.inc is regenerated: the archive now builds in all contexts through the context toolchain (%{ocaml-config:c_compiler}, the ocaml-config partial linker, -print-prog-name binutils) instead of host-only, and installs unconditionally -- no empty placeholder. Each c/EverParseEndianness.h gains a freestanding __BYTE_ORDER__/__builtin_bswap* branch so it compiles for an OS-less target (a unikernel defines neither __linux__ nor __APPLE__). Verified: dune build -x unikraft ocaml-clcw/c/libclcw.a produces an aarch64 archive exporting only ClcwCheckClcw (the safe wrapper), with ClcwValidateClcw localized.

6 days ago

root: bump wire pin and migrate to its new EverParse API Wire 0.9.0 at 19a5b45e consolidates the EverParse projection surface: mode:`Doc becomes mode:`Standalone, Everparse.doc becomes project ~mode:`Standalone, and struct_of_codec moves under Everparse.Raw. It also rejects a field subtraction or multiplication inside a constraint, which has no sound projection at the field's narrow width. The btree and tm header constraints are rewritten additively (an exact integer identity), so they project; their differential self-checks still agree with the OCaml codec on every input.

1 month ago

codec: commit the c/ codegen drivers' empty interfaces dune synthesizes an empty .mli for every executable's main module, and its write-file rule can race the cmi compile -- grpc hit that race and aborted the whole build on a missing gen.mli. Commit the interface dune would generate for every c/ codegen driver so the file exists before the compile, making the build order independent of dune's synthesis.

1 month ago