Commits

Branch selector

 master

User selector

mdeters

All time

Commit History

Commits on Jan 14, 2015

• sygus input language and benchmark

  mdeters

  committed
  0042f30

Commits on Jan 13, 2015

• Fix #line numbering.

  mdeters

  committed
  ba1ae20

• Fix a memory issue in ResourceManager on 32-bit (resolves bug cvc5#606).

  mdeters

  committed
  1185848

• Remove private #include.

  mdeters

  committed
  8c03258

• Fix typo.

  mdeters

  committed
  2f2eaaa

• Remove old .orig files that were added to the repository.

  mdeters

  committed
  9921d8b

Commits on Dec 16, 2014

• Fix oversight in dumping assertions in preprocessing.

  mdeters

  committed
  92d9c96

Commits on Dec 11, 2014

• Minor fixes to language bindings. (Resolves cvc5#607.)

  mdeters

  committed
  69c092f

Commits on Dec 9, 2014

• Better error description (related to bug 605).

  mdeters

  committed
  7032ab2

• Cleanup.

  mdeters

  committed
  5361724

Commits on Dec 4, 2014

• Fix valgrind-flagged error about uninitialized value.

  mdeters

  committed
  c2d84b8

• Fix segfault in lambdas when constructed via API.

  mdeters

  committed
  68c393b

• Fix UnsatCore in language bindings.

  mdeters

  committed
  9571f1f

Commits on Nov 20, 2014

• Fix #lines in template.

  mdeters

  committed
  eebaff1

Commits on Nov 19, 2014

• Distribute UnsafeInterruptException interface file for SWIG.

  mdeters

  committed
  363dc98

Commits on Nov 17, 2014

• Short-circuit in TheoryArithPrivate::check(), care of Tim.

  mdeters

  committed
  e5e33a2

• New, uniform checkTime statistic for all theories (as discussed in meeting).

  mdeters

  committed
  a64af5c

Commits on Nov 13, 2014

• Minor adjustments to wording.

  mdeters

  committed
  e471115

• Copyright text fixes.

  mdeters

  committed
  27d42e8

• Merge pull request cvc5#69 from mdeters/bug594

  Show description for 2b7c294
  mdeters

  committed
  2b7c294

• Possible fix for bug594

  mdeters

  committed
  fc0e2ab

• Merge pull request cvc5#65 from mdeters/bv-ineq-cachefix

  Show description for 270a557
  mdeters

  committed
  270a557

• BV inequality graph TNode fix.

  mdeters

  committed
  381e911

• Fix BV inequality solver caching.

  mdeters

  committed
  385519c

Commits on Nov 12, 2014

• Fix tokenization of "reset" in SMT-LIB v2.0. It's a reserved word only in 2.5.

  mdeters

  committed
  18b06f0

Commits on Nov 11, 2014

• Minor cleanup.

  mdeters

  committed
  9202ee4

Commits on Nov 10, 2014

• Merge branch '1.4.x'

  mdeters

  committed
  8a43f6c

• Update TheorySets to use CDHashSet<>::key_begin() / key_end().

  mdeters

  committed
  20a0d70

Commits on Nov 9, 2014

• Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().

  mdeters

  committed
  ec11be9

• Work around an apparent bug in libc++ that was causing crashes on Mac..

  mdeters

  committed
  5c99a9b

• Fix a deterministic assignment-ordering for get-assignment (fixes a regression failure on Mac).

  mdeters

  committed
  36ff166

• Increase stack size when running regressions (fixes some regression crashes on Mac).

  mdeters

  committed
  90ef0ab

Commits on Nov 8, 2014

• Merge pull request cvc5#62 from mdeters/bv-cleanup

  Show description for 5f4e667
  mdeters

  committed
  5f4e667

• Remove some unused variables.

  mdeters

  committed
  d997064

Commits on Nov 7, 2014

• Remove some dead code.

  mdeters

  committed
  fe30804

Pagination

PreviousNext