Commits

Branch selector

 master

User selector

leodemoura

Datepicker

All time

Commit History

Commits on Mar 26, 2015

• Move to MIT License

  leodemoura

  committed
  40269c8

  Copy full SHA for 40269c8

Commits on Jul 25, 2014

• feat(ast/ast_smt_pp): display quantifier QID when printing proofs, feature requested by Dan Rosen

  Show description for 24961dc
  leodemoura

  committed
  24961dc

  Copy full SHA for 24961dc

Commits on Jun 20, 2014

• fix(scripts/mk_make): python3 compatibility

  Show description for 91b3220
  leodemoura

  committed
  91b3220

  Copy full SHA for 91b3220

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 Nov 4, 2013

• fix assertion violations (reported by Christoph Wintersteiger) at sage\app8\bench_2174.smt2, sage\app9\bench_1450.smt2, sage\app9\bench_1546.smt2

  Show description for 063f6fe
  leodemoura

  committed
  063f6fe

  Copy full SHA for 063f6fe

• fix assertion violations (reported by Christoph Wintersteiger) at sage/bench_1300.smt2 and sage/bench/2861.smt2

  Show description for 88675ec
  leodemoura

  committed
  88675ec

  Copy full SHA for 88675ec

• fix https://z3.codeplex.com/workitem/62

  Show description for 825b727
  leodemoura

  committed
  825b727

  Copy full SHA for 825b727

• fix bug in factor_tactic

  Show description for 8b10e13
  leodemoura

  committed
  8b10e13

  Copy full SHA for 8b10e13

Commits on Sep 26, 2013

• Fix z3.py doctests to reflect recent changes in the substitute API

  Show description for 8ef2fe7
  leodemoura

  committed
  8ef2fe7

  Copy full SHA for 8ef2fe7

Commits on Jul 9, 2013

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

  leodemoura

  committed
  9879d8a

  Copy full SHA for 9879d8a

• Fix issue https://z3.codeplex.com/workitem/54

  Show description for ccb36f1
  leodemoura

  committed
  ccb36f1

  Copy full SHA for ccb36f1

Commits on Jun 29, 2013

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

  leodemoura

  committed
  b7c2d90

  Copy full SHA for b7c2d90

• Add code for rejecting bitvector constants of size 0

  Show description for d9941c0
  leodemoura

  committed
  d9941c0

  Copy full SHA for d9941c0

Commits on Jun 27, 2013

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

  leodemoura

  committed
  544dfde

  Copy full SHA for 544dfde

• Fix minor problem

  Show description for 5b7201a
  leodemoura

  committed
  5b7201a

  Copy full SHA for 5b7201a

• Cherry-pick goodies from mcsat branch

  Show description for f238720
  leodemoura

  committed
  f238720

  Copy full SHA for f238720

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 Jun 21, 2013

• Fix bug reported by Florian <[email protected]>

  Show description for 42898f3
  leodemoura

  committed
  42898f3

  Copy full SHA for 42898f3

• Fix compilation errors/warnings when using GCC

  Show description for a60b53b
  leodemoura

  committed
  a60b53b

  Copy full SHA for a60b53b

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

  leodemoura

  committed
  f5f04e5

  Copy full SHA for f5f04e5

• Fix problem reported at http://stackoverflow.com/questions/17215640/getting-concrete-values-from-a-model-containing-array-ext

  Show description for 185f125
  leodemoura

  committed
  185f125

  Copy full SHA for 185f125

• Add trace msg

  Show description for cd485f0
  leodemoura

  committed
  cd485f0

  Copy full SHA for cd485f0

Commits on Jun 13, 2013

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

  leodemoura

  committed
  894fd8b

  Copy full SHA for 894fd8b

• Fix issue https://z3.codeplex.com/workitem/47

  Show description for 40b1137
  leodemoura

  committed
  40b1137

  Copy full SHA for 40b1137

• Fix issue https://z3.codeplex.com/workitem/48

  Show description for 2c8b314
  leodemoura

  committed
  2c8b314

  Copy full SHA for 2c8b314

Commits on Jun 7, 2013

• Fix issue https://z3.codeplex.com/workitem/37

  Show description for 2b59f2e
  leodemoura

  committed
  2b59f2e

  Copy full SHA for 2b59f2e

Commits on Jun 6, 2013

• Fix issue https://z3.codeplex.com/workitem/38

  Show description for f4f1c63
  leodemoura

  committed
  f4f1c63

  Copy full SHA for f4f1c63

Commits on Jun 5, 2013

• Apply patch submitted by David Cok

  Show description for 38d1f30
  leodemoura

  committed
  38d1f30

  Copy full SHA for 38d1f30

• Apply patch submitted by David Cok

  Show description for 095ba80
  leodemoura

  committed
  095ba80

  Copy full SHA for 095ba80

• Merge branch 'unstable' into contrib

  leodemoura

  committed
  d2a2dbb

  Copy full SHA for d2a2dbb

• Fix issue http://z3.codeplex.com/workitem/45

  Show description for 110fa0b
  leodemoura

  committed
  110fa0b

  Copy full SHA for 110fa0b

Commits on May 30, 2013

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

  leodemoura

  committed
  b670f0b

  Copy full SHA for b670f0b

• Remove redundant register_on_timeout_proc

  Show description for 37215b0
  leodemoura

  committed
  37215b0

  Copy full SHA for 37215b0

Commits on May 28, 2013

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

  leodemoura

  committed
  fbbbfad

  Copy full SHA for fbbbfad

Pagination

Previous

Next