Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 10, 2018

• add error if library is not included #1924

  Show description for 2c8d942
  NikolajBjorner

  committed
  2c8d942

  Copy full SHA for 2c8d942

Commits on Nov 9, 2018

• align variable names with dimacs input

  Show description for b02c698
  NikolajBjorner

  committed
  b02c698

  Copy full SHA for b02c698

Commits on Nov 6, 2018

• Merge pull request #1918 from c-cube/ocaml-release-gc

  Show description for 1bf934e
  NikolajBjorner

  authored
  1bf934e

  Copy full SHA for 1bf934e

• feat(api/ml): release runtime lock on some long-running functions

  c-cube

  committed
  9121c74

  Copy full SHA for 9121c74

• Merge pull request #1915 from sburuiana/master

  Show description for 671e7f7
  NikolajBjorner

  authored
  671e7f7

  Copy full SHA for 671e7f7

• add missing inline fix #1917

  Show description for 1a030bb
  NikolajBjorner

  committed
  1a030bb

  Copy full SHA for 1a030bb

• fixed documentation of Z3_param_descrs_get_name

  

  Andrei Sebastian BURUIANA

  committed
  83aa2ab

  Copy full SHA for 83aa2ab

• fixed documentation of Z3_param_descrs_get_name

  

  Andrei Sebastian BURUIANA

  committed
  4c4ca7d

  Copy full SHA for 4c4ca7d

Commits on Nov 5, 2018

• fixing bugs uncovered by repro in #1914

  Show description for f699ac0
  NikolajBjorner

  committed
  f699ac0

  Copy full SHA for f699ac0

Commits on Nov 2, 2018

• more consistent use of parallel mode when enabled, takes care of example test from #1898 that didn't trigger parallel mode

  Show description for cf4bf7b
  NikolajBjorner

  committed
  cf4bf7b

  Copy full SHA for cf4bf7b

Commits on Nov 1, 2018

• fix model extraction for 0-ary recursive function declarations

  Show description for d9e77ba
  NikolajBjorner

  committed
  d9e77ba

  Copy full SHA for d9e77ba

• add missing override

  Show description for e75d07c
  NikolajBjorner

  committed
  e75d07c

  Copy full SHA for e75d07c

• fixing python build errors

  Show description for b02fec9
  NikolajBjorner

  committed
  b02fec9

  Copy full SHA for b02fec9

Commits on Oct 31, 2018

• deal with compiler warnings

  Show description for 2a6fa4a
  NikolajBjorner

  committed
  2a6fa4a

  Copy full SHA for 2a6fa4a

• Merge pull request #1906 from NikolajBjorner/csp

  Show description for eef2ac0
  NikolajBjorner

  authored
  eef2ac0

  Copy full SHA for eef2ac0

• newline

  Show description for a775d1f
  NikolajBjorner

  committed
  a775d1f

  Copy full SHA for a775d1f

Commits on Oct 30, 2018

• display'

  Show description for bcf896b
  NikolajBjorner

  committed
  bcf896b

  Copy full SHA for bcf896b

• na

  Show description for 22d2458
  NikolajBjorner

  committed
  22d2458

  Copy full SHA for 22d2458

• merge

  Show description for 719bc5c
  NikolajBjorner

  committed
  719bc5c

  Copy full SHA for 719bc5c

• na

  Show description for 2b14ec2
  NikolajBjorner

  committed
  2b14ec2

  Copy full SHA for 2b14ec2

• fix #1908

  Show description for 3c1c3d5
  NikolajBjorner

  committed
  3c1c3d5

  Copy full SHA for 3c1c3d5

Commits on Oct 28, 2018

• prepare release notes

  Show description for 0f0287d
  NikolajBjorner

  committed
  0f0287d

  Copy full SHA for 0f0287d

Commits on Oct 27, 2018

• merge

  Show description for 43d9159
  NikolajBjorner

  committed
  43d9159

  Copy full SHA for 43d9159

• add recfuns to python API

  Show description for 7db58be
  NikolajBjorner

  committed
  7db58be

  Copy full SHA for 7db58be

• add recfuns to model

  Show description for 80acf8e
  NikolajBjorner

  committed
  80acf8e

  Copy full SHA for 80acf8e

• add recfun to API

  Show description for 51a0022
  NikolajBjorner

  committed
  51a0022

  Copy full SHA for 51a0022

Commits on Oct 26, 2018

• na

  Show description for c5cbf98
  NikolajBjorner

  committed
  c5cbf98

  Copy full SHA for c5cbf98

Commits on Oct 25, 2018

• fix #1901

  Show description for 5d06fa2
  NikolajBjorner

  committed
  5d06fa2

  Copy full SHA for 5d06fa2

Commits on Oct 23, 2018

• working with incremental depth

  Show description for 67077d9
  NikolajBjorner

  committed
  67077d9

  Copy full SHA for 67077d9

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

  NikolajBjorner

  committed
  2aeb814

  Copy full SHA for 2aeb814

• fix #1897

  Show description for 184ae72
  NikolajBjorner

  committed
  184ae72

  Copy full SHA for 184ae72

• recfun

  Show description for aa6e1ba
  NikolajBjorner

  committed
  aa6e1ba

  Copy full SHA for aa6e1ba

Commits on Oct 22, 2018

• more dotnet core prepration

  Show description for 52801db
  NikolajBjorner

  committed
  52801db

  Copy full SHA for 52801db

• more dotnetcore preparation

  Show description for 5409227
  NikolajBjorner

  committed
  5409227

  Copy full SHA for 5409227

• more prep for dotnet core

  Show description for 4616ddf
  NikolajBjorner

  committed
  4616ddf

  Copy full SHA for 4616ddf

Pagination

Previous

Next