simon

simon synced commits to simon/emit-talweg-proof at simon/sidekick from mirror 2026-03-16 02:10:01 -04:00

simon synced new reference simon/emit-talweg-proof to simon/sidekick from mirror 2026-03-16 02:10:01 -04:00

simon synced commits to main at simon/sidekick from mirror 2026-03-16 02:10:00 -04:00

d191317108 format

3d9b32ad38 fix warnings

Compare 2 commits »

simon synced commits to main at simon/sidekick from mirror 2026-03-15 01:39:55 -04:00

83cef9e2b9 gitignore

93fb4feb22 sample lia problems

4363fc47b6 update smtlib

Compare 3 commits »

simon synced commits to wip-levels-in-kernel at simon/sidekick from mirror 2026-03-15 01:39:55 -04:00

d5a7ff4c46 gitignore

6fb4f7efe0 improve leancheck to handle #def

588c128a55 makefile

c5e7c11131 ocamlformat config

93f3964d11 update ciclib+format

Compare 8 commits »

simon synced commits to simon/better-hash at simon/ocaml-containers from mirror 2026-03-15 01:29:55 -04:00

simon synced new reference simon/better-hash to simon/ocaml-containers from mirror 2026-03-15 01:29:55 -04:00

simon synced and deleted reference refs/tags/simon/xxhash at simon/ocaml-containers from mirror 2026-03-15 01:29:54 -04:00

simon synced and deleted reference refs/tags/refs/pull/488/merge at simon/ocaml-containers from mirror 2026-03-15 01:29:54 -04:00

simon synced commits to main at simon/ocaml-containers from mirror 2026-03-15 01:29:54 -04:00

aeae7c1039 Merge pull request #488 from c-cube/simon/xxhash

92f58d84a0 tests

9865a26c91 nicer API with and without seed

a3c061a388 simplify xxhash, no streaming mode after all

9fa87cd9aa fix 32bit platform bug

Compare 9 commits »

simon synced new reference simon/xxhash to simon/ocaml-containers from mirror 2026-03-14 01:06:20 -04:00

simon synced commits to simon/xxhash at simon/ocaml-containers from mirror 2026-03-14 01:06:19 -04:00

simon synced and deleted reference refs/tags/refs/pull/128/merge at simon/ocaml-opentelemetry from mirror 2026-03-13 22:16:17 -04:00

simon synced commits to main at simon/ocaml-opentelemetry from mirror 2026-03-13 22:16:17 -04:00

40b84944a7 ugh

74022be198 compatibility with lwt 6 (#128)

c0d949259f format

470a461c82 fix warnings

174e9c60ba fix warning

Compare 6 commits »

simon synced commits to refs/pull/128/head at simon/ocaml-opentelemetry from mirror 2026-03-13 22:16:17 -04:00

12dda4a8a9 CI

f32199f2c8 more robust dune rule

Compare 2 commits »

simon synced commits to main at simon/ocaml-opentelemetry from mirror 2026-03-12 21:46:22 -04:00

2c52df1fae add pre-commit hook for formatting

ceb3fb75f8 format

74055f523b re_export

858de42a2b revert to just dune-build-info

Compare 4 commits »

simon synced commits to main at simon/ocaml-opentelemetry from mirror 2026-03-09 20:33:38 -04:00

54dc4d0ef7 use newer mirage-crypto-rng-eio

31e9812b4f better logging for http consumer

ce3c85869b http clients: carry a description of the export attempt into error message

Compare 3 commits »

simon synced and deleted reference refs/tags/refs/pull/127/merge at simon/ocaml-opentelemetry from mirror 2026-03-09 20:33:36 -04:00

simon synced commits to refs/pull/119/merge at simon/ocaml-opentelemetry from mirror 2026-03-09 12:23:32 -04:00

c779416ed5 Merge 7d090b16cc into aa86fc455d

aa86fc455d wip changelog

d57c182daa add config parameter for self_metrics

00d41b5354 format

aa9e3f98ff try weirder tricks for version generation

Compare 56 commits »

simon synced commits to main at simon/ocaml-opentelemetry from mirror 2026-03-06 18:07:56 -05:00

aa86fc455d wip changelog

d57c182daa add config parameter for self_metrics

00d41b5354 format

aa9e3f98ff try weirder tricks for version generation

d974213376 fix tests

Compare 11 commits »