Commits

Breadcrumbs

History for

on57846e5

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 20, 2019

• incrementally adding files from dotnet core pull request from @yatli

  Show description for 37d9e6d
  NikolajBjorner

  committed
  37d9e6d

  Copy full SHA for 37d9e6d

Commits on Jan 16, 2019

• Revert "api: dotnet: switch to multi-targeting project and modern cmake-dotnet integration."

  NikolajBjorner

  authored
  038971c

  Copy full SHA for 038971c

Commits on Jan 12, 2019

• dotnet: update build scripts

  

  Yatao Li

  committed
  53eaab4

  Copy full SHA for 53eaab4

• .net: remove net35 related build props; drop src/api/dotnet/core

  

  Yatao Li

  committed
  ffd26e5

  Copy full SHA for ffd26e5

Commits on Dec 21, 2018

• spread a few anonymous namespaces and remove some m_imp idioms

  nunoplopes

  committed
  178e5b3

  Copy full SHA for 178e5b3

Commits on Jun 12, 2017

• [CMake] Move CMake files into their intended location so the

  Show description for 4b517b9
  

  Dan Liew

  committed
  4b517b9

  Copy full SHA for 4b517b9

Commits on Sep 14, 2016

• First steps to a sane python build

  rhelmot

  committed
  0bbd172

  Copy full SHA for 0bbd172

Commits on Mar 27, 2016

• [CMake] Implement support for building the .NET bindings.

  Show description for 20d3bf4
  

  Dan Liew

  committed
  20d3bf4

  Copy full SHA for 20d3bf4

Commits on Mar 4, 2016

• Add globbing patterns to .gitignore so the files copied

  Show description for a5f8cea
  

  Dan Liew

  committed
  a5f8cea

  Copy full SHA for a5f8cea

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

Pagination

Previous

Next