Commits

Branch selector

 master

User selector

kenmcmil

Datepicker

All time

Commit History

Commits on Apr 20, 2015

• merging into unstable

  kenmcmil

  committed
  9bff932

  Copy full SHA for 9bff932

• fixed interp api bug (github issue #47)

  kenmcmil

  committed
  5f37b1d

  Copy full SHA for 5f37b1d

Commits on Apr 15, 2015

• re-indenting interp and duality

  kenmcmil

  committed
  af444be

  Copy full SHA for af444be

Commits on Apr 3, 2015

• merge

  kenmcmil

  committed
  d797b0c

  Copy full SHA for d797b0c

Commits on Apr 2, 2015

• merge

  kenmcmil

  committed
  b6787fe

  Copy full SHA for b6787fe

• possible header problem for std::less

  kenmcmil

  committed
  d42e3ce

  Copy full SHA for d42e3ce

Commits on Mar 21, 2015

• merging interpolation fix (issue 182)

  kenmcmil

  committed
  be70980

  Copy full SHA for be70980

• interpolation fix (issue 182)

  kenmcmil

  committed
  47d3345

  Copy full SHA for 47d3345

Commits on Feb 19, 2015

• merge interpolation fix

  kenmcmil

  committed
  ece838b

  Copy full SHA for ece838b

• fixed interpolation bug

  kenmcmil

  committed
  185f932

  Copy full SHA for 185f932

Commits on Dec 9, 2014

• merge

  kenmcmil

  committed
  882dbfc

  Copy full SHA for 882dbfc

Commits on Dec 8, 2014

• attempted interp fixes

  kenmcmil

  committed
  8181b15

  Copy full SHA for 8181b15

Commits on Oct 31, 2014

• fixes and performance improvements for interp and duality

  kenmcmil

  committed
  a6f58bd

  Copy full SHA for a6f58bd

Commits on Oct 24, 2014

• merge interp change

  kenmcmil

  committed
  61905a1

  Copy full SHA for 61905a1

• unlimit stack on linux/mac

  kenmcmil

  committed
  da71d5e

  Copy full SHA for da71d5e

Commits on Oct 22, 2014

• replaced check_interpolants option with interp.check

  kenmcmil

  committed
  5454e38

  Copy full SHA for 5454e38

• fixed error check in read_interpolation_problem

  kenmcmil

  committed
  6e18f44

  Copy full SHA for 6e18f44

• merge duality changes with unstable

  kenmcmil

  committed
  d815af9

  Copy full SHA for d815af9

Commits on Oct 8, 2014

• merging changes for duality with array abstraction

  kenmcmil

  committed
  8e08baa

  Copy full SHA for 8e08baa

• prevent creating some useless solvers in duality

  kenmcmil

  committed
  bbdc8b3

  Copy full SHA for bbdc8b3

Commits on Oct 5, 2014

• working on transforms for duality

  kenmcmil

  committed
  ec48f6d

  Copy full SHA for ec48f6d

• working on transforms in duality

  kenmcmil

  committed
  e8985ff

  Copy full SHA for e8985ff

Commits on Oct 4, 2014

• fix for quantifier abstraction

  kenmcmil

  committed
  1644556

  Copy full SHA for 1644556

Commits on Oct 2, 2014

• getting duality to recover from incompleteness-related failures by restarting

  kenmcmil

  committed
  d54d758

  Copy full SHA for d54d758

• fixing an assert caused by previous change in theory_array_base.cpp

  kenmcmil

  committed
  c5f17df

  Copy full SHA for c5f17df

Commits on Sep 30, 2014

• added restarts options to duality (plus some other disabled features)

  kenmcmil

  committed
  301cb51

  Copy full SHA for 301cb51

• adding compile-time option to replace arrays with maps in smt (define SPARSE_MAP)

  kenmcmil

  committed
  4763532

  Copy full SHA for 4763532

• optimizing array final check

  kenmcmil

  committed
  4c71e94

  Copy full SHA for 4c71e94

Commits on Sep 9, 2014

• adding recursion bounds to duality

  kenmcmil

  committed
  13b61d8

  Copy full SHA for 13b61d8

Commits on Aug 26, 2014

• merging fixes with unstable

  kenmcmil

  committed
  672b8e1

  Copy full SHA for 672b8e1

• merge with push/pop fixes

  kenmcmil

  committed
  9b3ef92

  Copy full SHA for 9b3ef92

• fixed pop issue and interpolation proof mode issue

  kenmcmil

  committed
  51aa108

  Copy full SHA for 51aa108

Commits on Aug 19, 2014

• merging with unstable

  kenmcmil

  committed
  da76a51

  Copy full SHA for da76a51

• fixed duality bug and added some code for returning bounded status (not yet used)

  kenmcmil

  committed
  70a1155

  Copy full SHA for 70a1155

Commits on Aug 6, 2014

• doc fix for interpolation bindings for python

  kenmcmil

  committed
  e17af8a

  Copy full SHA for e17af8a

Pagination

Previous

Next