projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21178e5) | patch
Some reversions of recent commits re: portfolio failure.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 20:00:50 +0000 (16:00 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Jun 2014 00:32:36 +0000 (20:32 -0400)
commitc96ca24439e02a1413188b728e5b5c415d398c39
treefd9bf4735f996f411bc711a5b180e25a1bbbe3c0tree
parent21178e5599464d9d0569ff7989fad9517dd92419commit | diff
Some reversions of recent commits re: portfolio failure.

* Partial reversion of b8e28a7, do it a different way.

* Revert "Test portfolio with --no-wait-to-join."
  This reverts commit 8b56004ee8bf6c34aaf045bec12bf0e4401a044c.
.travis.yml diff | blob | history
Makefile diff | blob | history
src/main/command_executor.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history