Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 16, 2024

• fix build flags for release.yaml

  Show description for a6e59ea
  NikolajBjorner

  committed
  a6e59ea

  Copy full SHA for a6e59ea

Commits on Dec 15, 2024

• publish pypi

  Show description for a97ad76
  NikolajBjorner

  committed
  a97ad76

  Copy full SHA for a97ad76

• Update release.yml

  Show description for e40972b
  NikolajBjorner

  committed
  e40972b

  Copy full SHA for e40972b

Commits on Nov 2, 2024

• Sls (Z3Prover#7439)

  Show description for 91dc02d
  

  5 peopleauthored
  91dc02d

  Copy full SHA for 91dc02d

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 Oct 10, 2024

• downgrade to macos13 in builds until fully supported by pypi

  Show description for 6e3b99f
  NikolajBjorner

  committed
  6e3b99f

  Copy full SHA for 6e3b99f

Commits on Oct 9, 2024

• remove hard-wired osx=11.0

  Show description for 5dc1b1a
  NikolajBjorner

  committed
  5dc1b1a

  Copy full SHA for 5dc1b1a

• setup python dist to remove internal build suffix for macos

  NikolajBjorner

  committed
  48aa2f6

  Copy full SHA for 48aa2f6

Commits on Sep 30, 2024

• 2nd attempt to use uniform java library location under bin Z3Prover#7406

  Show description for 30b4fe6
  NikolajBjorner

  committed
  30b4fe6

  Copy full SHA for 30b4fe6

• attempt to use uniform java library location under bin Z3Prover#7406

  NikolajBjorner

  committed
  b65afd4

  Copy full SHA for b65afd4

• increment minor revision number

  Show description for 2ac6f8b
  NikolajBjorner

  committed
  2ac6f8b

  Copy full SHA for 2ac6f8b

• remove --java option

  Show description for c2b2626
  NikolajBjorner

  committed
  c2b2626

  Copy full SHA for c2b2626

• Update nightly.yaml for Azure Pipelines

  NikolajBjorner

  committed
  2123d38

  Copy full SHA for 2123d38

• try to build java on linux/arm nightly

  Show description for fc1c6b4
  NikolajBjorner

  committed
  fc1c6b4

  Copy full SHA for fc1c6b4

Commits on Sep 27, 2024

• update version number and release notes

  NikolajBjorner

  committed
  9a8ff74

  Copy full SHA for 9a8ff74

Commits on Sep 26, 2024

• pypi publish

  Show description for f4452a0
  NikolajBjorner

  committed
  f4452a0

  Copy full SHA for f4452a0

• align nightly and release yamls

  Show description for 649c36a
  NikolajBjorner

  committed
  649c36a

  Copy full SHA for 649c36a

• set to macos latest

  Show description for 8d831a1
  NikolajBjorner

  committed
  8d831a1

  Copy full SHA for 8d831a1

• remove ubuntu20

  Show description for b39bcd6
  NikolajBjorner

  committed
  b39bcd6

  Copy full SHA for b39bcd6

• fix indent

  Show description for ebdb037
  NikolajBjorner

  committed
  ebdb037

  Copy full SHA for ebdb037

• skip pypi publish during dry run

  Show description for c690279
  NikolajBjorner

  committed
  c690279

  Copy full SHA for c690279

Commits on Sep 25, 2024

• remove ubuntu build 20 from nightly

  Show description for 82eb186
  NikolajBjorner

  committed
  82eb186

  Copy full SHA for 82eb186

Commits on Sep 22, 2024

• Standardize C++20 flag across different platforms in build script

  NikolajBjorner

  committed
  1121815

  Copy full SHA for 1121815

• update to c++20, remove debug output

  Show description for 1e580a7
  NikolajBjorner

  committed
  1e580a7

  Copy full SHA for 1e580a7

Commits on Sep 3, 2024

• Fix nightly (Z3Prover#7365)

  Show description for 0837e3b
  rhelmot

  authored
  0837e3b

  Copy full SHA for 0837e3b

Commits on Aug 30, 2024

• Update nightly.yaml for Azure Pipelines

  NikolajBjorner

  committed
  84b2c21

  Copy full SHA for 84b2c21

Commits on Aug 29, 2024

• wheelhouse

  Show description for dcdb7c4
  NikolajBjorner

  committed
  dcdb7c4

  Copy full SHA for dcdb7c4

• Update nightly.yaml

  Show description for 96417d4
  NikolajBjorner

  authored
  96417d4

  Copy full SHA for 96417d4

• Update nightly.yaml

  Show description for 59853d0
  NikolajBjorner

  authored
  59853d0

  Copy full SHA for 59853d0

• update nightly

  Show description for c79477a
  NikolajBjorner

  committed
  c79477a

  Copy full SHA for c79477a

Commits on Aug 28, 2024

• adding to nightly

  Show description for f6dbaee
  NikolajBjorner

  committed
  f6dbaee

  Copy full SHA for f6dbaee

Commits on Jun 20, 2024

• disable publish and signing

  Show description for c137ef7
  NikolajBjorner

  committed
  c137ef7

  Copy full SHA for c137ef7

• disable publish and signing

  Show description for abea0b7
  NikolajBjorner

  committed
  abea0b7

  Copy full SHA for abea0b7

• skip signing

  Show description for b5c3a6a
  NikolajBjorner

  committed
  b5c3a6a

  Copy full SHA for b5c3a6a

Pagination

Previous

Next