Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 23, 2025

• throttle grobner method more actively

  Show description for 887ecc0
  levnach

  committed
  887ecc0

  Copy full SHA for 887ecc0

• try exponential delay in grobner

  Show description for 58e64ea
  levnach

  committed
  58e64ea

  Copy full SHA for 58e64ea

Commits on Oct 22, 2025

• Enabling Control Flow Guard (CFG) by default for MSVC on Windows, with options to disable CFG. (#7988)

  Show description for 2bf1cc7
  hwisungi

  authored
  2bf1cc7

  Copy full SHA for 2bf1cc7

Commits on Oct 21, 2025

• Bump actions/setup-node from 5 to 6 (#7994)

  Show description for 68a7d1e
  dependabot[bot]

  authored
  68a7d1e

  Copy full SHA for 68a7d1e

• Add a fast-path to _coerce_exprs. (#7995)

  Show description for 9a2867a
  nelhage

  authored
  9a2867a

  Copy full SHA for 9a2867a

Commits on Oct 20, 2025

• add the "noexcept" keyword to value_score=(value_score&&) declaration

  levnach

  committed
  06ed96d

  Copy full SHA for 06ed96d

• disable manylinux until segfault is resolved

  Show description for f2e7abb
  NikolajBjorner

  committed
  f2e7abb

  Copy full SHA for f2e7abb

Commits on Oct 19, 2025

• build fixes

  Show description for aaaa32b
  NikolajBjorner

  committed
  aaaa32b

  Copy full SHA for aaaa32b

• add explicit constructors for nightly mac build failure

  Show description for d65c0fb
  NikolajBjorner

  committed
  d65c0fb

  Copy full SHA for d65c0fb

Commits on Oct 18, 2025

• Update arith_rewriter.cpp

  Show description for fcc7e02
  NikolajBjorner

  authored
  fcc7e02

  Copy full SHA for fcc7e02

Commits on Oct 16, 2025

• Revert "Add finite_set_value_factory for creating finite set values in model …" (#7985)

  Show description for 62ee7cc
  NikolajBjorner

  authored
  62ee7cc

  Copy full SHA for 62ee7cc

• Add finite_set_value_factory for creating finite set values in model generation (#7981)

  Show description for 05ffc0a
  

  Copilot

  and

  NikolajBjorner

  authored
  05ffc0a

  Copy full SHA for 05ffc0a

Commits on Oct 15, 2025

• restore the method behavior

  Show description for a179286
  levnach

  committed
  a179286

  Copy full SHA for a179286

• restore single cell

  Show description for 1921260
  levnach

  committed
  1921260

  Copy full SHA for 1921260

• trim parametric datatype test

  Show description for 3b565bb
  NikolajBjorner

  committed
  3b565bb

  Copy full SHA for 3b565bb

• Update Z3_mk_datatype_sort API to accept array of sort parameters and add Z3_mk_polymorphic_datatype (#7966)

  Show description for 5163411
  

  Copilot

  and

  NikolajBjorner

  authored
  5163411

  Copy full SHA for 5163411

Commits on Oct 14, 2025

• Bump github/codeql-action from 3 to 4 (#7971)

  Show description for e669fbe
  dependabot[bot]

  authored
  e669fbe

  Copy full SHA for e669fbe

Commits on Oct 7, 2025

• parameter eval order

  Show description for 641741f
  levnach

  committed
  641741f

  Copy full SHA for 641741f

• parameter eval order

  Show description for 8af9a20
  levnach

  committed
  8af9a20

  Copy full SHA for 8af9a20

• parameter eval order

  Show description for 6a9520b
  levnach

  committed
  6a9520b

  Copy full SHA for 6a9520b

• parameter eval order

  Show description for 8ccf4cd
  levnach

  committed
  8ccf4cd

  Copy full SHA for 8ccf4cd

• parameter eval order

  Show description for 40b9800
  levnach

  committed
  40b9800

  Copy full SHA for 40b9800

• parameter eval order

  Show description for a41549e
  levnach

  committed
  a41549e

  Copy full SHA for a41549e

• parameter eval order

  Show description for 2b3068d
  levnach

  committed
  2b3068d

  Copy full SHA for 2b3068d

• param eval order

  levnach

  committed
  3a2bbf4

  Copy full SHA for 3a2bbf4

• param eval

  levnach

  committed
  6e52b95

  Copy full SHA for 6e52b95

• parameter evaluation order

  levnach

  committed
  93ff8c7

  Copy full SHA for 93ff8c7

• parameter eval order

  levnach

  committed
  00f1e6a

  Copy full SHA for 00f1e6a

• param order evaluation

  levnach

  committed
  c154b9d

  Copy full SHA for c154b9d

Commits on Oct 6, 2025

• param order

  Show description for 77c70bf
  levnach

  committed
  77c70bf

  Copy full SHA for 77c70bf

• param order

  Show description for 63bb367
  levnach

  committed
  63bb367

  Copy full SHA for 63bb367

• remove AI slop

  Show description for e9a2766
  NikolajBjorner

  committed
  e9a2766

  Copy full SHA for e9a2766

• fix the order of parameter evaluation

  Show description for 5a96632
  levnach

  committed
  5a96632

  Copy full SHA for 5a96632

• fixing the order

  Show description for 5ae858f
  levnach

  committed
  5ae858f

  Copy full SHA for 5ae858f

• fixing the order

  Show description for aa5645b
  levnach

  committed
  aa5645b

  Copy full SHA for aa5645b

Pagination

Previous

Next