Age | Commit message (Collapse) | Author |
|
|
|
|
|
Conflicts:
contrib/run-script-smtcomp2014-application
src/main/driver_unified.cpp
|
|
|
|
|
|
Fix compiler warnings in BV-related code (unused vars mostly).
|
|
Bit-vector kinds documentation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and arith.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Int). Thanks to Dan Liew for the report.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* Partial reversion of b8e28a7, do it a different way.
* Revert "Test portfolio with --no-wait-to-join."
This reverts commit 8b56004ee8bf6c34aaf045bec12bf0e4401a044c.
|
|
compilation troubles with libc++.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|