Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 30, 2022

• tiny fix to qprofdiff (Z3Prover#6497)

  nikswamy

  authored
  8002a51

  Copy full SHA for 8002a51

Commits on Aug 3, 2022

• Remove contrib/cmake.

  Show description for 55b70b4
  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  55b70b4

  Copy full SHA for 55b70b4

• Remove Travis CI configs.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  3ab9628

  Copy full SHA for 3ab9628

Commits on Aug 3, 2021

• Correct a typo in contrib/ci/README.md (Z3Prover#5453)

  felixonmars

  authored
  60a2505

  Copy full SHA for 60a2505

Commits on Jun 3, 2021

• disable travis

  Show description for d233005
  NikolajBjorner

  committed
  d233005

  Copy full SHA for d233005

Commits on May 16, 2021

• BUILD_LIBZ3_SHARED

  Show description for 93a9847
  NikolajBjorner

  committed
  93a9847

  Copy full SHA for 93a9847

Commits on Feb 21, 2021

• travis: dont hang when installing tzdata

  nunoplopes

  committed
  26c96e4

  Copy full SHA for 26c96e4

Commits on Feb 20, 2021

• travis: switch to ubuntu 20.04

  nunoplopes

  committed
  020e639

  Copy full SHA for 020e639

• travis: fix asan symbolizer path

  nunoplopes

  committed
  f59ff7c

  Copy full SHA for f59ff7c

• travis: fall back to python 2; will move to 3 with ubuntu 20 only

  nunoplopes

  committed
  ef32977

  Copy full SHA for ef32977

• travis: simplify task of bots timing out

  nunoplopes

  committed
  34d56d3

  Copy full SHA for 34d56d3

• travis: lets try with python 3

  nunoplopes

  committed
  fd698f4

  Copy full SHA for fd698f4

Commits on Feb 19, 2021

• travis: try to get build bots not to timeout..

  nunoplopes

  committed
  f1e6227

  Copy full SHA for f1e6227

• travis: disable lsan as it doesnt work on docker

  nunoplopes

  committed
  0606506

  Copy full SHA for 0606506

Commits on Feb 18, 2021

• travis fixes

  nunoplopes

  committed
  c9d6dcc

  Copy full SHA for c9d6dcc

• update travis to ubuntu 18.04

  Show description for 1105f4a
  nunoplopes

  committed
  1105f4a

  Copy full SHA for 1105f4a

Commits on Aug 8, 2020

• modular Axiom Profiler (Z3Prover#4619)

  Show description for 3852d45
  rospoly

  authored
  3852d45

  Copy full SHA for 3852d45

Commits on Jul 15, 2020

• Fix bug in qprofdiff. Fixes Z3Prover#4521.

  

  Christoph M. Wintersteiger

  committed
  7dd2870

  Copy full SHA for 7dd2870

Commits on May 23, 2020

• remove support for decade old ubuntu 14. keep support for 16, 18, 20 LTS

  nunoplopes

  committed
  b7b8ed2

  Copy full SHA for b7b8ed2

Commits on May 21, 2020

• Add pkg-config file (Z3Prover#4368)

  Show description for 7e84a48
  XVilka

  authored
  7e84a48

  Copy full SHA for 7e84a48

Commits on May 16, 2020

• restore exec bit on a few more script; trying to unbreak buildbots

  nunoplopes

  committed
  e6ee58b

  Copy full SHA for e6ee58b

Commits on May 15, 2020

• comment out the call to nra_solver

  Show description for 08940cf
  levnach

  committed
  08940cf

  Copy full SHA for 08940cf

Commits on Nov 19, 2019

• update names of config vars

  Show description for c62380a
  NikolajBjorner

  committed
  c62380a

  Copy full SHA for c62380a

• rename additional build options Z3Prover#2709

  Show description for 4522e7a
  NikolajBjorner

  committed
  4522e7a

  Copy full SHA for 4522e7a

• rename additional build options Z3Prover#2709

  Show description for 53a01a0
  NikolajBjorner

  committed
  53a01a0

  Copy full SHA for 53a01a0

• rename additional build options Z3Prover#2709

  Show description for 48554f0
  NikolajBjorner

  committed
  48554f0

  Copy full SHA for 48554f0

• rename additional build options Z3Prover#2709

  Show description for b50f850
  NikolajBjorner

  committed
  b50f850

  Copy full SHA for b50f850

• remove deprecated USE_OPENMP, rename API_LOG_SYNC to Z3_API_LOG_SYNC (tiny part of Z3Prover#2709)

  Show description for 3ab9a1c
  NikolajBjorner

  committed
  3ab9a1c

  Copy full SHA for 3ab9a1c

Commits on Jun 7, 2019

• update pipeline

  Show description for 66283a1
  NikolajBjorner

  committed
  66283a1

  Copy full SHA for 66283a1

Commits on Feb 7, 2019

• Fix bug in qprofdiff

  

  Christoph M. Wintersteiger

  committed
  1b1ff8d

  Copy full SHA for 1b1ff8d

Commits on Jan 20, 2019

• add main remaining updates from Z3Prover#1815

  Show description for 785fe2f
  NikolajBjorner

  committed
  785fe2f

  Copy full SHA for 785fe2f

• incrementally adding files from dotnet core pull request from @yatli

  Show description for 37d9e6d
  NikolajBjorner

  committed
  37d9e6d

  Copy full SHA for 37d9e6d

Commits on Jan 16, 2019

• Revert "api: dotnet: switch to multi-targeting project and modern cmake-dotnet integration."

  NikolajBjorner

  authored
  038971c

  Copy full SHA for 038971c

Commits on Jan 14, 2019

• dotnet deps hack for test

  

  Yatao Li

  committed
  43ee345

  Copy full SHA for 43ee345

• Dockerfile: update ubuntu 14.04 image with cmake 3.12

  

  Yatao Li

  committed
  58e8b2b

  Copy full SHA for 58e8b2b

Pagination

Previous

Next