Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 15, 2018

• fix #1491

  Show description for fadcac8
  NikolajBjorner

  committed
  fadcac8

  Copy full SHA for fadcac8

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

  NikolajBjorner

  committed
  a231ff3

  Copy full SHA for a231ff3

• fix #1488

  Show description for 0bbdee8
  NikolajBjorner

  committed
  0bbdee8

  Copy full SHA for 0bbdee8

Commits on Feb 13, 2018

• Merge pull request #1485 from waywardmonkeys/modernize-redundant-void-arg

  Show description for 1323b8f
  NikolajBjorner

  authored
  1323b8f

  Copy full SHA for 1323b8f

• Merge pull request #1486 from waywardmonkeys/modernize-use-bool-literals

  Show description for 582f859
  NikolajBjorner

  authored
  582f859

  Copy full SHA for 582f859

• Merge pull request #1487 from Z3Prover/revert-1462-patch-1

  Show description for cbf44d3
  wintersteiger

  authored
  cbf44d3

  Copy full SHA for cbf44d3

• Revert "Fix encoding error"

  wintersteiger

  authored
  0ef33a9

  Copy full SHA for 0ef33a9

• Use bool literal `false` instead of `0`.

  waywardmonkeys

  committed
  971a5ed

  Copy full SHA for 971a5ed

• Remove redundant void arg.

  Show description for 7bf80c6
  waywardmonkeys

  committed
  7bf80c6

  Copy full SHA for 7bf80c6

• fix #1484

  Show description for eab7ae5
  NikolajBjorner

  committed
  eab7ae5

  Copy full SHA for eab7ae5

Commits on Feb 12, 2018

• remove deprecated comments about bv2int/int2bv being treated as uninterpreted, raise in #1481

  Show description for 792fdb9
  NikolajBjorner

  committed
  792fdb9

  Copy full SHA for 792fdb9

• ensure that final model is logged by the time it is produced fix #1463

  Show description for e1100af
  NikolajBjorner

  committed
  e1100af

  Copy full SHA for e1100af

• Merge pull request #1483 from waywardmonkeys/modernize-use-nullptr

  Show description for 29ab1ab
  NikolajBjorner

  authored
  29ab1ab

  Copy full SHA for 29ab1ab

• Use nullptr.

  waywardmonkeys

  committed
  76eb7b9

  Copy full SHA for 76eb7b9

• Merge pull request #1482 from waywardmonkeys/modernize-use-override-2

  Show description for f01328c
  NikolajBjorner

  authored
  f01328c

  Copy full SHA for f01328c

Commits on Feb 10, 2018

• Use override rather than virtual.

  waywardmonkeys

  committed
  7167fda

  Copy full SHA for 7167fda

Commits on Feb 9, 2018

• Merge pull request #1480 from waywardmonkeys/modernize-use-override

  Show description for ce123d9
  NikolajBjorner

  authored
  ce123d9

  Copy full SHA for ce123d9

• Use override rather than virtual.

  waywardmonkeys

  committed
  b7d1753

  Copy full SHA for b7d1753

• Merge pull request #1478 from waywardmonkeys/unnecessary-value-param-fixes

  Show description for 2b84747
  NikolajBjorner

  authored
  2b84747

  Copy full SHA for 2b84747

• Merge pull request #1479 from waywardmonkeys/fix-more-typos

  Show description for d3a98ae
  NikolajBjorner

  authored
  d3a98ae

  Copy full SHA for d3a98ae

• Remove unnecessary value parameter copies.

  waywardmonkeys

  committed
  757b7c6

  Copy full SHA for 757b7c6

• Fix typos.

  waywardmonkeys

  committed
  50f3e9c

  Copy full SHA for 50f3e9c

Commits on Feb 8, 2018

• fixing build

  Show description for 3f7453f
  NikolajBjorner

  committed
  3f7453f

  Copy full SHA for 3f7453f

• align semantics of re.allchar with string proposal. #1475

  Show description for 61934d8
  NikolajBjorner

  committed
  61934d8

  Copy full SHA for 61934d8

Commits on Feb 7, 2018

• to fix #1476

  Show description for 1ee7871
  NikolajBjorner

  committed
  1ee7871

  Copy full SHA for 1ee7871

Commits on Feb 6, 2018

• fix #1468

  Show description for cb68960
  NikolajBjorner

  committed
  cb68960

  Copy full SHA for cb68960

• Merge pull request #1472 from levnach/dev

  Show description for 159e6ad
  NikolajBjorner

  authored
  159e6ad

  Copy full SHA for 159e6ad

• remove a duplicate definition

  Show description for c74ad46
  levnach

  committed
  c74ad46

  Copy full SHA for c74ad46

• Merge pull request #1474 from waywardmonkeys/inconsistent-missing-override

  Show description for 309012e
  NikolajBjorner

  authored
  309012e

  Copy full SHA for 309012e

• Merge pull request #1473 from waywardmonkeys/vector-reserve

  Show description for 755a1b8
  NikolajBjorner

  authored
  755a1b8

  Copy full SHA for 755a1b8

• Fix inconsistent missing override warnings.

  waywardmonkeys

  committed
  5911f81

  Copy full SHA for 5911f81

• Reserve vector space when possible.

  Show description for 54b3cd0
  waywardmonkeys

  committed
  54b3cd0

  Copy full SHA for 54b3cd0

• fix #1471

  Show description for b2bd4dd
  NikolajBjorner

  committed
  b2bd4dd

  Copy full SHA for b2bd4dd

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

  NikolajBjorner

  committed
  b8680f8

  Copy full SHA for b8680f8

• fix #1469

  Show description for a1d4e48
  NikolajBjorner

  committed
  a1d4e48

  Copy full SHA for a1d4e48

Pagination

Previous

Next