Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 23, 2019

• fix Z3Prover#2149

  NikolajBjorner

  committed
  773c613
  More actions

• add cr

  NikolajBjorner

  committed
  c0d20f8
  More actions

• Merge pull request Z3Prover#2146 from danielschemmel/buffer-1

  NikolajBjorner

  authored
  28c675f
  More actions

Commits on Feb 22, 2019

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

  NikolajBjorner

  committed
  72d59ea
  More actions

• remove debug code

  NikolajBjorner

  committed
  73060ec
  More actions

• Fix translation of FPA numerals in ast_smt_pp. Fixes Z3Prover#2145.

  wintersteiger

  committed
  6998342
  More actions

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

  NikolajBjorner

  committed
  bceff4b
  More actions

• fix gc to not remove ternary clauses that are on assignment trail. This addresses issue with drat proofs that don't pass drat-trim due to deletion during gc, but use in conflicts

  NikolajBjorner

  committed
  4c799c1
  More actions

Commits on Feb 21, 2019

• stopwatch: fix debug build crash in sat solver

  nunoplopes

  committed
  bb7aa16
  More actions

• fix VS build, take 2

  nunoplopes

  committed
  6598aed
  More actions

• hopefully fix build with VS 2012

  nunoplopes

  committed
  3d7878b
  More actions

• stopwatches: fix a few places that would call start/stop multiple times

  nunoplopes

  committed
  2f33baf
  More actions

• Move vector.h to old_vector.h and add a shim vector.h

  danielschemmel

  committed
  721ea2a
  More actions

• simplify timer.h

  nunoplopes

  committed
  85162d9
  More actions

• fix debug build..

  nunoplopes

  committed
  3a7c467
  More actions

• modernize stopwatch

  nunoplopes

  committed
  3a5263b
  More actions

• Move buffer.h to old_buffer.h and add a shim buffer.h

  danielschemmel

  committed
  2ff2e77
  More actions

• simplify timeout mechanism and fix race conditions there

  nunoplopes

  committed
  a76c0fb
  More actions

• further simplifications to scoped_timer

  nunoplopes

  committed
  f3cd7d6
  More actions

Commits on Feb 20, 2019

• adding FP

  NikolajBjorner

  committed
  598fc81
  More actions

• fix detection of arithmetic operations

  NikolajBjorner

  committed
  3548057
  More actions

Commits on Feb 19, 2019

• fix regressions breaking build

  NikolajBjorner

  committed
  cc216f8
  More actions

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

  NikolajBjorner

  committed
  c022d47
  More actions

• enable cardinality constraints in nla2bv

  NikolajBjorner

  committed
  caa15ea
  More actions

• remove a few more inc/dec refs

  nunoplopes

  committed
  61272fd
  More actions

• simplifications to refs

  nunoplopes

  committed
  edf0df6
  More actions

• fix debug build

  nunoplopes

  committed
  8e4ef19
  More actions

• eliminate a few ref incs/decs plus remove unused variable

  nunoplopes

  committed
  8c2584b
  More actions

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

  NikolajBjorner

  committed
  509f80b
  More actions

• fix Z3Prover#2142

  NikolajBjorner

  committed
  2138a52
  More actions

• Merge pull request Z3Prover#2143 from angr/feat/bytes_functions

  NikolajBjorner

  authored
  a19a76c
  More actions

• python bindings: add core functions with _bytes suffix that do not decode strings

  rhelmot

  committed
  c2cb2c9
  More actions

• Revert "Don't delete the reference to the native library in the python bindings"

  rhelmot

  committed
  591abea
  More actions

Commits on Feb 18, 2019

• turn off model validation unless specified by parameter

  NikolajBjorner

  committed
  7fb2c6a
  More actions

• optimize binary output

  NikolajBjorner

  committed
  0aafa8b
  More actions

Pagination

PreviousNext