Age | Commit message (Collapse) | Author |
|
|
|
assertions (#2458)
|
|
|
|
|
|
|
|
|
|
|
|
Removes some hacks due to Swig 2's incomplete C++11 support and adds
checks for version 3 at configuration time as well as in swig.h
|
|
deprecating CDTrailHashMap. (#2207)
|
|
This is 1/3 PRs for deprecating CDTrailHashMap.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This commit refactors the pbRewrites preprocessing pass into the new
style. This commit is essentially just a code move and adds a regression
test for the preprocessing pass. It also makes use of the
AssertionPipeline::replace function to do proper dependency tracking.
|
|
(#1742)
|
|
|
|
NonLinearExtension (#1633)
|
|
Adds missing override keywords.
|
|
|
|
Also adds parsing support for PI in smt2 with syntax "real.pi".
|
|
|
|
|
|
|
|
|
|
|
|
|
|
can be cleaned up later. (#1529)
|
|
|
|
|
|
|
|
* Removes RationalFromDoubleException. Replaces this with an explicit Maybe<Rational> datatype. Makes Maybe<T> CVC4_PUBLIC. Updates the users of Rational::fromDouble(). Miscellaneous cleanup of ApproxSimplex.
|
|
|
|
|
|
|
|
|
|
|
|
|