simon

simon synced new reference simon/spall to simon/ocaml-trace from mirror 2026-04-30 22:44:32 -04:00

simon synced commits to gh-pages at simon/linol from mirror 2026-04-30 22:44:30 -04:00

16ba05913b deploy: 266b911bb3

simon synced commits to main at simon/linol from mirror 2026-04-30 22:44:30 -04:00

83399e55c1 prepare for 0.11

b8f11ff433 optim ci

5ae0d593ac Merge pull request #62 from wintersteiger/christoph/allow-response-errors

266b911bb3 format

2e7a8f3482 faster CI

Compare 6 commits »

simon synced commits to refs/tags/v0.11 at simon/linol from mirror 2026-04-30 22:44:30 -04:00

simon synced new reference refs/tags/v0.11 to simon/linol from mirror 2026-04-30 22:44:30 -04:00

simon synced commits to main at simon/ezcurl from mirror 2026-04-30 22:44:29 -04:00

7ba50ae45b mve to ocaml >= 4.11 bc curl bindings did

176fc89035 move to curl instead of ocurl

Compare 2 commits »

simon synced commits to main at simon/sidekick from mirror 2026-04-30 22:44:28 -04:00

1971d2a8e8 test config

c295d22921 bump min version for smtlib-utils

94f178d400 makefile

701f18561a gitignore

1daf8d6fed delete plugin

Compare 11 commits »

simon synced commits to simon/emit-talweg-proof at simon/sidekick from mirror 2026-04-30 22:44:28 -04:00

0c965aec23 proof export into talweg text format

990a1e6f69 format

d9a0b66973 fix warnings

491f368142 gitignore

26d58218d4 sample lia problems

Compare 12 commits »

simon synced commits to gh-pages at simon/moonpool from mirror 2026-04-30 22:44:27 -04:00

38a71ef98c deploy: a0f4c20f2b

b7db8fb75e deploy: 471feb96d6

2a68dc8c14 deploy: 0d0db75f26

Compare 3 commits »

simon synced commits to main at simon/moonpool from mirror 2026-04-30 22:44:27 -04:00

f287d03bd5 ugh, try multiple lwt versions on linux plz thx

c372afd2b5 bump to dune 3.15 to fix format

1b59d8aaaf fix

19e925b1fb ocamlforamt ignore

a0f4c20f2b support for lwt.6

Compare 10 commits »

simon synced commits to simon/new-ci at simon/moonpool from mirror 2026-04-30 22:44:27 -04:00

simon synced new reference simon/new-ci to simon/moonpool from mirror 2026-04-30 22:44:27 -04:00

simon synced commits to wip-ci-2026-04 at simon/ocaml-containers from mirror 2026-04-30 22:44:25 -04:00

simon synced new reference wip-ci-2026-04 to simon/ocaml-containers from mirror 2026-04-30 22:44:25 -04:00

simon synced commits to refs/pull/489/head at simon/ocaml-containers from mirror 2026-04-30 22:44:25 -04:00

cc0679688d make the hash test stronger

4cafc2d2c5 change cchash constant

f9ba2e8997 cleanup hash bench

501ba3da9a makefile

76d8ee79e1 cchash64: add apply and combine*

Compare 7 commits »

simon synced and deleted reference refs/tags/simon/better-hash at simon/ocaml-containers from mirror 2026-04-30 22:44:24 -04:00

simon synced and deleted reference refs/tags/refs/pull/489/merge at simon/ocaml-containers from mirror 2026-04-30 22:44:24 -04:00

simon synced commits to gh-pages at simon/ocaml-containers from mirror 2026-04-30 22:44:24 -04:00

07c9fcf4e8 deploy: 4948d74e45

1c0064f8e9 deploy: e42caf3b6a

fcae1452b0 deploy: 0ad561a8e7

5b22a5c1e5 deploy: 7fdacb4a29

Compare 4 commits »

simon synced commits to main at simon/ocaml-containers from mirror 2026-04-30 22:44:24 -04:00

4948d74e45 fix comments about hash mixer constant

efa429e3c8 format

fec6a8f58f format with 5.3

e42caf3b6a more tests

749f973528 byte_slice: add clear and of_string

Compare 11 commits »

simon synced commits to refs/pull/119/merge at simon/ocaml-opentelemetry from mirror 2026-03-16 07:19:55 -04:00

0707f78a15 Merge 7d090b16cc into 40b84944a7

40b84944a7 ugh

74022be198 compatibility with lwt 6 (#128)

c0d949259f format

470a461c82 fix warnings

Compare 14 commits »