Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 24, 2014

• Java API bugfix

  Show description for e0c42f5
  

  Christoph M. Wintersteiger

  committed
  e0c42f5

  Copy full SHA for e0c42f5

Commits on Oct 17, 2014

• revert some changes to how 'out' parameters are annotated on API calls. Retain the 'out' annotation for so-called managed out parameters. The data-type examples in managed API fail with the out par…

  Show description for fe4a8b4
  NikolajBjorner

  committed
  fe4a8b4

  Copy full SHA for fe4a8b4

Commits on Oct 10, 2014

• Interpolation API bugfixes

  Show description for 3e7c95d
  

  Christoph M. Wintersteiger

  committed
  3e7c95d

  Copy full SHA for 3e7c95d

• Resolved interpolation API issues.

  Show description for 9b8406c
  

  Christoph M. Wintersteiger

  committed
  9b8406c

  Copy full SHA for 9b8406c

Commits on Oct 9, 2014

• Interpolation API bugfixes

  Show description for 503ad78
  

  Christoph M. Wintersteiger

  committed
  503ad78

  Copy full SHA for 503ad78

Commits on Oct 8, 2014

• make module parameter validation and adjustment more flexible: you can use both module qualifiers and unqualified parameters from the API at local scope

  Show description for f0c63e5
  NikolajBjorner

  committed
  f0c63e5

  Copy full SHA for f0c63e5

• Interpolation API: infrastructure fixes and .NET API

  Show description for b03a9d3
  

  Christoph M. Wintersteiger

  committed
  b03a9d3

  Copy full SHA for b03a9d3

Commits on Sep 18, 2014

• fixed typos

  Show description for 9949c7e
  

  Christoph M. Wintersteiger

  committed
  9949c7e

  Copy full SHA for 9949c7e

Commits on Sep 1, 2014

• Added multi processor compilation to VS project.

  Show description for fa24d9d
  

  Christoph M. Wintersteiger

  committed
  fa24d9d

  Copy full SHA for fa24d9d

Commits on Aug 22, 2014

• .NET API: bugfix. Thanks to Konrad Jamrozik for catching this one.

  Show description for 38ee8cb
  

  Christoph M. Wintersteiger

  committed
  38ee8cb

  Copy full SHA for 38ee8cb

Commits on Aug 8, 2014

• .NET API: Enabled .xml documentation generation by default.

  Show description for 0df0174
  

  Christoph M. Wintersteiger

  committed
  0df0174

  Copy full SHA for 0df0174

Commits on Aug 6, 2014

• merged with unstable

  kenmcmil

  committed
  c007a5e

  Copy full SHA for c007a5e

Commits on Apr 23, 2014

• FPA refactoring in preparation for FPA support in the kernel.

  Show description for fb4c07a
  

  Christoph M. Wintersteiger

  committed
  fb4c07a

  Copy full SHA for fb4c07a

Commits on Apr 7, 2014

• Compilation fix for FreeBSD

  

  Christoph M. Wintersteiger

  committed
  b6c0b8c

  Copy full SHA for b6c0b8c

Commits on Apr 3, 2014

• bugfix

  Show description for 4444eb3
  

  Christoph M. Wintersteiger

  committed
  4444eb3

  Copy full SHA for 4444eb3

Commits on Mar 20, 2014

• bugfix for python 2.6

  

  Christoph M. Wintersteiger

  committed
  83f8891

  Copy full SHA for 83f8891

Commits on Feb 21, 2014

• Java API bugfixes for cygwin compilation

  Show description for 07d56bd
  

  Christoph M. Wintersteiger

  committed
  07d56bd

  Copy full SHA for 07d56bd

Commits on Feb 20, 2014

• fix(api/python): make sure Z3 compiles using Python3

  Show description for e077fc5
  leodemoura

  committed
  e077fc5

  Copy full SHA for e077fc5

Commits on Jan 22, 2014

• bugfix for OSX build configuration

  

  Christoph M. Wintersteiger

  committed
  b2be81f

  Copy full SHA for b2be81f

Commits on Jan 21, 2014

• Bugfixes for the build on new OSX machines (XCode 5.0 on).

  

  Christoph M. Wintersteiger

  committed
  73a1ddd

  Copy full SHA for 73a1ddd

Commits on Dec 13, 2013

• fussing with qe in duality

  kenmcmil

  committed
  a410e7f

  Copy full SHA for a410e7f

Commits on Oct 19, 2013

• merged with unstable

  kenmcmil

  committed
  3a0947b

  Copy full SHA for 3a0947b

Commits on Sep 15, 2013

• still working on interpolation of full z3 proofs

  kenmcmil

  committed
  2c9c5ba

  Copy full SHA for 2c9c5ba

Commits on Sep 7, 2013

• add TPTP example

  Show description for 457b22b
  NikolajBjorner

  committed
  457b22b

  Copy full SHA for 457b22b

Commits on Aug 29, 2013

• re-organization of muz

  Show description for e4338f0
  NikolajBjorner

  committed
  e4338f0

  Copy full SHA for e4338f0

• re-organizing muz

  Show description for 9e61820
  NikolajBjorner

  committed
  9e61820

  Copy full SHA for 9e61820

• re-organize muz_qe into separate units

  Show description for 0d56499
  NikolajBjorner

  committed
  0d56499

  Copy full SHA for 0d56499

Commits on Aug 28, 2013

• split muz_qe into two directories

  Show description for 137339a
  NikolajBjorner

  committed
  137339a

  Copy full SHA for 137339a

Commits on Jul 15, 2013

• .NET build changes to include /linkresource

  Show description for 6ce0e7c
  

  Christoph M. Wintersteiger

  committed
  6ce0e7c

  Copy full SHA for 6ce0e7c

Commits on Jun 24, 2013

• Move AssemblyInfo.cs AssemblyInfo. Update mk_util.py to generate AssemblyInfo.cs instead of modifying it.

  Show description for efb6b24
  leodemoura

  committed
  efb6b24

  Copy full SHA for efb6b24

• Move AssemblyInfo.cs AssemblyInfo. Update mk_util.py to generate AssemblyInfo.cs instead of modifying it.

  Show description for 205520e
  leodemoura

  committed
  205520e

  Copy full SHA for 205520e

Commits on May 16, 2013

• add experimental Horn clause to AIG (AAG format) converter.

  Show description for 6560fc0
  nunoplopes

  committed
  6560fc0

  Copy full SHA for 6560fc0

Commits on Apr 21, 2013

• first commit of duality

  kenmcmil

  committed
  8488ca2

  Copy full SHA for 8488ca2

Commits on Mar 27, 2013

• porting to windows

  

  U-REDMOND\kenmcmil

  authored and

  U-REDMOND\kenmcmil

  committed
  2826678

  Copy full SHA for 2826678

• working on smt2 and api

  kenmcmil

  committed
  78848f3

  Copy full SHA for 78848f3

Pagination

Previous

Next