Commits

Branch selector

 master

User selector

waywardmonkeys

Datepicker

All time

Commit History

Commits on Aug 16, 2019

• test-z3: Improve help output. Provide help when no args.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  258b798

  Copy full SHA for 258b798

• Clean up whitespace.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  f02170f

  Copy full SHA for f02170f

Commits on Aug 15, 2019

• Add note about minimized unsat cores to C API docs.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  d64dc93

  Copy full SHA for d64dc93

• Fix release note typos.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  9949f16

  Copy full SHA for 9949f16

• Fix whitespace issues in *.pyg.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  e2122c0

  Copy full SHA for e2122c0

• Fix typos in examples.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  0edd587

  Copy full SHA for 0edd587

Commits on Aug 13, 2019

• Fix confusing tabs mixed in with spaces in C examples.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  0eafeb9

  Copy full SHA for 0eafeb9

• More see also content in C API docs.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  e89bb37

  Copy full SHA for e89bb37

Commits on Aug 5, 2019

• docs: Fix a number of identifier formatting issues.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  f90439f

  Copy full SHA for f90439f

• Fix -Wreorder warning.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  077f518

  Copy full SHA for 077f518

• Remove unused variable.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  ce7f9c3

  Copy full SHA for ce7f9c3

• Fix typo.

  waywardmonkeys

  committed
  6be36f1

  Copy full SHA for 6be36f1

Commits on Jul 1, 2019

• Python: Fix doc comment typo.

  waywardmonkeys

  committed
  c4e0f8c

  Copy full SHA for c4e0f8c

Commits on Jun 2, 2019

• Use const& to reduce copies.

  waywardmonkeys

  committed
  a12de12

  Copy full SHA for a12de12

Commits on Jun 1, 2019

• Fix C++ API comment typo.

  waywardmonkeys

  committed
  17a0d75

  Copy full SHA for 17a0d75

• Fix some unused variable warnings.

  waywardmonkeys

  committed
  960b856

  Copy full SHA for 960b856

• Fix -Wreorder warning.

  waywardmonkeys

  committed
  759811b

  Copy full SHA for 759811b

Commits on Jan 7, 2019

• Define NO_Z3_DEBUGGER for emscripten builds.

  waywardmonkeys

  committed
  d757c34

  Copy full SHA for d757c34

Commits on Jan 6, 2019

• Define NO_Z3_DEBUGGER for iOS builds.

  Show description for 7e1ce2a
  waywardmonkeys

  committed
  7e1ce2a

  Copy full SHA for 7e1ce2a

• Let str_hashtable store `const char*`.

  Show description for a06bc49
  waywardmonkeys

  committed
  a06bc49

  Copy full SHA for a06bc49

Commits on Dec 27, 2018

• Allow emscripten builds.

  waywardmonkeys

  committed
  947687d

  Copy full SHA for 947687d

• If NO_Z3_DEBUGGER, also drop defining invoke_gdb.

  waywardmonkeys

  committed
  877df0f

  Copy full SHA for 877df0f

Commits on Dec 24, 2018

• Fix typos.

  waywardmonkeys

  committed
  44bc00f

  Copy full SHA for 44bc00f

Commits on Dec 9, 2018

• Enable dl_table tests on non-Windows/Cygwin.

  waywardmonkeys

  committed
  1b91694

  Copy full SHA for 1b91694

• Change how 64 bit builds are detected.

  Show description for 51a947b
  waywardmonkeys

  committed
  51a947b

  Copy full SHA for 51a947b

Commits on Dec 7, 2018

• Simplify boolean code.

  Show description for 0231bc4
  waywardmonkeys

  committed
  0231bc4

  Copy full SHA for 0231bc4

Commits on Dec 5, 2018

• Fix typos.

  waywardmonkeys

  committed
  4bc1b0b

  Copy full SHA for 4bc1b0b

Commits on Dec 4, 2018

• Use nullptr, not 0 in the C++ API impl.

  waywardmonkeys

  committed
  924776e

  Copy full SHA for 924776e

• Simplify some boolean returns.

  waywardmonkeys

  committed
  5fa861f

  Copy full SHA for 5fa861f

• Remove Z3_get_manager.

  Show description for 374b80f
  waywardmonkeys

  committed
  374b80f

  Copy full SHA for 374b80f

• Fix up more documentation formatting.

  waywardmonkeys

  committed
  15e1a5e

  Copy full SHA for 15e1a5e

• Z3_fixedpoint_add_constraint: decl missing Z3_API.

  waywardmonkeys

  committed
  6c21d3d

  Copy full SHA for 6c21d3d

• Mark up Z3_L_TRUE and friends correctly in the docs.

  waywardmonkeys

  committed
  42d2a46

  Copy full SHA for 42d2a46

Commits on Dec 3, 2018

• Windows builds need immintrin.h

  Show description for a0264c0
  waywardmonkeys

  committed
  a0264c0

  Copy full SHA for a0264c0

• Remove undef max/min on macOS.

  Show description for 742efd5
  waywardmonkeys

  committed
  742efd5

  Copy full SHA for 742efd5

Pagination

Previous

Next