Commits

Branch selector

 0837e3b

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 3, 2024

• Fix nightly (Z3Prover#7365)

  Show description for 0837e3b
  rhelmot

  authored
  0837e3b

  Copy full SHA for 0837e3b

• Adjust memory reallocation to consider SIZE_T_ALIGN in memory_manager

  NikolajBjorner

  committed
  5237e7d

  Copy full SHA for 5237e7d

• Add reference URL to GenAI script file for auto Git commit guide

  NikolajBjorner

  committed
  6086a30

  Copy full SHA for 6086a30

• Z3Prover#6902

  Show description for db4176a
  NikolajBjorner

  committed
  db4176a

  Copy full SHA for db4176a

Commits on Sep 2, 2024

• replace a few old-school constructors for a 0.5% reduction in code size

  Show description for ef58376
  nunoplopes

  committed
  ef58376

  Copy full SHA for ef58376

Commits on Aug 31, 2024

• revert update to vector for testing Z3Prover#6902

  Show description for a3eb2ff
  NikolajBjorner

  committed
  a3eb2ff

  Copy full SHA for a3eb2ff

• fix build

  Show description for a1bcf13
  NikolajBjorner

  committed
  a1bcf13

  Copy full SHA for a1bcf13

Commits on Aug 30, 2024

• Z3Prover#7362

  Show description for 01a4195
  NikolajBjorner

  committed
  01a4195

  Copy full SHA for 01a4195

• Z3Prover#7362

  Show description for 9a87bb1
  NikolajBjorner

  committed
  9a87bb1

  Copy full SHA for 9a87bb1

• update gitignore to prepare for genaiscript

  Show description for 46d602e
  NikolajBjorner

  committed
  46d602e

  Copy full SHA for 46d602e

• 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

• Update azure-pipelines.yml

  NikolajBjorner

  authored
  ea93f07

  Copy full SHA for ea93f07

• add back auditwheel

  Show description for cd89867
  NikolajBjorner

  committed
  cd89867

  Copy full SHA for cd89867

• Update README.md

  NikolajBjorner

  authored
  ea417bb

  Copy full SHA for ea417bb

• retain pip install build, remove audit

  Show description for 954dddb
  NikolajBjorner

  committed
  954dddb

  Copy full SHA for 954dddb

• fix expected

  Show description for 5360656
  NikolajBjorner

  committed
  5360656

  Copy full SHA for 5360656

• Bump docker/build-push-action from 6.6.1 to 6.7.0 (Z3Prover#7350)

  Show description for 0bf3eeb
  dependabot[bot]

  authored
  0bf3eeb

  Copy full SHA for 0bf3eeb

• adding to nightly

  Show description for f6dbaee
  NikolajBjorner

  committed
  f6dbaee

  Copy full SHA for f6dbaee

• New python packaging and tests (Z3Prover#7356)

  Show description for e1f1d67
  rhelmot

  authored
  e1f1d67

  Copy full SHA for e1f1d67

Commits on Aug 26, 2024

• Z3Prover#7344

  NikolajBjorner

  committed
  349ebd0

  Copy full SHA for 349ebd0

• make gcc linting happy

  Show description for 84da614
  NikolajBjorner

  committed
  84da614

  Copy full SHA for 84da614

• fix attribute order

  Show description for b84b4e7
  NikolajBjorner

  committed
  b84b4e7

  Copy full SHA for b84b4e7

• address compiler warnings gcc-13

  Show description for 49ba3bc
  NikolajBjorner

  committed
  49ba3bc

  Copy full SHA for 49ba3bc

• Avoid broken stack at few places (Z3Prover#7353)

  Show description for cff1e92
  

  catap

  and

  NikolajBjorner

  authored
  cff1e92

  Copy full SHA for cff1e92

• Z3Prover#7353 - clear pointer when existing stack

  Show description for 6a68cc5
  NikolajBjorner

  committed
  6a68cc5

  Copy full SHA for 6a68cc5

Commits on Aug 15, 2024

• Fix building with Windows SDK and Clang-CL (Z3Prover#7337)

  Show description for c1454dc
  Naville

  authored
  c1454dc

  Copy full SHA for c1454dc

Commits on Aug 14, 2024

• Bump docker/build-push-action from 6.5.0 to 6.6.1 (Z3Prover#7338)

  Show description for 0612a0b
  dependabot[bot]

  authored
  0612a0b

  Copy full SHA for 0612a0b

• fix Z3Prover#7343

  Show description for 6565455
  NikolajBjorner

  committed
  6565455

  Copy full SHA for 6565455

• fix Z3Prover#7343

  Show description for ed17de5
  NikolajBjorner

  committed
  ed17de5

  Copy full SHA for ed17de5

Commits on Aug 13, 2024

• wasm build problem

  Show description for 83f47bd
  levnach

  committed
  83f47bd

  Copy full SHA for 83f47bd

Commits on Aug 12, 2024

• add release nodes and add the author reference in qfnra_tactic

  Show description for bf34600
  levnach

  committed
  bf34600

  Copy full SHA for bf34600

Pagination

Previous

Next