All pull requests

Pull requests

• Reduce DateTime's static fields to their constant value

  #113·jsboige opened Oct 4, 2026·

  ·

• test: port the downstream DateTime round-trip suite onto the ticks encoding

  #112·jsboige opened Sep 18, 2026·

  ·

• test: add xUnit test project with smoke coverage of the theorem API

  #111·jsboige opened Sep 17, 2026·

  ·
  2

• Convert the demos to single-file Spectre.Console apps

  pending_release
  #110·HowardvanRooijen opened Sep 2, 2026Member·39/39·

  ·
  3

• Merge the scalar and element marshallers into ReadZ3Value

  pending_release
  #109·HowardvanRooijen opened Sep 2, 2026Member·38/39·

  ·
  1

• Extract Assert for the Solver/Optimize dispatch

  pending_release
  #108·HowardvanRooijen opened Sep 2, 2026Member·37/39·

  ·
  1

• Extract MemberClrType for the property/field type switch

  pending_release
  #107·HowardvanRooijen opened Sep 2, 2026Member·36/39·

  ·
  1

• Modernise the solve path with C# 14 idioms

  pending_release
  #106·HowardvanRooijen opened Sep 2, 2026Member·35/39·

  ·
  1

• Cut per-solve managed allocations by caching per-type reflection

  pending_release
  #105·HowardvanRooijen opened Sep 2, 2026Member·34/39·

  ·
  1

• Add a BenchmarkDotNet suite for solve hot paths

  pending_release
  #104·HowardvanRooijen opened Sep 2, 2026Member·33/39·

  ·
  1

• Fix two defects in the solve-limits code found by review

  pending_release
  #103·HowardvanRooijen opened Sep 1, 2026Member·32/39·

  ·
  1

• Support byte, sbyte and ushort as bounded integer symbols

  pending_release
  #102·HowardvanRooijen opened Sep 1, 2026Member·31/39·

  ·
  1

• Support uint and ulong as bit-vector symbols

  pending_release
  #101·HowardvanRooijen opened Sep 1, 2026Member·30/39·

  ·
  1

• Make the expression visitor an internal instance class

  pending_release
  #100·HowardvanRooijen opened Sep 1, 2026Member·29/39·

  ·
  1

• Translate ternaries, and stop crashing on bitwise and real modulo

  pending_release
  #99·HowardvanRooijen opened Sep 1, 2026Member·28/39·

  ·
  1

• Bound each integer symbol to the range of its type

  pending_release
  #98·HowardvanRooijen opened Sep 1, 2026Member·27/39·

  ·
  1

  1

• Let a solve be bounded, and say when Z3 could not decide

  pending_release
  #96·HowardvanRooijen opened Sep 1, 2026Member·26/39·

  ·
  1

  1

• Encode a DateTime as ticks rather than a file time

  pending_release
  #95·HowardvanRooijen opened Sep 1, 2026Member·25/39·

  ·
  1

  1

• Generate and validate the XML documentation

  pending_release
  #94·HowardvanRooijen opened Sep 1, 2026Member·24/39·

  ·
  1

  1

• Size collections from the instance passed to NewTheorem

  pending_release
  #93·HowardvanRooijen opened Sep 1, 2026Member·23/39·

  ·
  1

  1

• Choose numeric conversions by sort, not by target type

  pending_release
  #92·HowardvanRooijen opened Sep 1, 2026Member·22/39·

  ·
  1

  1

• Marshal anonymous environments like every other shape

  pending_release
  #91·HowardvanRooijen opened Sep 1, 2026Member·21/39·

  ·
  1

  1

• Give collections the same sorts as scalars

  pending_release
  #90·HowardvanRooijen opened Sep 1, 2026Member·20/39·

  ·
  1

  1

• Make short and enum symbols work

  pending_release
  #88·HowardvanRooijen opened Sep 1, 2026Member·19/39·

  ·
  1

  2

• Report satisfiability separately from the solution

  pending_release
  #86·HowardvanRooijen opened Sep 1, 2026Member·18/39·

  ·
  2

  4