Commits

Breadcrumbs

History for

onef32977

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 20, 2021

• 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

Commits on Jan 12, 2019

• docker: ubuntu 14.04 dotnet source fix

  

  Yatao Li

  committed
  0a6a767

  Copy full SHA for 0a6a767

• dotnet: move example project build to cmake

  

  Yatao Li

  committed
  5e79dba

  Copy full SHA for 5e79dba

Commits on Dec 29, 2018

• Merge branch 'master' of https://github.com/Z3Prover/z3

  

  Yatao Li

  committed
  f5b874e

  Copy full SHA for f5b874e

Commits on Oct 20, 2018

• Fix some spelling errors (mostly in comments).

  flopp

  committed
  326bf40

  Copy full SHA for 326bf40

Commits on Sep 12, 2018

• ...

  

  Yatao Li

  committed
  461c32e

  Copy full SHA for 461c32e

• CI: update dotnet example to coreclr 2.0

  

  Yatao Li

  committed
  aae28bd

  Copy full SHA for aae28bd

Commits on Sep 11, 2018

• CI: Dockerfile: install curl before dotnet

  

  Yatao Li

  committed
  5474e16

  Copy full SHA for 5474e16

• CI: Dockerfile: use curl instead of wget

  

  Yatao Li

  committed
  5fdf3ff

  Copy full SHA for 5fdf3ff

• CI: configure dotnet via docker

  

  Yatao Li

  committed
  5bc7a5d

  Copy full SHA for 5bc7a5d

Pagination

Previous

Next