simon
0 followers · 0 following
  • Joined on 2025-01-28
Repositories
10
 Projects Packages Public activity Starred repositories
simon synced commits to simon/emit-talweg-proof at simon/sidekick from mirror 2026-05-05 00:44:25 -04:00
60dae8cd1f real proof production for CC
62422169ea fix qcheck deprecation warnings
Compare 2 commits »
simon synced commits to simon/emit-talweg-proof at simon/sidekick from mirror 2026-05-04 00:14:27 -04:00
4c4ff26d07 remove dead script
969a04f630 make format + ignore generated .granite files
3932c247d4 proof: eliminate P_let/P_local; emit subproofs eagerly via tracer
62f88df1f4 add minidag proof emitter; wire as default tracer replacing bencode
aa53ae601a port minidag encode/decode from granite (encoding part only)
Compare 5 commits »
simon synced commits to refs/pull/119/merge at simon/ocaml-opentelemetry from mirror 2026-05-02 23:44:30 -04:00
8b8730e494 Merge 7d090b16cc into 5065cdd985
5065cdd985 prepare for 0.91
0cf72525b2 fix warning
3bf18fed69 fix test being in the wrong package
Compare 4 commits »
simon synced commits to refs/pull/129/merge at simon/ocaml-opentelemetry from mirror 2026-05-02 23:44:30 -04:00
5cfdd652b7 Merge 9b327a9bba into 5065cdd985
5065cdd985 prepare for 0.91
0cf72525b2 fix warning
3bf18fed69 fix test being in the wrong package
Compare 4 commits »
simon synced commits to simon/benchpress-lua at simon/sidekick from mirror 2026-05-01 23:14:25 -04:00
simon synced new reference simon/benchpress-lua to simon/sidekick from mirror 2026-05-01 23:14:25 -04:00
simon synced commits to simon/wip-trace-state at simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
simon synced new reference simon/wip-trace-state to simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
simon synced commits to refs/pull/119/merge at simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
b6e81073be Merge 7d090b16cc into 78d8d107ff
78d8d107ff fix warning
59ea628546 prepare for 0.91
cf7dbaf66a fix test being in the wrong package
a4d95409ee better error message for otlp http failures
Compare 24 commits »
simon synced commits to refs/tags/v0.90 at simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
simon synced new reference refs/tags/v0.90 to simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
simon synced commits to refs/tags/v0.91 at simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
simon synced new reference refs/tags/v0.91 to simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:36 -04:00
simon synced commits to gh-pages at simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:35 -04:00
e641d9ede9 deploy: 78d8d107ff
7637b5d7cc deploy: b9c884c6bf382cdbd24ec2a187a330a47229f652
36c350e8aa deploy: 5f3b162290
6f8c6c9041 deploy: e9bb76edd1
b76bf492b9 deploy: b766f86019
Compare 5 commits »
simon synced commits to main at simon/ocaml-opentelemetry from mirror 2026-04-30 22:44:35 -04:00
5065cdd985 prepare for 0.91
0cf72525b2 fix warning
3bf18fed69 fix test being in the wrong package
a4d95409ee better error message for otlp http failures
59e2e854e5 docs
Compare 23 commits »
simon synced commits to gh-pages at simon/ocaml-trace from mirror 2026-04-30 22:44:32 -04:00
d12d2c9131 deploy: 8005926bfc
e7cbdcd4c9 deploy: cc15474b8992a928d4998bf5c2c866ba65b529fc
805035ff38 deploy: 207154af0d
84c1ad1d5f deploy: e974c6d31b
2a36f9de7a deploy: 83d408355b
Compare 5 commits »
simon synced commits to main at simon/ocaml-trace from mirror 2026-04-30 22:44:32 -04:00
8005926bfc fix lwt test by providing a local ambient span provider
3a349e1b36 CI: fix so we run tests with depopts
207154af0d doc
e974c6d31b CI
50d0656ab0 CI
Compare 9 commits »
simon synced commits to simon/lwt at simon/ocaml-trace from mirror 2026-04-30 22:44:32 -04:00
simon synced new reference simon/lwt to simon/ocaml-trace from mirror 2026-04-30 22:44:32 -04:00
simon synced commits to simon/spall at simon/ocaml-trace from mirror 2026-04-30 22:44:32 -04:00