rumdl: update to 0.3.0.
Changed
2.4–4.7× faster rumdl fmt than 0.2.79 on frozen documentation
snapshots: Cargo (99 files) 4.7×, MkDocs Material (85 files) 2.6×, and
Ruff (16 files) 2.4×. Reusing parsed Markdown and shared source analysis
reduces repeated work. Speedups compare median elapsed times from 31 paired
runs after five warmups on Apple M6: ordinary Rust 1.96.0 release builds,
default threads, warm filesystem cache, and --no-config --no-cache --silent
(--flavor=standard for Cargo/Ruff, --flavor=mkdocs for MkDocs Material).
Output includes the correctness fixes listed below and can differ from 0.2.79.
Code block tools are supported and remain opt-in. Missing tags, missing
active-mode tools and invocations with no tools checked are ignored by default.
An omitted unknown-tag policy inherits on-missing-language-definition,
preserving existing strict configurations. Valid internal cached checks count
as checked; applicable external tools rerun to reflect changes in their own
configuration and environment.
on-missing-language-definition = "warn" now reports uncovered languages;
[134 lines not shown]
Initial import of devel/cbmc version 6.10.0.
CBMC is a Bounded Model Checker for C and C++ programs. It supports
C89, C99, most of C11, C17, C23 and most compiler extensions provided
by gcc and Visual Studio. It also supports SystemC using Scoot. It
allows verifying array bounds (buffer overflows), pointer safety,
exceptions and user-specified assertions. Furthermore, it can check
C and C++ for consistency with other languages, such as Verilog.
The verification is performed by unwinding the loops in the program
and passing the resulting equation to a decision procedure.
ast-grep: update to 0.51.0.
0.51.0
fix(cli): use ast-grep name in project setup hint #3001
fix: replace deprecated serde_yaml with serde-saphyr #2999
fix(deps): update rust crate tree-sitter-haskell to 0.24.0 #2988
fix(cli): preserve files when update-all writes fail #2995
Revise security policy for clarity and updates a7d3f69
fix: update wasm linting ea55463
ggml: update to 0.27.0.
ggml v0.27.0 extends the backend scheduler API with user callbacks
for split weight copying and compute-buffer reallocation, and bumps
the RPC protocol to v8 to support tensor-parallel RPC servers.
Backends gained substantial new fast paths: chunked gated-delta-net
kernels on CUDA/HIP, KleidiAI SME2 k-quant matmuls and AVX2 Q2_0
dot products on CPU, L2-aware coopmat2 matmul scheduling and bf16
activations on Vulkan, reordered-layout MoE kernels (MXFP4, IQ3,
Q5_K, grouped XMX GEMM) on SYCL, dp4a MoE GEMMs on OpenCL, tensor-API
and wider-head-dim flash attention on Metal, and a DMA/HVX copy
overhaul with new pooling and 3D im2col ops on Hexagon. Correctness
work concentrated on non-contiguous and strided views, grid/workgroup
size limits, out-of-bounds accesses, and well-defined mul_mat_id
behavior for duplicate expert ids.
opa: Update to 1.21.2
Changes:
1.21.2
This release builds the OPA binary artifacts with the latest version of
Go (v1.27.2), its standard library, and the golang.org/x/net dependency
(v0.60.0).
Furthermore, it addresses a mismatch in how encoded slashes were
handled in the input to a basic authorization policy and the Data API.
cross/mingw-w64-*-crt: Fix sysroot and includes
In particular, don't leak ${PREFIX}/include into the flags, as that
*will* break the build by making ${PREFIX}/include/profile.h being
picked up.
monit: Update to 6.0.0
pkgsrc changes:
- Enable for DragonflyBSD, according the changelog it was tested on
DragonflyBSD 6.4 (NOTE: I have not tested it in pkgsrc though!)
Changes:
- New: The every statement can now reliably be used with minute
precision. Like crontab, the every statement will run a service check
only once per minute, regardless of poll-cycle time. This means that
you can now use checks like this and be sure it runs only one time at
the intended time:
check program weekly_report with path /var/monit/weekly_report.sh
every "15 8 * * 1"
if status != 0 then alert
This will run the above weekly_report.sh one time every Monday at 08:15
(or as soon as possible after that time if the validation loop is
delayed). Cron matching is asynchronous to the validation loop,
ensuring checks run once even if validate takes longer than a minute to
[130 lines not shown]
