upstream: https://github.com/mirage/mirage-crypto
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

tomlt: align with xmlt/csvt/sexpt (Loc.Error, primed variants, limits)

Same refactor as xmlt (d786b041/067b745c), csvt (4e47c14b), sexpt
(ff8c4a47):

- Drop type codec_error ADT (Missing_member, Type_mismatch, Value_error,
Int_overflow, Parse_error, Unknown_member) and codec_error_to_string.
- Add module Loc = Loc, Meta, Path, Error re-exports.
- exception Error = Loc.Error.Error (rebound for [try...with Tomlt.Error]).
- Add decode'/decode_string' primed variants returning (_, Error.t) result.
- Add ?max_depth (default 100) and ?max_nodes (default 10_000_000)
threaded through the parser for billion-laughs / deep-array protection.
- Path/context threading via push_mem_ctx / push_nth_ctx at every
Table.mem / array element / key / mem / nth / update_key descent site.
- Added Invalid_utf8_encode of int exception for encoder UTF-8 bugs.

Dune: (re_export loc) so downstream consumers don't declare loc.
dune-project / tomlt.opam: loc added to depends.

Sublibs (tomlt.bytesrw, tomlt.eio, tomlt.unix): decode* now return
(_, Tomlt.Error.t) result. tomlt_bytesrw converts internal Toml.Error
errors into Loc.Error.t at the boundary.

Tests: 5 new structural context tests using EXACT frame-list match
(missing member, bad value in nested table, bad value in array elt,
bad value in array-of-tables, missing top-level key). Rewrote test
error printers from Toml.Error.to_string (internal parser) to
Tomlt.Error.to_string (unified Loc-based).

369 tests pass (312 codec + 8 bytesrw + 6 unix + 8 eio + 23 jsont +
12 fuzz).

Downstream: ocaml-atp/bin/tangled/test updated.

src/aead.ml lib/aead.ml
src/aead.mli lib/aead.mli
src/c/aes_aesni.c lib/c/aes_aesni.c
src/c/aes_generic.c lib/c/aes_generic.c
src/c/bearssl/aes_ct64.c lib/c/bearssl/aes_ct64.c
src/c/bearssl/aes_ct64_dec.c lib/c/bearssl/aes_ct64_dec.c
src/c/bearssl/aes_ct64_enc.c lib/c/bearssl/aes_ct64_enc.c
src/c/bearssl/dec32le.c lib/c/bearssl/dec32le.c
src/c/bearssl/enc32le.c lib/c/bearssl/enc32le.c
src/c/bearssl/ghash_ctmul64.c lib/c/bearssl/ghash_ctmul64.c
src/c/bearssl/inner.h lib/c/bearssl/inner.h
src/c/bitfn.h lib/c/bitfn.h
src/c/chacha.c lib/c/chacha.c
src/c/chacha_generic.c lib/c/chacha_generic.c
src/c/crypto.h lib/c/crypto.h
src/c/des_generic.c lib/c/des_generic.c
src/c/detect_cpu_features.c lib/c/detect_cpu_features.c
src/c/dune lib/c/dune
src/c/entropy_cpu_stubs.c lib/c/entropy_cpu_stubs.c
src/c/ghash_ctmul.c lib/c/ghash_ctmul.c
src/c/ghash_generic.c lib/c/ghash_generic.c
src/c/ghash_pclmul.c lib/c/ghash_pclmul.c
src/c/misc.c lib/c/misc.c
src/c/misc_sse.c lib/c/misc_sse.c
src/c/native.ml lib/c/native.ml
src/c/poly1305-donna-32.h lib/c/poly1305-donna-32.h
src/c/poly1305-donna-64.h lib/c/poly1305-donna-64.h
src/c/poly1305-donna.c lib/c/poly1305-donna.c
src/ccm.ml lib/ccm.ml
src/ccm.mli lib/ccm.mli
src/chacha20.ml lib/chacha20.ml
src/chacha20.mli lib/chacha20.mli
src/cipher_block.ml lib/cipher_block.ml
src/cipher_block.mli lib/cipher_block.mli
src/cipher_stream.ml lib/cipher_stream.ml
src/cipher_stream.mli lib/cipher_stream.mli
src/crypto.ml lib/crypto.ml
src/crypto.mli lib/crypto.mli
src/dune lib/dune
src/native.mli lib/native.mli
src/ocaml/aes_pure.ml lib/ocaml/aes_pure.ml
src/ocaml/dune lib/ocaml/dune
src/ocaml/ghash_pure.ml lib/ocaml/ghash_pure.ml
src/ocaml/native.ml lib/ocaml/native.ml
src/poly1305.ml lib/poly1305.ml
src/poly1305.mli lib/poly1305.mli
src/uncommon.ml lib/uncommon.ml
src/uncommon.mli lib/uncommon.mli