sdgoij

sdgoij synced commits to master at sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

49715fe63c chore: improve how test suite interacts with stages (#12913)

133fd016b4 chore: update stage0

76e593a52d fix: rename Int.sq_nonnneg to Int.sq_nonneg (#12909)

fa9a32b5c8 fix: correct swapped operands in Std.Time subtraction instances (#12919)

2d999d7622 refactor: ignore borrow annotations at export/extern tricks (#12930)

Compare 6 commits »

sdgoij synced new reference joscha/tests-gitignore to sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

sdgoij synced commits to joscha/tests-gitignore at sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

sdgoij synced commits to joscha/fix-signal-numbers at sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

5713082070 Map signals on c++ side to actual values

e5b3a41247 fix: use process signal numbers from correct architecture

49715fe63c chore: improve how test suite interacts with stages (#12913)

133fd016b4 chore: update stage0

76e593a52d fix: rename Int.sq_nonnneg to Int.sq_nonneg (#12909)

Compare 21 commits »

sdgoij synced commits to hbv/lcnf_preserve_infer_annotations at sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

5ab45e12ca first attempt

0f2532f683 preserve in early pipeline

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)

Compare 70 commits »

sdgoij synced and deleted reference refs/tags/hbv/ignore_export_extern at sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

sdgoij synced and deleted reference refs/tags/gh-readonly-queue/master/pr-12929-c9ceba17849cb665b57c2a7b9504fa58343860bb at sdgoij/lean4 from mirror 2026-03-16 18:04:12 +00:00

sdgoij synced new reference refs/tags/b8373 to sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced commits to refs/tags/b8373 at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced new reference refs/tags/b8372 to sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced commits to refs/tags/b8372 at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced commits to master at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

f47a246a08 sync : ggml

c0ccbd1f86 ggml : try fix arm build (whisper/0)

f6da02c3f2 ggml : extend im2col f16 (ggml/1434)

dddca026bf webui: add model information dialog to router mode (#20600)

3c8521c4f5 llama-graph: replace cont with reshape for alpha in qwen35 (#20640)

Compare 11 commits »

sdgoij synced new reference cisc/ci-labeler-hexagon-webgpu-openvino to sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced commits to cisc/ci-labeler-hexagon-webgpu-openvino at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced commits to 0cc4m/vulkan-async-fixes at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

5825d0b81c assert that event is valid in event_wait instead of skipping if it isn't

sdgoij synced commits to 0cc4m/vulkan-amd-queue2 at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

840dfe4a7a reenable transfer queue if graphics queue is not used

sdgoij synced and deleted reference refs/tags/cisc/nemotron-h-nvfp4-scales at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced and deleted reference refs/tags/0cc4m/vulkan-flash-attention-fix-glm4 at sdgoij/llama.cpp from mirror 2026-03-16 16:14:06 +00:00

sdgoij synced commits to main at sdgoij/rustfs from mirror 2026-03-16 13:54:06 +00:00

94cdb89e29 feat(obs): add init_obs_with_config API and signature guard test (#2175)

06dff96c09 chore(deps): update flake.lock (#2173)

Compare 2 commits »

sdgoij synced commits to feat/xlmeta-compat at sdgoij/rustfs from mirror 2026-03-16 13:54:06 +00:00

91eacdb350 fix: honor root env aliases for bootstrap creds