Commits

Branch selector

 8d60005

User selector

All users

All time

Commit History

Commits on Oct 16, 2017

• [LSan] Remove suppression files. The were fixed on rebase

  

  Dan Liew

  committed
  8d60005

  Copy full SHA for 8d60005

• [LSan] Don't run c_maxsat_example with LeakSanitizer because

  Show description for ff5df20
  

  Dan Liew

  committed
  ff5df20

  Copy full SHA for ff5df20

• [LSan] Suppress another leak until I can figure out what is going on.

  

  Dan Liew

  committed
  f90fe92

  Copy full SHA for f90fe92

• [LSan] Add suppression for part of Z3Prover#1297.

  

  Dan Liew

  committed
  bcff86a

  Copy full SHA for bcff86a

• [TravisCI] Fix typo in created directory for suppression files

  

  Dan Liew

  committed
  a991e44

  Copy full SHA for a991e44

• [TravisCI] For ASan/LSan use larger context so we get larger stack

  Show description for 5bcdea1
  

  Dan Liew

  committed
  5bcdea1

  Copy full SHA for 5bcdea1

• [TravisCI] Make ASan/UBSan configuration a debug build.

  

  Dan Liew

  committed
  38d9e2d

  Copy full SHA for 38d9e2d

• [TravisCI] Add ASan configuration

  

  Dan Liew

  committed
  11f7298

  Copy full SHA for 11f7298

• [CMake] When building C/C++ API examples use the same build type

  Show description for 157c806
  

  Dan Liew

  committed
  157c806

  Copy full SHA for 157c806

• [TravisCI] Fix getting proper stack traces for ASan/LSan. The

  Show description for 4db5980
  

  Dan Liew

  committed
  4db5980

  Copy full SHA for 4db5980

• [UBSan] Update UBSan suppression file to suppress all undefined

  Show description for 71dcec3
  

  Dan Liew

  committed
  71dcec3

  Copy full SHA for 71dcec3

• [TravisCI] Don't run the python binding system tests when building

  Show description for 9455391
  

  Dan Liew

  committed
  9455391

  Copy full SHA for 9455391

• [TravisCI] Fix undefined SCRIPT_DIR variable

  

  Dan Liew

  committed
  f756bf6

  Copy full SHA for f756bf6

• [TravisCI] Add a UBSan configuration

  

  Dan Liew

  committed
  fb3d4cf

  Copy full SHA for fb3d4cf

• [TravisCI] Don't run the non-native example when building with UBSan.

  Show description for f15766b
  

  Dan Liew

  committed
  f15766b

  Copy full SHA for f15766b

• [TravisCI][CMake] Add Z3_C_EXAMPLES_FORCE_CXX_LINKER CMake option

  Show description for a9fcfc5
  

  Dan Liew

  committed
  a9fcfc5

  Copy full SHA for a9fcfc5

• [TravisCI] Add ASan/LSan/UBSan suppression files and use them in

  Show description for 64ee9f1
  

  Dan Liew

  committed
  64ee9f1

  Copy full SHA for 64ee9f1

• adding explicit assignment for auto-generated function.

  Show description for b63754e
  NikolajBjorner

  committed
  b63754e

  Copy full SHA for b63754e

• Merge pull request Z3Prover#1300 from nunoplopes/master

  Show description for 0aa12b9
  NikolajBjorner

  authored
  0aa12b9

  Copy full SHA for 0aa12b9

Commits on Oct 15, 2017

• make vector friendly to gcc < 5

  nunoplopes

  committed
  2905bde

  Copy full SHA for 2905bde

• add move constructor to ref_vector

  nunoplopes

  committed
  6cefb70

  Copy full SHA for 6cefb70

• add move constructor to watch_list

  nunoplopes

  committed
  82b25a0

  Copy full SHA for 82b25a0

• vector: make expand_vector() less prone to mem leaks by calling the destructors after move

  nunoplopes

  committed
  d18e975

  Copy full SHA for d18e975

• add move constructor to obj_ref

  nunoplopes

  committed
  e7f0f3b

  Copy full SHA for e7f0f3b

• nnf: remove ast incref

  nunoplopes

  committed
  29acec6

  Copy full SHA for 29acec6

• add move constructor to rational

  nunoplopes

  committed
  6c2d039

  Copy full SHA for 6c2d039

• fix build of unit tests

  nunoplopes

  committed
  912a729

  Copy full SHA for 912a729

• add move constructor to mpf

  nunoplopes

  committed
  468e020

  Copy full SHA for 468e020

• remove noexcept since MSVC 2012 doest support it

  nunoplopes

  committed
  d1c13f1

  Copy full SHA for d1c13f1

• fpa_rewriter: remove a mpq copy

  nunoplopes

  committed
  b53d69b

  Copy full SHA for b53d69b

• bv_decl_plugin: remove mem allocation

  nunoplopes

  committed
  3cc6dd1

  Copy full SHA for 3cc6dd1

• fix crash in vector::expand()

  nunoplopes

  committed
  d30a099

  Copy full SHA for d30a099

• mpz.h: fix typo in previous commit (found by Nikolaj)

  nunoplopes

  committed
  27e84c5

  Copy full SHA for 27e84c5

• fix vector<> to support non-POD types

  Show description for 9b54b4e
  nunoplopes

  committed
  9b54b4e

  Copy full SHA for 9b54b4e

• fix leaks reported in Z3Prover#1309

  Show description for 4d1acad
  NikolajBjorner

  committed
  4d1acad

  Copy full SHA for 4d1acad

Pagination

Previous

Next