Repository navigation

Avoid extra copies of functions in copy_to - #2957

Open

blegat wants to merge 12 commits into

Open

Avoid extra copies of functions in copy_to#2957
blegat wants to merge 12 commits into
masterfrom
bl/unsafe

Commits on Nov 6, 2026
- Avoid extra copies of functions in copy_to
  blegat
  committed
  1a095ae
- Fix
  blegat
  committed
  64d717f
- Fixes
  blegat
  committed
  876a419
- Fix format
  blegat
  committed
  32f077f
- Avoid ambiguity
  blegat
  committed
  fc5ab7a
- Fix
  blegat
  committed
  00835f6
- Fixes
  blegat
  committed
  4497bc2
- Fixes
  blegat
  committed
  5a13619
- Fix and document UnsafeConstraintFunction and UnsafeObjectiveFunction
  blegat
  committed
  6b51ecb
- Implement UnsafeConstraintFunction in bridges storing the function
  blegat
  committed
  3cf5b8e
- Fix method ambiguities and infinite recursion of Unsafe getters
  blegat
  committed
  21d4d3c
- Fix unsafe objective copying and coverage
  blegat
  committed
  83f4ee2