All pull requests

Pull requests

• Bump MiaPlaza.ExpressionUtils from 1.2.0 to 1.4.0

  dependencies.NET
  #119·dependabot[bot] opened Oct 27, 2026Bot·

  ·

• Read static members and captured member chains as constants

  no_release
  #118·HowardvanRooijen opened Oct 27, 2026Member·43/43·

  ·
  3

• Truncate a real-to-integer cast toward zero

  no_release
  #117·HowardvanRooijen opened Oct 27, 2026Member·42/43·

  ·
  4

• Address the Copilot review findings on #88-#110

  no_release
  #116·HowardvanRooijen opened Oct 27, 2026Member·41/43·

  ·
  3

• Update Microsoft.Z3 to 5.3.2, and MSTest.Sdk and code coverage to their latest

  no_release
  #115·HowardvanRooijen opened Oct 27, 2026Member·40/43·

  ·
  3

• Honour TheoremVariableTypeMappingAttribute on a conversion target

  #114·jsboige opened Oct 24, 2026·

  ·

• 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·

  ·
  3

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

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

  ·
  6

• Merge the scalar and element marshallers into ReadZ3Value

  no_release
  #109·HowardvanRooijen opened Sep 2, 2026Member·38/43·

  ·
  2

• Extract Assert for the Solver/Optimize dispatch

  no_release
  #108·HowardvanRooijen opened Sep 2, 2026Member·37/43·

  ·
  2

• Extract MemberClrType for the property/field type switch

  no_release
  #107·HowardvanRooijen opened Sep 2, 2026Member·36/43·

  ·
  2

• Modernise the solve path with C# 14 idioms

  no_release
  #106·HowardvanRooijen opened Sep 2, 2026Member·35/43·

  ·
  2

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

  no_release
  #105·HowardvanRooijen opened Sep 2, 2026Member·34/43·

  ·
  4

• Add a BenchmarkDotNet suite for solve hot paths

  no_release
  #104·HowardvanRooijen opened Sep 2, 2026Member·33/43·

  ·
  4

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

  no_release
  #103·HowardvanRooijen opened Sep 1, 2026Member·32/43·

  ·
  2

• Support byte, sbyte and ushort as bounded integer symbols

  no_release
  #102·HowardvanRooijen opened Sep 1, 2026Member·31/43·

  ·
  2

• Support uint and ulong as bit-vector symbols

  no_release
  #101·HowardvanRooijen opened Sep 1, 2026Member·30/43·

  ·
  8

• Make the expression visitor an internal instance class

  no_release
  #100·HowardvanRooijen opened Sep 1, 2026Member·29/43·

  ·
  2

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

  no_release
  #99·HowardvanRooijen opened Sep 1, 2026Member·28/43·

  ·
  4

• Bound each integer symbol to the range of its type

  no_release
  #98·HowardvanRooijen opened Sep 1, 2026Member·27/43·

  ·
  1

  2

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

  no_release
  #96·HowardvanRooijen opened Sep 1, 2026Member·26/43·

  ·
  1

  4

• Encode a DateTime as ticks rather than a file time

  no_release
  #95·HowardvanRooijen opened Sep 1, 2026Member·25/43·

  ·
  1

  2

• Generate and validate the XML documentation

  no_release
  #94·HowardvanRooijen opened Sep 1, 2026Member·24/43·

  ·
  1

  4