pullrequests Search Results · language:Dune language:JavaScript language:Python language:Java language:Python language:Python
Filter by
183M results
Automated re-open (ADR-009, SPEC-009-A): all of six-dvd-pow-three-add-five-mul s decomposition sub-lemmas are proved, so
the parent returns to open and can be proved with the subs as imports. It still ...
adam91holt
Description
Raw :code: markup was leaking into rendered MetricFrame API docs because several numpydoc parameter declarations used
name: instead of name : type. This fixes those malformed declarations ...
romanlutz
Automated Phase-1 proof of goal pell-d14-ladder-step-preserves by agent mac-158f (ADR-006, ADR-007, SPEC-007-A). New
library module library/Unsorry/PellD14LadderStepPreserves.lean re-states and proves ...
ohdearquant
Fixes #43. Supersedes #44.
Problem
ChimeraX 1.10.1 ships a newer pandas where the starfile reader returns string columns (e.g. rlnMicrographName) as the
pandas extension StringDtype instead of numpy ...
uermel
Updates the requirements on matplotlib to permit the latest version. details summary Release notes /summary p em Sourced
from a href= https://github.com/matplotlib/matplotlib/releases matplotlib s releases ...
dependabot[bot]
Summary
Fixes a real failure the user hit: asking * did the iran war end? * got a confidently-stale answer from training data
(the model read it as the 1980s Iran–Iraq war). Now time-sensitive questions ...
JeevanReddy0828
Summary
Planning-only update. Adds four new REQs to Phase 6 (Release Supply Chain) to close two production-grade CVE-posture
gaps the original plan didn t cover.
- SEC-07 — scheduled Trivy rescan of ...
yves-vogl
Second leaf of S2. compare_report(experiments, output_dir, *, name, sort_by) ranks a set of experiments into a
leaderboard markdown table and overlays their equity curves (rebased to 100) into equity_overlay.png. ...
ArthurBernard
This pull request was created by @kiro-agent on behalf of @carloscartagena :ghost:
Comment with /kiro fix to address specific feedback or /kiro all to address everything. sub Learn about Kiro Web /sub ...
kiro-agent[bot]
Bumps eslint-plugin-react-hooks from 7.0.1 to 7.1.1. details summary Release notes /summary p em Sourced from a href=
https://github.com/facebook/react/releases eslint-plugin-react-hooks s releases /a ...