Skip to content

[WIP – ignore until reviewed by @ChrisRackauckas] Property suite: isautonomous, issmooth, hasrandomness, hasmutation, ispure, isinferable#67

Merged
ChrisRackauckas merged 4 commits into
SciML:mainfrom
ChrisRackauckas-Claude:property-suite
Jul 5, 2026
Merged

[WIP – ignore until reviewed by @ChrisRackauckas] Property suite: isautonomous, issmooth, hasrandomness, hasmutation, ispure, isinferable#67
ChrisRackauckas merged 4 commits into
SciML:mainfrom
ChrisRackauckas-Claude:property-suite

Hardening round 2: value-channel locks, smuggling coverage, cross-pro…

813e076
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Downgrade / Downgrade Tests
succeeded Jul 5, 2026 in 1m 33s