Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

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

• Adjusted rlimit increments in theory_arith to avoid non-termination issues

  wintersteiger

  committed
  c395516

  Copy full SHA for c395516

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

  wintersteiger

  committed
  ffbf19d

  Copy full SHA for ffbf19d

• Added rlimit increments in theory_arith to avoid non-termination issues via F*.

  wintersteiger

  committed
  ad7aff2

  Copy full SHA for ad7aff2

Commits on Jun 24, 2017

• Merge pull request #1110 from delcypher/cmake_2_8_12_fixes

  Show description for 33d8b9b
  NikolajBjorner

  authored
  33d8b9b

  Copy full SHA for 33d8b9b

• [CMake] Fix detection of git description and hash for CMake 2.8.12

  

  Dan Liew

  committed
  80c0c4f

  Copy full SHA for 80c0c4f

• [CMake] Unbreak the configure step for CMake 2.8.12

  

  Dan Liew

  committed
  3229bed

  Copy full SHA for 3229bed

• [CMake] Remove use of `INSTALL_PREFIX` argument to

  Show description for 489077a
  

  Dan Liew

  committed
  489077a

  Copy full SHA for 489077a

• [CMake] Unbreak detection of pthreads for CMake versions < 3.4

  

  Dan Liew

  committed
  5a8205c

  Copy full SHA for 5a8205c

• [CMake] Fix missing sanitization in `z3_add_cxx_flag flag()` function

  Show description for ae8a089
  

  Dan Liew

  committed
  ae8a089

  Copy full SHA for ae8a089

Commits on Jun 23, 2017

• make the option soup dependencies more user-friendly, #1109

  Show description for 1631a68
  NikolajBjorner

  committed
  1631a68

  Copy full SHA for 1631a68

• adding change notes to release notes for a future release

  Show description for 1681419
  NikolajBjorner

  committed
  1681419

  Copy full SHA for 1681419

• add separate get-objectives command #1107

  Show description for 9d18523
  NikolajBjorner

  committed
  9d18523

  Copy full SHA for 9d18523

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

  NikolajBjorner

  committed
  e3ec7e7

  Copy full SHA for e3ec7e7

• another fix for #1101

  Show description for cd4bb5b
  NikolajBjorner

  committed
  cd4bb5b

  Copy full SHA for cd4bb5b

• Merge pull request #1105 from agurfinkel/dl_fixes

  Show description for 42d0d29
  NikolajBjorner

  authored
  42d0d29

  Copy full SHA for 42d0d29

• Merge pull request #1104 from agurfinkel/cmake_fix

  Show description for ab355c2
  wintersteiger

  authored
  ab355c2

  Copy full SHA for ab355c2

• propagate rule names during xform

  agurfinkel

  committed
  c7fbab0

  Copy full SHA for c7fbab0

• fix missing initialization

  agurfinkel

  committed
  0dead22

  Copy full SHA for 0dead22

• [CMake] typos in cmake

  agurfinkel

  committed
  9874db7

  Copy full SHA for 9874db7

Pagination

Previous

Next