Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 17, 2017

• remove code that causes infinite loop. Stackoverflow question from Dominik Wojtaszek

  Show description for d580188
  NikolajBjorner

  committed
  d580188

  Copy full SHA for d580188

• disable ackerman reduction when head contains a non-constant/non-variable. #947

  Show description for d754aa2
  NikolajBjorner

  committed
  d754aa2

  Copy full SHA for d754aa2

• fix crash reported in #946

  Show description for a0237ed
  NikolajBjorner

  committed
  a0237ed

  Copy full SHA for a0237ed

Commits on Mar 15, 2017

• fixing sources for double frees of clauses. #940

  Show description for 72651e2
  NikolajBjorner

  committed
  72651e2

  Copy full SHA for 72651e2

Commits on Mar 14, 2017

• make seq.at operations generic

  Show description for 05c267b
  NikolajBjorner

  committed
  05c267b

  Copy full SHA for 05c267b

• add pb shorthands to C++. Issue #694

  Show description for 0668ba5
  NikolajBjorner

  committed
  0668ba5

  Copy full SHA for 0668ba5

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

  NikolajBjorner

  committed
  7634f8b

  Copy full SHA for 7634f8b

• add sum shorthand to C++. Issue #694

  Show description for 1dd2de6
  NikolajBjorner

  committed
  1dd2de6

  Copy full SHA for 1dd2de6

• Merge pull request #941 from humeafo/master

  Show description for dc9266f
  NikolajBjorner

  authored
  dc9266f

  Copy full SHA for dc9266f

• added no exception support to z3++.h

  

  hume

  committed
  0b1d564

  Copy full SHA for 0b1d564

Commits on Mar 13, 2017

• Merge pull request #938 from mtrberzi/str-at-semantics

  Show description for 5cff42b
  NikolajBjorner

  authored
  5cff42b

  Copy full SHA for 5cff42b

• add alternate str.at semantics check in seq_rewriter

  Show description for 5c9d753
  mtrberzi

  committed
  5c9d753

  Copy full SHA for 5c9d753

• Merge pull request #926 from delcypher/cmake_z3_config

  Show description for 5a79722
  NikolajBjorner

  authored
  5a79722

  Copy full SHA for 5a79722

• [CMake] On Windows when building the examples copy the Z3 library

  Show description for 2849362
  

  Dan Liew

  committed
  2849362

  Copy full SHA for 2849362

• [CMake] Fix examples linking against libz3 when it is built as a

  Show description for ac85c68
  

  Dan Liew

  committed
  ac85c68

  Copy full SHA for ac85c68

• [CMake] Fix typo handling OpenMP flags.

  

  Dan Liew

  committed
  b20bf51

  Copy full SHA for b20bf51

• [CMake] Build `c_example`, `cpp_example` and `z3_tptp5` as external

  Show description for db5520c
  

  Dan Liew

  committed
  db5520c

  Copy full SHA for db5520c

• [CMake] Python examples should only be copied over if python bindings

  Show description for d961784
  

  Dan Liew

  committed
  d961784

  Copy full SHA for d961784

• [CMake] Implement generation of `Z3Config.cmake` and `Z3Target.cmake`

  Show description for 73614ab
  

  Dan Liew

  committed
  73614ab

  Copy full SHA for 73614ab

Commits on Mar 12, 2017

• Merge pull request #937 from delcypher/cmake_git_version

  Show description for e293335
  NikolajBjorner

  authored
  e293335

  Copy full SHA for e293335

• [CMake] Support including Git hash and description into the build.

  Show description for 2cb4223
  

  Dan Liew

  committed
  2cb4223

  Copy full SHA for 2cb4223

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

  NikolajBjorner

  committed
  1f4f451

  Copy full SHA for 1f4f451

• move restore relevancy until after literals have been replayed

  Show description for 8bec1e2
  NikolajBjorner

  committed
  8bec1e2

  Copy full SHA for 8bec1e2

• Merge pull request #936 from jamesbornholt/z3py-with

  Show description for 7272d3f
  NikolajBjorner

  authored
  7272d3f

  Copy full SHA for 7272d3f

• z3py: With tactical should not try to use context as a parameter

  jamesbornholt

  committed
  559c5e5

  Copy full SHA for 559c5e5

Commits on Mar 11, 2017

• fixing build break, addressing #935

  Show description for 2281115
  NikolajBjorner

  committed
  2281115

  Copy full SHA for 2281115

Commits on Mar 10, 2017

• adding fixedpoint object to C++ API

  Show description for 509f740
  NikolajBjorner

  committed
  509f740

  Copy full SHA for 509f740

• fixing build break, adding fixedpoint object to C++ API

  Show description for 3381935
  NikolajBjorner

  committed
  3381935

  Copy full SHA for 3381935

Commits on Mar 9, 2017

• remove print breaking build

  Show description for fbf81c8
  NikolajBjorner

  committed
  fbf81c8

  Copy full SHA for fbf81c8

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

  NikolajBjorner

  committed
  abdd982

  Copy full SHA for abdd982

• include recursive functions to models. Issue #898

  Show description for 854bb21
  NikolajBjorner

  committed
  854bb21

  Copy full SHA for 854bb21

• remove scratch notes from readme

  Show description for 7b727fc
  NikolajBjorner

  committed
  7b727fc

  Copy full SHA for 7b727fc

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

  NikolajBjorner

  committed
  6f68355

  Copy full SHA for 6f68355

• add notes to README based on feedback in #916

  Show description for e34996f
  NikolajBjorner

  committed
  e34996f

  Copy full SHA for e34996f

• check that formulas are in lira before invoking qsat. Issue #919

  Show description for 2996964
  NikolajBjorner

  committed
  2996964

  Copy full SHA for 2996964

Pagination

Previous

Next