Skip to content

[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig#64

Merged
ChrisRackauckas merged 10 commits into
SciML:mainfrom
ChrisRackauckas-Claude:constprop-refutation
Jul 5, 2026
Merged

[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig#64
ChrisRackauckas merged 10 commits into
SciML:mainfrom
ChrisRackauckas-Claude:constprop-refutation

Merge remote-tracking branch 'origin/main' into constprop-refutation

e615fb8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
runic-suggestions / Runic Suggestions
succeeded Jul 5, 2026 in 41s