All pull requests

Pull requests

• Bump pydantic from 2.14.0 to 2.14.1

  dependenciespython
  #631·dependabot[bot] opened Oct 19, 2026Bot·

  ·

• Bump z3-solver from 5.1.0.0 to 5.3.1.0

  dependenciespython
  #630·dependabot[bot] opened Oct 19, 2026Bot·

  ·

• Keep arrays on the GPU between consecutive calls

  #629·alcides opened Oct 18, 2026Owner·

  ·

• Translate linear array objectives symbolically in CP-SAT

  #628·alcides opened Oct 18, 2026Owner·

  ·

• Preserve evaluation replies when output values cannot be serialized

  #627·alcides opened Oct 18, 2026Owner·

  ·

• Fill coupled program holes before evaluating fitness on master

  #626·alcides opened Oct 18, 2026Owner·

  ·

• Report CP-SAT numeric representation limits before constructing invalid models

  #625·alcides opened Oct 18, 2026Owner·

  ·

• Package the Denser grammar so benchmark examples import normally

  #624·alcides opened Oct 18, 2026Owner·

  ·

• Add ranked NDArrays and parallel GPU matrix kernels

  #623·alcides opened Oct 18, 2026Owner·

  ·

• Return exit code two for unfinished synthesis on master

  #622·alcides opened Oct 18, 2026Owner·

  ·

• Reject unrepresentable objective values without aborting synthesis

  #621·alcides opened Oct 18, 2026Owner·

  ·

• Report unsupported hard-constraint backends without tracebacks

  #620·alcides opened Oct 18, 2026Owner·

  ·

• Preserve arbitrary-precision integer literals in cvc5 translation

  #619·alcides opened Oct 18, 2026Owner·

  ·

• Use hashable image observations and stop accepted FTA searches

  #618·alcides opened Oct 18, 2026Owner·

  ·

• Stop Symetric candidate generation at its depth bound

  #617·alcides opened Oct 18, 2026Owner·

  ·

• Continue Synquid search after invalid candidate fitness on master

  #616·alcides opened Oct 18, 2026Owner·

  ·

• Simplify linker context composition with explicit merge contracts

  #615·alcides opened Oct 18, 2026Owner·

  ·