All pull requests

Pull requests

• F*: scope-check binder certificates with stack-safe traversal

  #11493·Nikolaj Bjorner (NikolajBjorner) opened Oct 31, 2026Contributor·

  ·
  1

• Honor the configured compression level when writing Java JAR entries

  #11492·nieyuanhong opened Oct 31, 2026Contributor·

  ·

• Bump rules_foreign_cc to 0.16.0

  #11490·NikolajBjorner with CopilotAI opened Oct 31, 2026·

  ·
  1

  

• Avoid irrelevant datatype enumeration during model construction

  #11489·NikolajBjorner with CopilotAI opened Oct 31, 2026·

  ·
  1

  1

  

• Fix FMA significand extraction for small floating-point formats

  #11488·NikolajBjorner with CopilotAI opened Oct 31, 2026·

  ·
  1

  1

  

• Guard Spacer concretization against null models

  #11487·NikolajBjorner with CopilotAI opened Oct 31, 2026·

  ·
  1

  1

  

• Prefer relevant decisions and base constructors in activity-based SMT search

  #11464·NikolajBjorner with CopilotAI opened Oct 30, 2026·

  ·
  1

  3

  

• smt: prefer relevant variables in activity case splits; nil-first for existing recognizers

  #11461·Jean-Frédéric Etienne (etiennejf) opened Oct 30, 2026Contributor·

  ·
  1

  5

• Add bounded arithmetic-guided quantifier instantiation

  #11415·Nikolaj Bjorner (NikolajBjorner) opened Oct 28, 2026Contributor·

  ·
  11

• Fix array-map equalities over finite domains

  #11354·Nikolaj Bjorner (NikolajBjorner) opened Oct 26, 2026Contributor·

  ·
  1

  5

• Add opt-in recursive QSAT backprojection and benchmark comparisons

  #11242·Nikolaj Bjorner (NikolajBjorner) opened Oct 20, 2026Contributor·

  ·
  2

• Add integer exponentiation with SWiNE refinements and F* soundness audit

  #11211·Nikolaj Bjorner (NikolajBjorner) opened Oct 17, 2026Contributor·

  ·
  3

• Determinize AST ID recycling order

  #11126·Guido Martínez (mtzguido) opened Oct 9, 2026Contributor·

  ·
  9

  

• MBQI: instantiate array variables with store, lambda and boxed-function witnesses; continue after a theory give-up (#11093)

  #11095·Jean-Frédéric Etienne (etiennejf) opened Oct 7, 2026Contributor·

  ·
  1

  21