Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 16, 2025

• fix build issues on latest compilers

  Show description for a97fd80
  Philipp15b

  committed
  a97fd80

  Copy full SHA for a97fd80

Commits on Apr 11, 2025

• update minimum cmake version

  umutdural

  committed
  544ccb6

  Copy full SHA for 544ccb6

Commits on Jan 18, 2023

• update release script

  Show description for 3012293
  NikolajBjorner

  committed
  3012293

  Copy full SHA for 3012293

Commits on Jan 17, 2023

• updated release notes

  NikolajBjorner

  committed
  fcc1bb5

  Copy full SHA for fcc1bb5

• increase build version, better propagation in euf-egraph, handle assumptions in sat.smt

  Show description for 7368f9f
  NikolajBjorner

  committed
  7368f9f

  Copy full SHA for 7368f9f

Commits on Jan 16, 2023

• specify macos-11 in nightly to force os11 build

  Show description for c8f197d
  NikolajBjorner

  committed
  c8f197d

  Copy full SHA for c8f197d

• fix mbqi value caching issue raised by Clemens and Martin

  NikolajBjorner

  committed
  dde5218

  Copy full SHA for dde5218

Commits on Jan 15, 2023

• #6538

  Show description for d5fde2e
  NikolajBjorner

  committed
  d5fde2e

  Copy full SHA for d5fde2e

Commits on Jan 14, 2023

• fix bug in new core not detecting conflict, fix #6525, add tactic doc

  Show description for 4f7f437
  NikolajBjorner

  committed
  4f7f437

  Copy full SHA for 4f7f437

• Update release.yml for Azure Pipelines

  NikolajBjorner

  committed
  feda706

  Copy full SHA for feda706

• add sign

  Show description for 5dbd0bb
  NikolajBjorner

  committed
  5dbd0bb

  Copy full SHA for 5dbd0bb

• Update release.yml for Azure Pipelines

  NikolajBjorner

  committed
  54524de

  Copy full SHA for 54524de

• fixup manylinux reference in release script

  Show description for c33b1e3
  NikolajBjorner

  committed
  c33b1e3

  Copy full SHA for c33b1e3

• prepare release script

  Show description for 234ff28
  NikolajBjorner

  committed
  234ff28

  Copy full SHA for 234ff28

• missing code signing

  Show description for f180513
  NikolajBjorner

  committed
  f180513

  Copy full SHA for f180513

• missing code signing

  Show description for 60fef92
  NikolajBjorner

  committed
  60fef92

  Copy full SHA for 60fef92

Commits on Jan 13, 2023

• update code signing

  Show description for 42fbf23
  NikolajBjorner

  committed
  42fbf23

  Copy full SHA for 42fbf23

• fix #6535

  NikolajBjorner

  committed
  d289434

  Copy full SHA for d289434

• update readme

  Show description for 0d46787
  NikolajBjorner

  committed
  0d46787

  Copy full SHA for 0d46787

• remove update

  Show description for d204413
  NikolajBjorner

  committed
  d204413

  Copy full SHA for d204413

• include apt-get update for doc build

  Show description for 85abbb8
  NikolajBjorner

  committed
  85abbb8

  Copy full SHA for 85abbb8

• update version of manylinux

  NikolajBjorner

  committed
  e4bd406

  Copy full SHA for e4bd406

Commits on Jan 12, 2023

• move bound_manager to simplifiers, add bound manager to extract_eqs for solve-eqs #6532

  NikolajBjorner

  committed
  25b0b14

  Copy full SHA for 25b0b14

• Initialize m_istamp_id in lookahead::init (#6533)

  jamesjer

  authored
  e5e1626

  Copy full SHA for e5e1626

Commits on Jan 11, 2023

• expose parameters to control behavior for #5660

  NikolajBjorner

  committed
  8970a54

  Copy full SHA for 8970a54

• add tactic doc

  Show description for 1c7ff72
  NikolajBjorner

  committed
  1c7ff72

  Copy full SHA for 1c7ff72

• memory leak on proof justifications

  Show description for d415f07
  NikolajBjorner

  committed
  d415f07

  Copy full SHA for d415f07

Commits on Jan 10, 2023

• fix #6528

  NikolajBjorner

  committed
  b700dbf

  Copy full SHA for b700dbf

• Fix hwf.cpp for MinGW-w64 32-bit clang (#6529)

  Show description for 2bd933d
  brechtsanders

  authored
  2bd933d

  Copy full SHA for 2bd933d

• fix #6530

  Show description for c3e3114
  NikolajBjorner

  committed
  c3e3114

  Copy full SHA for c3e3114

Commits on Jan 9, 2023

• track assertions

  NikolajBjorner

  committed
  a4d4e2e

  Copy full SHA for a4d4e2e

• fix model reconstruction ordering for elim_unconstrained

  NikolajBjorner

  committed
  64ec8ac

  Copy full SHA for 64ec8ac

• remove exit

  Show description for 30e0f78
  NikolajBjorner

  committed
  30e0f78

  Copy full SHA for 30e0f78

• Bump json5 from 2.2.1 to 2.2.3 in /src/api/js (#6527)

  Show description for a4f2a1b
  dependabot[bot]

  authored
  a4f2a1b

  Copy full SHA for a4f2a1b

• split into separate function

  Show description for 49ee570
  NikolajBjorner

  committed
  49ee570

  Copy full SHA for 49ee570

Pagination

Previous

Next