Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 3, 2021

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

  felixonmars

  committedAug 3, 2021
  60a2505

Commits on May 16, 2021

• BUILD_LIBZ3_SHARED

  NikolajBjorner

  committedMay 16, 2021
  93a9847

Commits on Feb 21, 2021

• travis: dont hang when installing tzdata

  nunoplopes

  committedFeb 21, 2021
  26c96e4

Commits on Feb 20, 2021

• travis: switch to ubuntu 20.04

  nunoplopes

  committedFeb 20, 2021
  020e639

• travis: fix asan symbolizer path

  nunoplopes

  committedFeb 20, 2021
  f59ff7c

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

  nunoplopes

  committedFeb 20, 2021
  ef32977

• travis: simplify task of bots timing out

  nunoplopes

  committedFeb 20, 2021
  34d56d3

• travis: lets try with python 3

  nunoplopes

  committedFeb 20, 2021
  fd698f4

Commits on Feb 19, 2021

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

  nunoplopes

  committedFeb 19, 2021
  f1e6227

• travis: disable lsan as it doesnt work on docker

  nunoplopes

  committedFeb 19, 2021
  0606506

Commits on Feb 18, 2021

• travis fixes

  nunoplopes

  committedFeb 18, 2021
  c9d6dcc

• update travis to ubuntu 18.04

  nunoplopes

  committedFeb 18, 2021
  1105f4a

Commits on May 23, 2020

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

  nunoplopes

  committedMay 23, 2020
  b7b8ed2

Commits on May 21, 2020

• Add pkg-config file (Z3Prover#4368)

  XVilka

  committedMay 21, 2020
  7e84a48

Commits on May 16, 2020

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

  nunoplopes

  committedMay 16, 2020
  e6ee58b

Commits on May 15, 2020

• comment out the call to nra_solver

  levnach

  committedMay 15, 2020
  08940cf

Commits on Nov 19, 2019

• update names of config vars

  NikolajBjorner

  committedNov 19, 2019
  c62380a

• rename additional build options Z3Prover#2709

  NikolajBjorner

  committedNov 19, 2019
  4522e7a

• rename additional build options Z3Prover#2709

  NikolajBjorner

  committedNov 19, 2019
  53a01a0

• rename additional build options Z3Prover#2709

  NikolajBjorner

  committedNov 19, 2019
  48554f0

• rename additional build options Z3Prover#2709

  NikolajBjorner

  committedNov 19, 2019
  b50f850

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

  NikolajBjorner

  committedNov 19, 2019
  3ab9a1c

Commits on Jun 7, 2019

• update pipeline

  NikolajBjorner

  committedJun 7, 2019
  66283a1

Commits on Jan 20, 2019

• add main remaining updates from Z3Prover#1815

  NikolajBjorner

  committedJan 20, 2019
  785fe2f

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

  NikolajBjorner

  committedJan 20, 2019
  37d9e6d

Commits on Jan 16, 2019

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

  NikolajBjorner

  committedJan 16, 2019
  038971c

Commits on Jan 14, 2019

• dotnet deps hack for test

  yatli

  committedJan 14, 2019
  43ee345

• Dockerfile: update ubuntu 14.04 image with cmake 3.12

  yatli

  committedJan 14, 2019
  58e8b2b

Commits on Jan 12, 2019

• docker: ubuntu 14.04 dotnet source fix

  yatli

  committedJan 12, 2019
  0a6a767

• dotnet: move example project build to cmake

  yatli

  committedJan 12, 2019
  5e79dba

Commits on Dec 29, 2018

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

  yatli

  committedDec 29, 2018
  f5b874e

Commits on Oct 20, 2018

• Fix some spelling errors (mostly in comments).

  flopp

  committedOct 20, 2018
  326bf40

Commits on Sep 12, 2018

• ...

  yatli

  committedSep 12, 2018
  461c32e

• CI: update dotnet example to coreclr 2.0

  yatli

  committedSep 12, 2018
  aae28bd

Commits on Sep 11, 2018

• CI: Dockerfile: install curl before dotnet

  yatli

  committedSep 11, 2018
  5474e16

Pagination

PreviousNext