Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 1, 2015

• pull unstable

  Show description for 52619b9
  

  Nikolaj Bjorner

  committed
  52619b9

  Copy full SHA for 52619b9

Commits on Jan 19, 2015

• Minor adjustments after rebasing ml-ng onto unstable.

  Show description for e754aa1
  

  Christoph M. Wintersteiger

  committed
  e754aa1

  Copy full SHA for e754aa1

• ML API refactoring (z3native.c -> z3native_stubs.c)

  Show description for ec0b12e
  

  Christoph M. Wintersteiger

  committed
  ec0b12e

  Copy full SHA for ec0b12e

• ML API temp files added to .gitignore

  Show description for e2ac8c7
  

  Christoph M. Wintersteiger

  committed
  e2ac8c7

  Copy full SHA for e2ac8c7

• More ML API

  Show description for dcd6f1f
  

  Christoph M. Wintersteiger

  committed
  dcd6f1f

  Copy full SHA for dcd6f1f

• More ML API

  Show description for a40433a
  

  Christoph M. Wintersteiger

  committed
  a40433a

  Copy full SHA for a40433a

• More new ML API

  Show description for 1579da0
  

  Christoph M. Wintersteiger

  committed
  1579da0

  Copy full SHA for 1579da0

• ML API refactoring (z3native.c -> z3native_stubs.c)

  Show description for 4f0e8a1
  

  Christoph M. Wintersteiger

  committed
  4f0e8a1

  Copy full SHA for 4f0e8a1

• ML API temp files added to .gitignore

  Show description for a965d65
  

  Christoph M. Wintersteiger

  committed
  a965d65

  Copy full SHA for a965d65

• More ML API

  Show description for 65ddf2b
  

  Christoph M. Wintersteiger

  committed
  65ddf2b

  Copy full SHA for 65ddf2b

• More ML API

  Show description for f5a0520
  

  Christoph M. Wintersteiger

  committed
  f5a0520

  Copy full SHA for f5a0520

• More new ML API

  Show description for 03a5c88
  

  Christoph M. Wintersteiger

  committed
  03a5c88

  Copy full SHA for 03a5c88

Commits on Dec 9, 2014

• address divergence in the case of shared theory symbols. Codeplex issue 147, thanks to George Karpenkov

  Show description for 08cb8b8
  NikolajBjorner

  committed
  08cb8b8

  Copy full SHA for 08cb8b8

Commits on Oct 24, 2014

• Documentation website fixes.

  Show description for 0713535
  

  Christoph M. Wintersteiger

  committed
  0713535

  Copy full SHA for 0713535

• fixed warnings

  Show description for 7d19620
  

  Christoph M. Wintersteiger

  committed
  7d19620

  Copy full SHA for 7d19620

Commits on Apr 25, 2014

• Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt

  Show description for c3b7c73
  

  Christoph M. Wintersteiger

  committed
  c3b7c73

  Copy full SHA for c3b7c73

Commits on Apr 9, 2014

• added dotnet generated files to .gitignore

  Show description for aa006fa
  

  Christoph M. Wintersteiger

  committed
  aa006fa

  Copy full SHA for aa006fa

Commits on Nov 14, 2013

• Dump opt_solver checksat calls for profiling

  

  Anh-Dung Phan

  committed
  5921628

  Copy full SHA for 5921628

Commits on Jan 13, 2013

• Add configure script that is just a wrapper for python 'src/mk_make.py'. It makes the build more user friendly for users familiar with ./configure + make idiom

  Show description for 349c21d
  leodemoura

  committed
  349c21d

  Copy full SHA for 349c21d

Commits on Dec 26, 2012

• Ignore callgrind files and Python pyo files

  Show description for 71aec11
  leodemoura

  committed
  71aec11

  Copy full SHA for 71aec11

Commits on Nov 30, 2012

• auto generation of parameter helper

  Show description for 4f94428
  leodemoura

  committed
  4f94428

  Copy full SHA for 4f94428

• saved params work

  Show description for cf28cba
  leodemoura

  committed
  cf28cba

  Copy full SHA for cf28cba

Commits on Nov 28, 2012

• Ignoring more common build directories

  Show description for 00ebabc
  

  Christoph M. Wintersteiger

  committed
  00ebabc

  Copy full SHA for 00ebabc

Commits on Nov 27, 2012

• Java API: .gitignore updated

  Show description for 9b9b7a6
  

  Christoph M. Wintersteiger

  committed
  9b9b7a6

  Copy full SHA for 9b9b7a6

• Java API: .gitignored auto-generated files and java class files.

  Show description for 3f548c7
  

  Christoph M. Wintersteiger

  committed
  3f548c7

  Copy full SHA for 3f548c7

Commits on Nov 22, 2012

• updated .gitignore

  Show description for badb819
  leodemoura

  committed
  badb819

  Copy full SHA for badb819

Commits on Nov 20, 2012

• fixed .gitignore

  Show description for 6c11a78
  leodemoura

  committed
  6c11a78

  Copy full SHA for 6c11a78

• Updated .gitignore

  Show description for 051e84d
  leodemoura

  committed
  051e84d

  Copy full SHA for 051e84d

• Added .gitignore

  Show description for 92b6a25
  leodemoura

  committed
  92b6a25

  Copy full SHA for 92b6a25

Loading