Skip to content

use ForwardDiff chunk heuristic#147

Merged
ChrisRackauckas merged 1 commit intomasterfrom
chunks
Jul 30, 2021
Merged

use ForwardDiff chunk heuristic#147
ChrisRackauckas merged 1 commit intomasterfrom
chunks

Commits

Commits on Jul 30, 2021