Commits

Branch selector

 master

User selector

nunoplopes

Datepicker

All time

Commit History

Commits on Jul 14, 2018

• add parameter(rational&&)

  nunoplopes

  committed
  dfa8c44

  Copy full SHA for dfa8c44

• don't use mp[zq] synchronized mode if OpenMP mode is disabled

  nunoplopes

  committed
  b885962

  Copy full SHA for b885962

• do not cooperate if OMP mode is disabled (i.e. it's single threaded only)

  nunoplopes

  committed
  7d20fbb

  Copy full SHA for 7d20fbb

Commits on Jul 12, 2018

• bv_decl_plugin: remove some mem allocs of parameters

  nunoplopes

  committed
  b7ea90c

  Copy full SHA for b7ea90c

Commits on Jul 9, 2018

• remove unneeded creation of tmp mpz_manager

  nunoplopes

  committed
  009708e

  Copy full SHA for 009708e

• remove virtual destructor from api::pmanager

  nunoplopes

  committed
  6f7271a

  Copy full SHA for 6f7271a

Commits on Jul 8, 2018

• sat_allocator: align allocation size with page boundary to reduce memory consumption

  nunoplopes

  committed
  c5a282d

  Copy full SHA for c5a282d

• ast_exception: remove str copies

  nunoplopes

  committed
  a85a4f4

  Copy full SHA for a85a4f4

• don't even bother allocating traces in release mode

  nunoplopes

  committed
  fd75ecc

  Copy full SHA for fd75ecc

Commits on Jul 7, 2018

• remove dead code

  nunoplopes

  committed
  d2b77b1

  Copy full SHA for d2b77b1

Commits on Jul 4, 2018

• invertible: fix bug with numerals, e.g. (bvmull x y #x32)

  nunoplopes

  committed
  9826835

  Copy full SHA for 9826835

• invertible_tactic: add support for a few more operations that produce full domain

  nunoplopes

  committed
  53e582b

  Copy full SHA for 53e582b

Commits on Jul 3, 2018

• remove copy in generic_model_converter

  nunoplopes

  committed
  72f60f5

  Copy full SHA for 72f60f5

• invertible tactic: fix bugs with shift

  nunoplopes

  committed
  cd482c6

  Copy full SHA for cd482c6

Commits on Jul 2, 2018

• invertible_tactic: add partial support for shifts

  nunoplopes

  committed
  a73d030

  Copy full SHA for a73d030

• remove some allocs from exceptions

  nunoplopes

  committed
  cef17c2

  Copy full SHA for cef17c2

• reduce mem allocation in tactic API

  nunoplopes

  committed
  8791f61

  Copy full SHA for 8791f61

• minor simplifications to symbol class

  nunoplopes

  committed
  fc81938

  Copy full SHA for fc81938

Commits on Jun 29, 2018

• remove a few random mem allocs

  nunoplopes

  committed
  bc8cd7f

  Copy full SHA for bc8cd7f

Commits on Jun 28, 2018

• MAM: check soft limits before calling the interpreter

  nunoplopes

  committed
  46799cb

  Copy full SHA for 46799cb

• remove spurious copies and inc_refs around ref_vector

  nunoplopes

  committed
  5de6628

  Copy full SHA for 5de6628

Commits on Jun 26, 2018

• ufbv_rewriter_tactic: remove unneeded imp class

  nunoplopes

  committed
  6c64e13

  Copy full SHA for 6c64e13

• add obj_ref::operator=(obj_ref &&) + a few explicit uses

  nunoplopes

  committed
  2b31024

  Copy full SHA for 2b31024

Commits on Jun 7, 2018

• z3.py: add overflow checks to PB API

  nunoplopes

  committed
  9e916ed

  Copy full SHA for 9e916ed

Commits on Nov 6, 2017

• remove a few unneded mem allocations

  nunoplopes

  committed
  861a074

  Copy full SHA for 861a074

Commits on Oct 16, 2017

• nnf: let's try a different version of compatible frames wo/ copying

  nunoplopes

  committed
  4e92caa

  Copy full SHA for 4e92caa

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

Pagination

Previous

Next