Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 16, 2019

• S116-001 state in README that this is a clone

  Show description for bf889cf
  kanigsson

  committed
  bf889cf

  Copy full SHA for bf889cf

Commits on Aug 20, 2018

• Merging z3 master branch for R307-002

  Show description for 4c72973
  kanigsson

  committed
  4c72973

  Copy full SHA for 4c72973

Commits on Aug 18, 2018

• Merge pull request #1799 from c-cube/fix-union-find

  Show description for d6298b0
  NikolajBjorner

  authored
  d6298b0

  Copy full SHA for d6298b0

Commits on Aug 17, 2018

• fix(union-find): keep values and representative in consistent order

  Show description for 5141f05
  c-cube

  committed
  5141f05

  Copy full SHA for 5141f05

Commits on Aug 16, 2018

• disable unused macros

  Show description for 12f9336
  NikolajBjorner

  committed
  12f9336

  Copy full SHA for 12f9336

• remove inc file

  Show description for 056ec2d
  NikolajBjorner

  committed
  056ec2d

  Copy full SHA for 056ec2d

• remove dependency on ARRAYSIZE for issue #1616

  Show description for 2b2f193
  NikolajBjorner

  committed
  2b2f193

  Copy full SHA for 2b2f193

Commits on Aug 12, 2018

• fix bug introduced in fix of #1798

  Show description for 95963f7
  NikolajBjorner

  committed
  95963f7

  Copy full SHA for 95963f7

Commits on Aug 11, 2018

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

  NikolajBjorner

  committed
  d270df6

  Copy full SHA for d270df6

• fix #1783, wronge clausification of negated pb inequalities. Signs were ignored

  Show description for 96d3b98
  NikolajBjorner

  committed
  96d3b98

  Copy full SHA for 96d3b98

• fix #1798

  Show description for 8de8c4c
  NikolajBjorner

  committed
  8de8c4c

  Copy full SHA for 8de8c4c

Commits on Aug 10, 2018

• Merge pull request #1797 from c-cube/conf-dt-lazy-split

  Show description for a13b6a9
  NikolajBjorner

  authored
  a13b6a9

  Copy full SHA for a13b6a9

• feat(smt/dt): expose the configuration param for datatype case splits

  c-cube

  committed
  0aca1ad

  Copy full SHA for 0aca1ad

Commits on Aug 7, 2018

• Merge pull request #1796 from mtrberzi/issue1726-2

  Show description for d5b2059
  NikolajBjorner

  authored
  d5b2059

  Copy full SHA for d5b2059

• z3str3: fix contains-indexof precondition

  mtrberzi

  committed
  c65dbae

  Copy full SHA for c65dbae

• Merge branch 'master' into develop

  mtrberzi

  committed
  7a84486

  Copy full SHA for 7a84486

• fix #1793

  Show description for 8b4e1c1
  NikolajBjorner

  committed
  8b4e1c1

  Copy full SHA for 8b4e1c1

Commits on Aug 6, 2018

• record statistics setting in config_params so that fp engine can access them, fix serialization bug when check-assumptions returns unsat

  Show description for 84c7df7
  NikolajBjorner

  committed
  84c7df7

  Copy full SHA for 84c7df7

Commits on Aug 5, 2018

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

  NikolajBjorner

  committed
  24b6ff9

  Copy full SHA for 24b6ff9

• fix include paths

  Show description for a3c692c
  NikolajBjorner

  committed
  a3c692c

  Copy full SHA for a3c692c

• Merge pull request #1790 from NikolajBjorner/master

  Show description for a33a1ab
  NikolajBjorner

  authored
  a33a1ab

  Copy full SHA for a33a1ab

• reduce dependencies in CMakeLists file

  Show description for 60110bb
  NikolajBjorner

  committed
  60110bb

  Copy full SHA for 60110bb

• missing file

  Show description for 6400da6
  NikolajBjorner

  committed
  6400da6

  Copy full SHA for 6400da6

• fix header files

  Show description for 74efe25
  NikolajBjorner

  committed
  74efe25

  Copy full SHA for 74efe25

• bmc improvements, move fd_solver to self-contained directory

  Show description for d47e067
  NikolajBjorner

  committed
  d47e067

  Copy full SHA for d47e067

• bmc improvements, move fd_solver to self-contained directory

  Show description for e041ebb
  NikolajBjorner

  committed
  e041ebb

  Copy full SHA for e041ebb

Commits on Aug 4, 2018

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

  NikolajBjorner

  committed
  fd09b1a

  Copy full SHA for fd09b1a

• prepare js output

  Show description for c247abf
  NikolajBjorner

  committed
  c247abf

  Copy full SHA for c247abf

Commits on Aug 3, 2018

• harness internalization and API for #1776

  Show description for f306f75
  NikolajBjorner

  committed
  f306f75

  Copy full SHA for f306f75

Commits on Aug 2, 2018

• merge

  Show description for 5161084
  NikolajBjorner

  committed
  5161084

  Copy full SHA for 5161084

• expr utilities for pb

  Show description for 7bd4a31
  NikolajBjorner

  committed
  7bd4a31

  Copy full SHA for 7bd4a31

• fix #1782

  Show description for fed977b
  NikolajBjorner

  committed
  fed977b

  Copy full SHA for fed977b

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

  NikolajBjorner

  committed
  3933327

  Copy full SHA for 3933327

• fix #1784, fix #1783

  Show description for 8b08821
  NikolajBjorner

  committed
  8b08821

  Copy full SHA for 8b08821

Commits on Aug 1, 2018

• Merge pull request #1781 from levnach/master

  Show description for ed44ffd
  levnach

  authored
  ed44ffd

  Copy full SHA for ed44ffd

Pagination

Previous

Next