Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 27, 2019

• possible fix for #2182

  Show description for deb48bf
  NikolajBjorner

  committed
  deb48bf

  Copy full SHA for deb48bf

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

  wintersteiger

  committed
  ce8263c

  Copy full SHA for ce8263c

• Fix BV-conversion of fp.roundToIntegral. Fixes #2191.

  wintersteiger

  committed
  d1d49ef

  Copy full SHA for d1d49ef

• more segfault sources #2205, examining bit2bool internalization for #2282

  Show description for 51a26ce
  NikolajBjorner

  committed
  51a26ce

  Copy full SHA for 51a26ce

Commits on Mar 26, 2019

• disable cancelation during propagation at base level

  Show description for 5478955
  NikolajBjorner

  committed
  5478955

  Copy full SHA for 5478955

• Merge pull request #2206 from Bronsa/master

  Show description for 3a7bf2c
  NikolajBjorner

  authored
  3a7bf2c

  Copy full SHA for 3a7bf2c

• fix mk_quantifier signature

  bronsa

  committed
  9008bee

  Copy full SHA for 9008bee

• fix name clash in ocaml api

  bronsa

  committed
  fa97f4a

  Copy full SHA for fa97f4a

• fix #2205

  Show description for 8da1b02
  NikolajBjorner

  committed
  8da1b02

  Copy full SHA for 8da1b02

Commits on Mar 25, 2019

• print certificate for #2202, enable CTL-C for API fix #2203

  Show description for 5c67c9d
  NikolajBjorner

  committed
  5c67c9d

  Copy full SHA for 5c67c9d

Commits on Mar 24, 2019

• fix python doc regressions

  Show description for 0a0b0a5
  NikolajBjorner

  committed
  0a0b0a5

  Copy full SHA for 0a0b0a5

• fix python doc regressions

  Show description for 32164b6
  NikolajBjorner

  committed
  32164b6

  Copy full SHA for 32164b6

• add get-info :rlimit option to cmd-context to facilitate timeout based repros

  Show description for cdc89b6
  NikolajBjorner

  committed
  cdc89b6

  Copy full SHA for cdc89b6

• completing user print experience with seq/re #2200

  Show description for dc0e9c1
  NikolajBjorner

  committed
  dc0e9c1

  Copy full SHA for dc0e9c1

Commits on Mar 23, 2019

• fix #2199

  Show description for fca8ffd
  NikolajBjorner

  committed
  fca8ffd

  Copy full SHA for fca8ffd

• don't overwrite last search failure, #2198

  Show description for 604c9d3
  NikolajBjorner

  committed
  604c9d3

  Copy full SHA for 604c9d3

Commits on Mar 22, 2019

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

  NikolajBjorner

  committed
  489577f

  Copy full SHA for 489577f

• fix #2196

  Show description for a74ac93
  NikolajBjorner

  committed
  a74ac93

  Copy full SHA for a74ac93

• implementing last-index-of #2089

  Show description for 3c8fd83
  NikolajBjorner

  committed
  3c8fd83

  Copy full SHA for 3c8fd83

• extend rewriting features for arrays, #2151

  Show description for 62ec02e
  NikolajBjorner

  committed
  62ec02e

  Copy full SHA for 62ec02e

• Remove unnecessary null pointer checks

  levnach

  committed
  e59d60f

  Copy full SHA for e59d60f

• Remove unnecessary null pointer checks

  levnach

  committed
  61ac006

  Copy full SHA for 61ac006

• Remove unnecessary null pointer checks

  levnach

  committed
  6e5d0b7

  Copy full SHA for 6e5d0b7

Commits on Mar 20, 2019

• fix the build lp.cpp in test

  Show description for eae4fd6
  levnach

  committed
  eae4fd6

  Copy full SHA for eae4fd6

• make explicit rational(double)constructor

  Show description for 885d640
  levnach

  committed
  885d640

  Copy full SHA for 885d640

Commits on Mar 18, 2019

• fix #2188

  Show description for 057151c
  NikolajBjorner

  committed
  057151c

  Copy full SHA for 057151c

Commits on Mar 17, 2019

• add multi-argument select for C#

  Show description for 93a4afe
  NikolajBjorner

  committed
  93a4afe

  Copy full SHA for 93a4afe

• add multi-argument select for C#

  Show description for d953bdd
  NikolajBjorner

  committed
  d953bdd

  Copy full SHA for d953bdd

• add nth remapping

  Show description for 9bc4914
  NikolajBjorner

  committed
  9bc4914

  Copy full SHA for 9bc4914

• expose nth over API, change _getitem_ in python bindings to use nth instead of at, add 'at' operator for the purpose of the previous semantics

  Show description for 834cf96
  NikolajBjorner

  committed
  834cf96

  Copy full SHA for 834cf96

• include all sorts from declarations, and include sorts from datatypes #2185

  Show description for f534f79
  NikolajBjorner

  committed
  f534f79

  Copy full SHA for f534f79

Commits on Mar 16, 2019

• build errors/warnings

  Show description for 957c3be
  NikolajBjorner

  committed
  957c3be

  Copy full SHA for 957c3be

• update to TWEAK

  Show description for 36a2052
  NikolajBjorner

  committed
  36a2052

  Copy full SHA for 36a2052

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

  NikolajBjorner

  committed
  433064d

  Copy full SHA for 433064d

• step 1 in aligning version tweaks for #2184

  Show description for 869cb66
  NikolajBjorner

  committed
  869cb66

  Copy full SHA for 869cb66

Pagination

Previous

Next