Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 9, 2019

• Merge pull request #2264 from Nils-Becker/master

  Show description for 4d05a11
  NikolajBjorner

  authored
  4d05a11

  Copy full SHA for 4d05a11

• fix #2242, move purify-arith down to after ite elimination

  Show description for fc02114
  NikolajBjorner

  committed
  fc02114

  Copy full SHA for fc02114

• commas

  Show description for 4ede0d9
  NikolajBjorner

  committed
  4ede0d9

  Copy full SHA for 4ede0d9

Commits on May 8, 2019

• fix again

  Show description for 6071797
  NikolajBjorner

  committed
  6071797

  Copy full SHA for 6071797

• fix #2238

  Show description for f79dccc
  NikolajBjorner

  committed
  f79dccc

  Copy full SHA for f79dccc

Commits on May 7, 2019

• one must answer the call of the master of compilers #2258

  Show description for 3e059a3
  NikolajBjorner

  committed
  3e059a3

  Copy full SHA for 3e059a3

• fix #2210

  Show description for c012f6e
  NikolajBjorner

  committed
  c012f6e

  Copy full SHA for c012f6e

• allow for string solver none and empty for #2268

  Show description for cbbb77b
  NikolajBjorner

  committed
  cbbb77b

  Copy full SHA for cbbb77b

Commits on May 6, 2019

• allow empty string theory as a configuration option

  Show description for 689818c
  NikolajBjorner

  committed
  689818c

  Copy full SHA for 689818c

• fixing 2267

  Show description for 28ce701
  NikolajBjorner

  committed
  28ce701

  Copy full SHA for 28ce701

Commits on May 3, 2019

• fix #2263

  Show description for 16af728
  NikolajBjorner

  committed
  16af728

  Copy full SHA for 16af728

Commits on May 2, 2019

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

  

  Nils Becker

  committed
  2c40da2

  Copy full SHA for 2c40da2

Commits on May 1, 2019

• fix #2262

  Show description for 606754c
  NikolajBjorner

  committed
  606754c

  Copy full SHA for 606754c

Commits on Apr 27, 2019

• fix #2257, remove unsound length constraints for str.to.int because leading digits can be 0

  Show description for bd46c52
  NikolajBjorner

  committed
  bd46c52

  Copy full SHA for bd46c52

• fix #2253

  Show description for 9cb1a0f
  NikolajBjorner

  committed
  9cb1a0f

  Copy full SHA for 9cb1a0f

• adjust for SMTLIBification name change of set operations

  Show description for 9f1b8db
  NikolajBjorner

  committed
  9f1b8db

  Copy full SHA for 9f1b8db

• deal with python globals

  Show description for c9b906a
  NikolajBjorner

  committed
  c9b906a

  Copy full SHA for c9b906a

• remove additional push/pop on fixedpoint

  Show description for 92613f2
  NikolajBjorner

  committed
  92613f2

  Copy full SHA for 92613f2

• na

  Show description for 28773c8
  NikolajBjorner

  committed
  28773c8

  Copy full SHA for 28773c8

• replace __debug__ by Z3_DEBUG #2225

  Show description for 944ce11
  NikolajBjorner

  committed
  944ce11

  Copy full SHA for 944ce11

• fix #2248

  Show description for 6af6617
  NikolajBjorner

  committed
  6af6617

  Copy full SHA for 6af6617

• add quotes to install path for .net

  Show description for e1b52c3
  NikolajBjorner

  committed
  e1b52c3

  Copy full SHA for e1b52c3

• remove push/pop for fixedpoint objects from API #2249

  Show description for 40e329f
  NikolajBjorner

  committed
  40e329f

  Copy full SHA for 40e329f

• fix #2251 thanks to Clark

  Show description for fa88bdb
  NikolajBjorner

  committed
  fa88bdb

  Copy full SHA for fa88bdb

Commits on Apr 20, 2019

• add card operator to bapa

  Show description for 7e2afca
  NikolajBjorner

  committed
  7e2afca

  Copy full SHA for 7e2afca

• adding #qvars to [mk-quant] log line

  

  nilsbecker

  committed
  bd97479

  Copy full SHA for bd97479

Commits on Apr 18, 2019

• fixing bug causing unbalance between [instance] and [end-of-instance] lines

  

  nilsbecker

  committed
  1c24d34

  Copy full SHA for 1c24d34

Commits on Apr 17, 2019

• sync

  

  nilsbecker

  committed
  28ff338

  Copy full SHA for 28ff338

• remove trc from C++ and python

  Show description for aafb16e
  NikolajBjorner

  committed
  aafb16e

  Copy full SHA for aafb16e

• remove trc

  Show description for 86b98e3
  NikolajBjorner

  committed
  86b98e3

  Copy full SHA for 86b98e3

Commits on Apr 16, 2019

• add set-has-size to API and python bindings

  Show description for 502b29c
  NikolajBjorner

  committed
  502b29c

  Copy full SHA for 502b29c

• address compilation warnings of unused parameters, add shorthands to set parameters on Optimize

  Show description for d4410d0
  NikolajBjorner

  committed
  d4410d0

  Copy full SHA for d4410d0

• fix initialization ordering to follow declaration order

  Show description for 153106a
  NikolajBjorner

  committed
  153106a

  Copy full SHA for 153106a

• take second suggestion from #2234

  Show description for 596acf2
  NikolajBjorner

  committed
  596acf2

  Copy full SHA for 596acf2

• Fix RoundingMode value generation in FPA theory. Fixes #2239.

  wintersteiger

  committed
  c611fbe

  Copy full SHA for c611fbe

Pagination

Previous

Next