Commits

Breadcrumbs

History for

onv1.2.0

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 7, 2024

• add download of Arm64 to python packaging

  Show description for 3049f57
  NikolajBjorner

  committed
  3049f57

  Copy full SHA for 3049f57

• Add LinuxBuildsArm64 to python wheels in release (Z3Prover#7155)

  smoy

  authored
  7b7084d

  Copy full SHA for 7b7084d

• Downgrade arm cross compile toolchain to glibc 2.34 (Z3Prover#7153)

  smoy

  authored
  e873664

  Copy full SHA for e873664

Commits on Mar 6, 2024

• remove test

  Show description for 364da19
  NikolajBjorner

  committed
  364da19

  Copy full SHA for 364da19

• Add LinuxBuildsArm64 ci azure-pipelines for testing (Z3Prover#7152)

  smoy

  authored
  aad8cbd

  Copy full SHA for aad8cbd

• Handle cross compile within manylinux (Z3Prover#7150)

  smoy

  authored
  017367d

  Copy full SHA for 017367d

Commits on Mar 5, 2024

• update python build dependencies

  Show description for cfa6bd4
  NikolajBjorner

  committed
  cfa6bd4

  Copy full SHA for cfa6bd4

• Revert "For many linux build, use aarch64 instead of arm64 (Z3Prover#7147)" (Z3Prover#7148)

  Show description for 1068708
  NikolajBjorner

  authored
  1068708

  Copy full SHA for 1068708

• For many linux build, use aarch64 instead of arm64 (Z3Prover#7147)

  smoy

  authored
  7694bca

  Copy full SHA for 7694bca

• Add arm64 for linux python wheels to nightly (Z3Prover#7145)

  smoy

  authored
  4050a43

  Copy full SHA for 4050a43

Commits on Feb 26, 2024

• convert formatting tabs to spaces (Z3Prover#7140)

  Show description for 2880ea3
  jfleisher

  authored
  2880ea3

  Copy full SHA for 2880ea3

• update versions

  Show description for c67200e
  NikolajBjorner

  committed
  c67200e

  Copy full SHA for c67200e

Commits on Feb 24, 2024

• enable release publish

  Show description for fa2c0e0
  NikolajBjorner

  committed
  fa2c0e0

  Copy full SHA for fa2c0e0

• Update nightly.yaml for Azure Pipelines (Z3Prover#7139)

  Show description for 85425a6
  

  jfleisher

  and

  NikolajBjorner

  authored
  85425a6

  Copy full SHA for 85425a6

Commits on Feb 22, 2024

• prepare for 12.6

  Show description for 785f71b
  NikolajBjorner

  committed
  785f71b

  Copy full SHA for 785f71b

Commits on Feb 6, 2024

• move files from lib and java directory to bin

  Show description for 937d4aa
  NikolajBjorner

  committed
  937d4aa

  Copy full SHA for 937d4aa

Commits on Feb 5, 2024

• typo

  Show description for f4474a3
  NikolajBjorner

  committed
  f4474a3

  Copy full SHA for f4474a3

• distinguish vs-arch from arch identifier

  Show description for 446a9de
  NikolajBjorner

  committed
  446a9de

  Copy full SHA for 446a9de

• move libz3.so from lib to bin, remove lib from distribution

  Show description for 548b9d0
  NikolajBjorner

  committed
  548b9d0

  Copy full SHA for 548b9d0

Commits on Feb 4, 2024

• update assembly names

  Show description for a2fa4ff
  NikolajBjorner

  committed
  a2fa4ff

  Copy full SHA for a2fa4ff

• update assembly names

  Show description for c926705
  NikolajBjorner

  committed
  c926705

  Copy full SHA for c926705

• copy over dotnet files

  Show description for b9bec18
  NikolajBjorner

  committed
  b9bec18

  Copy full SHA for b9bec18

Commits on Feb 3, 2024

• fix typo

  Show description for 24ffef8
  NikolajBjorner

  committed
  24ffef8

  Copy full SHA for 24ffef8

• update build-win-signed-cmake

  Show description for e295ac9
  NikolajBjorner

  committed
  e295ac9

  Copy full SHA for e295ac9

• update build-win-signed-cmake

  Show description for e398f84
  NikolajBjorner

  committed
  e398f84

  Copy full SHA for e398f84

• update mk-win-dist-cmake

  Show description for bd082ab
  NikolajBjorner

  committed
  bd082ab

  Copy full SHA for bd082ab

• update mk-win-dist-cmake

  Show description for 14fb235
  NikolajBjorner

  committed
  14fb235

  Copy full SHA for 14fb235

Commits on Feb 2, 2024

• move windows builds to use mk_win_dist_cmake in nightly

  Show description for 736d634
  NikolajBjorner

  committed
  736d634

  Copy full SHA for 736d634

• move windows builds to use mk_win_dist_cmake in nightly

  Show description for cfc8774
  NikolajBjorner

  committed
  cfc8774

  Copy full SHA for cfc8774

• fixing paths and re-add arm64

  Show description for 05d625b
  NikolajBjorner

  committed
  05d625b

  Copy full SHA for 05d625b

• add back legacy build-win-signed

  Show description for 485a018
  NikolajBjorner

  committed
  485a018

  Copy full SHA for 485a018

• add back legacy build-win-signed

  Show description for 9db834c
  NikolajBjorner

  committed
  9db834c

  Copy full SHA for 9db834c

• add 'dist' to folder path

  Show description for 0d24ec3
  NikolajBjorner

  committed
  0d24ec3

  Copy full SHA for 0d24ec3

• include variable ReleaseVersion in Nightly

  Show description for 4260206
  NikolajBjorner

  committed
  4260206

  Copy full SHA for 4260206

• include variable ReleaseVersion in Nightly

  Show description for 30c14f5
  NikolajBjorner

  committed
  30c14f5

  Copy full SHA for 30c14f5

Pagination

Previous

Next