sdgoij

sdgoij synced commits to sofia/async-http-client at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

65da1ee047 feat: client

d4884cde14 fix: client uri

49da0f2d9c Merge branch 'sofia/async-http-server' into sofia/async-http-client

7fbecca6f0 fix: test

ae5a3d2c8b Merge branch 'sofia/async-http-h1' into sofia/async-http-server

Compare 1483 commits »

sdgoij synced commits to releases/v4.29.0 at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

0bbadfa02a feat: add Meta.synthInstance.apply trace class (#12699)

04d3ba35de feat: add structured TraceResult to TraceData (#12698)

b1ce232903 fix: use null-safe while-read loop for subverso manifest sync

Compare 3 commits »

sdgoij synced commits to nightly-with-mathlib at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

cfa8c5a036 fix: handle universe level commutativity in sym pattern matching (#12923)

7120d9aef5 fix: eta-reduce expressions in sym discrimination tree lookup (#12920)

c2d4079193 perf: optimize string literal equality simprocs for kernel efficiency (#12887)

47b3be0524 feat: update RPC wire format (#12905)

de2b177423 fix: make cbv_opaque take precedence over cbv_eval (#12908)

Compare 55 commits »

sdgoij synced commits to nightly at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

57df23f27e feat: lake: cached compressed module artifacts (#12914)

ea8fca2d9f refactor: lake: download arts by default in cache get (#12927)

274997420a refactor: remove backward compatibility options from iterator/slice/range modules (#12925)

6631352136 fix: remove accidentally added code from Sym.Simp.Pattern (#12926)

Compare 4 commits »

sdgoij synced commits to master at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

c9ceba1784 fix: use null-safe while-read loop for subverso manifest sync (#12928)

57df23f27e feat: lake: cached compressed module artifacts (#12914)

ea8fca2d9f refactor: lake: download arts by default in cache get (#12927)

Compare 3 commits »

sdgoij synced new reference hbv/ignore_export_extern to sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

sdgoij synced commits to hbv/ignore_export_extern at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

sdgoij synced new reference gh-readonly-queue/master/pr-12929-c9ceba17849cb665b57c2a7b9504fa58343860bb to sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

sdgoij synced commits to gh-readonly-queue/master/pr-12929-c9ceba17849cb665b57c2a7b9504fa58343860bb at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

sdgoij synced new reference fix-release-steps-subverso-sync to sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

sdgoij synced commits to fix-release-steps-subverso-sync at sdgoij/lean4 from mirror 2026-03-16 09:54:06 +00:00

sdgoij synced new reference refs/tags/b8370 to sdgoij/llama.cpp from mirror 2026-03-16 08:04:05 +00:00

sdgoij synced commits to refs/tags/b8370 at sdgoij/llama.cpp from mirror 2026-03-16 08:04:05 +00:00

sdgoij synced new reference refs/tags/b8369 to sdgoij/llama.cpp from mirror 2026-03-16 08:04:05 +00:00

sdgoij synced commits to refs/tags/b8369 at sdgoij/llama.cpp from mirror 2026-03-16 08:04:05 +00:00

sdgoij synced commits to master at sdgoij/llama.cpp from mirror 2026-03-16 08:04:05 +00:00

d3936498a3 common : fix iterator::end() dereference (#20445)

34818ea6c0 CUDA: GDN hide memory latency (#20537)

Compare 2 commits »

sdgoij synced commits to refs/renovate/branches/renovate/configure at sdgoij/gitea from mirror 2026-03-16 05:44:07 +00:00

708d244cad Add renovate.json

sdgoij synced new reference refs/tags/b8368 to sdgoij/llama.cpp from mirror 2026-03-15 23:54:06 +00:00

sdgoij synced commits to refs/tags/b8368 at sdgoij/llama.cpp from mirror 2026-03-15 23:54:06 +00:00

sdgoij synced new reference refs/tags/b8366 to sdgoij/llama.cpp from mirror 2026-03-15 23:54:06 +00:00