All pull requests

Pull requests

• Add(benchmarks,#18770): measure the fourteen charges on .NET 9/10/11

  #47·jsboige opened Oct 27, 2026·

  ·
  2

• bench(baseline): publish net8.0/net10.0 baselines for the solve suite (CoursIA #18770)

  #46·jsboige opened Oct 27, 2026·

  ·
  6

• docs(z3linq,#14169): DIVERGENCE_STATUS -- G4 mesure a la pointe de la pile

  #43·jsboige opened Oct 24, 2026·

  ·
  1

• Fix(ci,#41): Automerge & Label ne rougit plus sans identifiants d'application

  pending_release
  #42·jsboige opened Oct 24, 2026·

  ·
  1

• feat(theorem): Rational members as first-class exact real symbols (#39)

  #40·jsboige opened Oct 23, 2026·

  ·
  6

• fix(theorem): materialize anonymous-type scalar members through the shared dispatch

  #38·jsboige opened Oct 23, 2026·

  ·
  4

• fix(theorem): construct ValueTuple environments from the model (item1/Item1)

  #37·jsboige opened Oct 23, 2026·

  ·
  6

• Add(benchmarks,#18770): consolidate the Z3.Linq benchmark suite and its net8/net10 baselines

  #36·jsboige opened Oct 23, 2026·

  ·
  7

• feat(benchmarks): BenchmarkDotNet baseline suite (.NET 9) for public theorem API

  #34·jsboige opened Oct 2, 2026·

  ·
  3

• test(z3linq,#17301): un test discriminant par ligne de borne

  #33·jsboige opened Sep 23, 2026·

  ·
  2

• feat(z3linq,#14169): Microsoft.Z3 5.1.0 — Linux + arm64 natives (selective port of endjin#61, G3 option C)

  #29·jsboige opened Sep 15, 2026·

  ·
  4