projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da2b0b9) | 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>
Tue, 17 Jun 2014 20:11:03 +0000 (16:11 -0400)
commit16107bb0f6652cd5d94c03403700c37bc44738cc
tree7deb48979100a5285ed6f87aa8d4b113e55685datree
parentda2b0b9a85f82b1416d09d0f5eba7210299f132dcommit | 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