Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 5, 2017

• fix trace/debug build for unreferenced variables

  Show description for 41803ec
  NikolajBjorner

  committed
  41803ec

  Copy full SHA for 41803ec

• deal with warning messages

  Show description for cba9a16
  NikolajBjorner

  committed
  cba9a16

  Copy full SHA for cba9a16

• Merge pull request #1129 from mtrberzi/fix-warnings

  Show description for 5b8e3ae
  NikolajBjorner

  authored
  5b8e3ae

  Copy full SHA for 5b8e3ae

Commits on Jul 4, 2017

• fix compiler warnings

  Show description for bd92797
  NikolajBjorner

  committed
  bd92797

  Copy full SHA for bd92797

• fix compiler warnings

  Show description for d66db28
  NikolajBjorner

  committed
  d66db28

  Copy full SHA for d66db28

• fix compiler warnings

  Show description for a1306ea
  NikolajBjorner

  committed
  a1306ea

  Copy full SHA for a1306ea

• fix compiler warnings

  Show description for 253870c
  NikolajBjorner

  committed
  253870c

  Copy full SHA for 253870c

• clean up warnings in theory_str

  mtrberzi

  committed
  03fe3d7

  Copy full SHA for 03fe3d7

Commits on Jul 2, 2017

• icon update, take 4

  Show description for 47f194e
  NikolajBjorner

  committed
  47f194e

  Copy full SHA for 47f194e

• icon update, take 3

  Show description for cc4cc8e
  NikolajBjorner

  committed
  cc4cc8e

  Copy full SHA for cc4cc8e

• icon update, take 2

  Show description for 416d955
  NikolajBjorner

  committed
  416d955

  Copy full SHA for 416d955

• revert icon update

  Show description for 934dd0d
  NikolajBjorner

  committed
  934dd0d

  Copy full SHA for 934dd0d

Commits on Jul 1, 2017

• use iterators, update build icon for osx

  Show description for 031d7e1
  NikolajBjorner

  committed
  031d7e1

  Copy full SHA for 031d7e1

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

  NikolajBjorner

  committed
  c66ec9d

  Copy full SHA for c66ec9d

• cleanup for warning message

  Show description for 08524a2
  NikolajBjorner

  committed
  08524a2

  Copy full SHA for 08524a2

• Merge pull request #1126 from delcypher/travis_ci_initial_implementation

  Show description for 27ad181
  NikolajBjorner

  authored
  27ad181

  Copy full SHA for 27ad181

• [TravisCI] Implement TravisCI build and testing infrastructure for Linux

  Show description for 8310fed
  

  Dan Liew

  committed
  8310fed

  Copy full SHA for 8310fed

• fix unsoundness bug instroduced when fixing #1125

  Show description for be4b0ff
  NikolajBjorner

  committed
  be4b0ff

  Copy full SHA for be4b0ff

• use worklist algorithm to avoid stack overflow #1125

  Show description for c44c828
  NikolajBjorner

  committed
  c44c828

  Copy full SHA for c44c828

Commits on Jun 28, 2017

• Fixed backwards compatibility problem in maxsat example

  wintersteiger

  committed
  1f29ceb

  Copy full SHA for 1f29ceb

• Fixed x86/x64 issues in theory_str

  wintersteiger

  committed
  1a59123

  Copy full SHA for 1a59123

Commits on Jun 27, 2017

• Merge pull request #1119 from levnach/master

  Show description for ac519f5
  NikolajBjorner

  authored
  ac519f5

  Copy full SHA for ac519f5

• fix run of lp_solver for mps files

  Show description for 4d0fda8
  levnach

  committed
  4d0fda8

  Copy full SHA for 4d0fda8

• Merge pull request #1117 from levnach/master

  Show description for 475b5c7
  NikolajBjorner

  authored
  475b5c7

  Copy full SHA for 475b5c7

Commits on Jun 26, 2017

• fix maybe non initialized warning

  Show description for dfe15ad
  levnach

  committed
  dfe15ad

  Copy full SHA for dfe15ad

• ensure that auxiliary PB booleans are recognized during rewriting. Fixes segementation fault #1113, but does not address performance issues with quantifiers and optimization combinations

  Show description for 244cbc2
  NikolajBjorner

  committed
  244cbc2

  Copy full SHA for 244cbc2

• fix bitrot in maxsat example reference management #1116

  Show description for 7db1847
  NikolajBjorner

  committed
  7db1847

  Copy full SHA for 7db1847

• Merge pull request #1115 from delcypher/cmake_maxsat_example

  Show description for 404db57
  NikolajBjorner

  authored
  404db57

  Copy full SHA for 404db57

• Merge pull request #1114 from delcypher/python_api_example_fixes

  Show description for fe78113
  wintersteiger

  authored
  fe78113

  Copy full SHA for fe78113

• [CMake] Teach CMake to build the `maxsat` example as an external

  Show description for 4d6cbd3
  

  Dan Liew

  committed
  4d6cbd3

  Copy full SHA for 4d6cbd3

• Fix Python API examples so they work with Python 3 as well as Python 2.

  

  Dan Liew

  committed
  896aae5

  Copy full SHA for 896aae5

• [CMake] Add missing python example files.

  Show description for 849eb38
  

  Dan Liew

  committed
  849eb38

  Copy full SHA for 849eb38

Commits on Jun 25, 2017

• Merge pull request #1111 from delcypher/fix_cxx_api_exceptions_gcc_4_8

  Show description for bfd1bbc
  NikolajBjorner

  authored
  bfd1bbc

  Copy full SHA for bfd1bbc

• Unbreak Z3 C++ API exception support for GCC < 5.0. This was broken

  Show description for 42e0f8f
  

  Dan Liew

  committed
  42e0f8f

  Copy full SHA for 42e0f8f

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

  wintersteiger

  committed
  2fceac0

  Copy full SHA for 2fceac0

Pagination

Previous

Next