Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 31, 2024

• Merge branch 'master' into new_z3_4.13.4

  jurajsic

  committed
  d935db5

  Copy full SHA for d935db5

Commits on Nov 28, 2024

• update cmake to handle WASM build

  vhavlena

  committed
  aadb1e2

  Copy full SHA for aadb1e2

Commits on Nov 21, 2024

• Z3Prover#7418 - circumvent use of timer threads to make WASM integration of z3 easier

  Show description for 71bad71
  NikolajBjorner

  committed
  71bad71

  Copy full SHA for 71bad71

Commits on Oct 13, 2024

• fixes for Z3Prover#7420 Z3Prover#7405

  NikolajBjorner

  committed
  56b706a

  Copy full SHA for 56b706a

Commits on Oct 11, 2024

• increment minor version number

  Show description for 7a0b58b
  NikolajBjorner

  committed
  7a0b58b

  Copy full SHA for 7a0b58b

Commits on Sep 30, 2024

• increment minor revision number

  Show description for 2ac6f8b
  NikolajBjorner

  committed
  2ac6f8b

  Copy full SHA for 2ac6f8b

Commits on Sep 27, 2024

• update version number and release notes

  NikolajBjorner

  committed
  9a8ff74

  Copy full SHA for 9a8ff74

Commits on Sep 22, 2024

• update to c++20, remove debug output

  Show description for 1e580a7
  NikolajBjorner

  committed
  1e580a7

  Copy full SHA for 1e580a7

Commits on Apr 10, 2024

• Merge branch 'master' into new-new-z3

  jurajsic

  committed
  9c54c84

  Copy full SHA for 9c54c84

Commits on Mar 7, 2024

• increment version number

  Show description for a4ecaf1
  NikolajBjorner

  committed
  a4ecaf1

  Copy full SHA for a4ecaf1

Commits on Feb 26, 2024

• update versions

  Show description for c67200e
  NikolajBjorner

  committed
  c67200e

  Copy full SHA for c67200e

Commits on Jan 24, 2024

• update minor version number

  Show description for 1335466
  NikolajBjorner

  committed
  1335466

  Copy full SHA for 1335466

Commits on Dec 6, 2023

• update minor version number

  Show description for 6afed08
  NikolajBjorner

  committed
  6afed08

  Copy full SHA for 6afed08

Commits on Dec 5, 2023

• update release notes, update version number

  Show description for 389aea3
  NikolajBjorner

  committed
  389aea3

  Copy full SHA for 389aea3

Commits on Dec 2, 2023

• CMake: Improve handling of git hash/describe (Z3Prover#7028)

  Show description for ed5ab54
  Flamefire

  authored
  ed5ab54

  Copy full SHA for ed5ab54

Commits on Nov 27, 2023

• cmake: Use FindPython3. (Z3Prover#7019)

  Show description for 9d1ceab
  waywardmonkeys

  authored
  9d1ceab

  Copy full SHA for 9d1ceab

Commits on Nov 26, 2023

• cmake: Require cmake 3.16 or later. (Z3Prover#7015)

  Show description for 9d3fef3
  waywardmonkeys

  authored
  9d3fef3

  Copy full SHA for 9d3fef3

Commits on Sep 26, 2023

• Merge branch 'master' into update_z3

  jurajsic

  committed
  1ba1904

  Copy full SHA for 1ba1904

Commits on Jul 9, 2023

• Typo Fixes (Z3Prover#6803)

  THE-Spellchecker

  authored
  dc0887d

  Copy full SHA for dc0887d

Commits on Jun 23, 2023

• Update used C++ standard to C++20

  Adda0

  committed
  8916524

  Copy full SHA for 8916524

Commits on May 12, 2023

• update version number

  Show description for f928b44
  NikolajBjorner

  committed
  f928b44

  Copy full SHA for f928b44

Commits on Jan 18, 2023

• increment release version

  Show description for 59c41bd
  NikolajBjorner

  committed
  59c41bd

  Copy full SHA for 59c41bd

• mata as lib: integration

  vhavlena

  committed
  dd349d2

  Copy full SHA for dd349d2

Commits on Jan 17, 2023

• 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 Dec 15, 2022

• Fix Mata include

  Adda0

  committed
  130509b

  Copy full SHA for 130509b

Commits on Dec 2, 2022

• Link libMata to z3 and tests-noodler

  Adda0

  committed
  0c3fd01

  Copy full SHA for 0c3fd01

Commits on Oct 19, 2022

• increment version per release notes

  Show description for a90c4f6
  NikolajBjorner

  committed
  a90c4f6

  Copy full SHA for a90c4f6

Commits on Sep 22, 2022

• Add option 'MSVC_STATIC' (Z3Prover#6358)

  Show description for b0d0c36
  gmh5225

  authored
  b0d0c36

  Copy full SHA for b0d0c36

Commits on Sep 12, 2022

• increment version number

  NikolajBjorner

  committed
  ff679e0

  Copy full SHA for ff679e0

Commits on Sep 3, 2022

• inc version

  Show description for 8e6f17e
  NikolajBjorner

  committed
  8e6f17e

  Copy full SHA for 8e6f17e

Commits on Aug 18, 2022

• roll version number

  Show description for 540e36e
  NikolajBjorner

  committed
  540e36e

  Copy full SHA for 540e36e

Commits on Aug 3, 2022

• Remove all per-OS defines apart from _WINDOWS.

  Show description for dc75031
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  dc75031

  Copy full SHA for dc75031

• cmake: Remove telling the Intel compiler to link OpenMP.

  Show description for 85b96dc
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  85b96dc

  Copy full SHA for 85b96dc

Commits on Aug 2, 2022

• cmake: Cleanup remnants of workaround for USES_TERMINAL.

  Show description for 42f5047
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  42f5047

  Copy full SHA for 42f5047

• Use cmake properties for symbol visibility and PIC.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  b361226

  Copy full SHA for b361226

Pagination

Previous

Next