Major upgrade - #182

Draft

oschulz wants to merge 75 commits into

mainfrom

Commits on Jul 5, 2026

Extend static tools
oschulz
committed
b699bdc
Add internal infer_logdensity_type
oschulz
committed
1eca09e
Make logdensityof for PowerMeasure handle empty powers/variates
oschulz
committed
970ebdb
Use internal _TransportToStd as a function
oschulz
committed
ce8d501
Add pwr_base, pwr_axes, pwr_size
oschulz
committed
52a610b
Code formatting
oschulz
committed
d4d3100
Add ForwardDiff extension
oschulz
committed
6f6087d
Add Distributions and DistributionsForwardDiff extensions
oschulz
committed
4986a9a
Add DistributionsChainRulesCore extension
oschulz
committed
a866672
Add function asmeasure
oschulz
committed
88fe168
Add AsMeasure
oschulz
committed
e8fd530
Add collection utils
oschulz
committed
73d29a1
Require FunctionChains v0.2.3
oschulz
committed
4e0645d
Require HeterogeneousComputing
oschulz
committed
19dd55d
Use StaticThings.jl for static-size tooling
oschulz
committed
1d52fdd
Remove ZeroSet and CodimOne
oschulz
committed
c436e4b
Re-design of domains
oschulz
committed
33b2407
Complete domain redesign
oschulz
committed
bf2ad45
Add mreshape
oschulz
committed
7835f84

Commits on Jul 6, 2026

Require SpecialFunctions 2.1.4
oschulz
committed
78fc01e
Fix _default_checked_arg
oschulz
committed
9853449
Fix checked_arg for ProductMeasure
oschulz
committed
b9c5341
More transport_def methods for PowerMeasure and ProductMeasure
oschulz
committed
87bde7e
Add Mooncake extension with AD rules
oschulz
committed
43d355f
Add Distributions extension
oschulz
committed
ba5e85f
Remove PowerWeightedMeasure
oschulz
committed
6f51ef6
Remove kernelfactor
oschulz
committed
eac759b
Remove the rebase function
oschulz
committed
dc94b4a
Removes PointwiseProductMeasure
oschulz
committed
bb9c021
Remove operator otimes
oschulz
committed
48f5e93
Remove scrd operator
oschulz
committed
f8e1a50
Rename bind to mbind and remove fish operator

oschulz
and
claude
committed
7f32b7e
Introduce mintegrate and mintegrate_exp

oschulz
and
claude
committed
81b0e79
Add measure operators in submodule MeasureOperators

oschulz
and
claude
committed
f41a3bb
Rework likelihoods around AbstractLikelihood

oschulz
and
claude
committed
c5de454
Remove remnants of pointwiseproduct

oschulz
and
claude
committed
2fb782e
Remove splat (unused here, and Base has it now)

oschulz
and
claude
committed
15a0b9e
Add fast_dof, some_dof and NoFastInsupport

oschulz
and
claude
committed
5bc1389
Add localmeasure and transportmeasure

oschulz
and
claude
committed
c123ef0
Add collection utils, StdPowerMeasure and power measure fast_dof

oschulz
and
claude
committed
596593c
Canonical measure nesting in smart constructors

oschulz
and
claude
committed
c97bd3d
Generalized transport for products and unknown-DOF measures

oschulz
and
claude
committed
fe1d136
Rework mbind as combined-value bind, add mcombine

oschulz
and
claude
committed
8c3d680
Extend proxy forwarding, pushforward and mass interface

oschulz
and
claude
committed
30973a7
Use PushFwdStyle names directly, keep VolCorr names as compat aliases only

oschulz
and
claude
committed
27863de
Fix logweight scaling in powers of weighted measures
oschulz
committed
451c95d
Rework superpose into an optimizing pairwise algebra
oschulz
committed
da2ce09
Add value-based equality and isapprox for Dirac
oschulz
committed
4263d57
Extend product measure simplifications
oschulz
committed
d7b63b2
Simplify pushforwards of Dirac and weighted measures
oschulz
committed
32e5913
Fuse nested measure restrictions and add curried restrict
oschulz
committed
7ec9097
Document and export half and weightedmeasure
oschulz
committed
af70187
Add smart constructor tests
oschulz
committed
0ce4beb
Support transport between measures of unknown DOF
oschulz
committed
5aa67b8
Make superpose simplifications type stable
oschulz
committed
a13275b
Rework non-relative density evaluation around logdensityof_impl and with-rest
oschulz
committed
2068175
Rework relative density evaluation as type-stable lockstep chain descent
oschulz
committed
e4bdb7b
Make transport from mvstd to vector-marginal products type stable
oschulz
committed
130d659
Fix method dispatch ambiguities and test for ambiguities
oschulz
committed
6028489
Remove the legacy TransitionKernel machinery
oschulz
committed
b3e4e84
Flesh out mspace_elsize and flat-stream variate consumption
oschulz
committed
284c050
Move product relative densities to logdensity_rel_def
oschulz
committed
753def4
Improve failure behavior of interval massof and generic primitive densities
oschulz
committed
81f0488
Remove unused firsttype
oschulz
committed
0dec09c
Add regression tests for products of measures with value-dependent variate sizes
oschulz
committed
a9032fa
Add combinesets for combining measurable sets
oschulz
committed
9f251d0

Commits on Jul 9, 2026

Widen ArraysOfArrays compat to 0.6 and 0.7
oschulz
committed
deeef51
Add logdensities for batched multi-point density evaluation
oschulz
committed
b0ec47c
Base power measure density evaluation on the batched machinery
oschulz
committed
d2ccb54

Commits on Jul 10, 2026

Rename logdensities_impl to batched_logdensityof_impl
oschulz
committed
6c0cc29
Widen Real argument types to Number for traced-value compatibility
oschulz
committed
b549bf1
Make density kernels and support checks branch-free
oschulz
committed
36293fb
Add direct logdensityof_impl for weighted measures
oschulz
committed
71236f8
Make Distributions univariate transport traced-value compatible
oschulz
committed
bf8f7b2
Add MeasureBaseReactantExt
oschulz
committed
6be425e