All pull requests

Pull requests

• Implement ds: integrate over a mesh's facets, with the fields restricted there

  #106·jhale opened Oct 11, 2026Member·

  ·

• A measure is a domain paired with a density

  #105·jhale opened Oct 10, 2026Member·

  ·

• Name the differential-geometric objects geometry.py was already computing

  #104·jhale opened Oct 10, 2026Member·

  ·

• Pull an integral over several cell types back as a sum of integrals

  #103·jhale opened Oct 10, 2026Member·

  ·

• Make a parametrization a first-class object, so geometry need not be a finite element map

  #102·jhale opened Oct 10, 2026Member·

  ·
  1

• Replace is_reference with the coordinate domain a point or function lives in

  #100·jhale opened Oct 10, 2026Member·

  ·
  6

• Measure's missing equality operator

  bug
  #93·jorgensd opened Oct 8, 2026Member·

  ·

• Fix equality, hash and is_reference of PhysicalToReference

  bug
  #88·jorgensd opened Oct 8, 2026Member·

  ·

• Create CodeGenerator protocol

  codegeneration
  #81·jorgensd opened Oct 8, 2026Member·

  ·
  1

• Know when expressions are real-valued, so real inner products commute

  #78·jhale opened Oct 8, 2026Member·2/2·

  ·

• Propagate zero tensors when simplifying

  #75·jhale opened Oct 8, 2026Member·2/2·

  ·
  1

• Proof of concept: an MLIR generator

  #73·jorgensd opened Oct 7, 2026Member·3/3·

  ·
  2

• Common-subexpression elimination in the C generator, and a Generator class

  #71·jorgensd opened Oct 7, 2026Member·2/3·

  ·
  3

• Hash-cons expressions so that hashing and equality are O(1)

  #70·jorgensd opened Oct 7, 2026Member·1/3·

  ·
  6

• Add uflx-mlir: MLIR op-builder backend for UFLx forms

  #46·chrisrichardson opened Aug 28, 2026Collaborator·

  ·