summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2012-09-25fix some Mac issuesMorgan Deters
2012-09-24Fix the memout issue seen in recent nightly regressions (was due to aMorgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-09-21Fixes for datatype dumping and printing. Add a new test case for dumping.Morgan Deters
2012-09-21better verbosity support (so it's sensible when the library is used via the API)Morgan Deters
2012-09-20some bugfixes that come as a result of debugging some CASCADE/C stuff..Morgan Deters
2012-09-19General subscriber infrastructure for NodeManager, as discussed in theMorgan Deters
2012-09-17more bindings fixesMorgan Deters
2012-09-15another bindings fix (should fix debian build)Morgan Deters
2012-09-14a fix for the java bindings for weiMorgan Deters
2012-09-12Adding model assertions after SAT responses.Morgan Deters
2012-09-11added getCardinality to modelAndrew Reynolds
2012-09-10modified getValue to return Expr instead of NodeAndrew Reynolds
2012-09-08Some minor changes after reviewing the portfolio "unified driver" commit.Morgan Deters
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2012-08-28fix a bug in CLN rational printing where the base was ignored (was causing th...Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-24* disallow internal uses of mkVar() (you have to mkSkolem())Morgan Deters
2012-08-22Cap finite cardinalities at 2^64, as discussed in the meeting last week.Morgan Deters
2012-08-20fixes for java bindingsMorgan Deters
2012-08-16ArrayStoreAll should (for now) only allow constant expressions, as it is itse...Morgan Deters
2012-08-16fix exceptions and mkConst() in java bindingMorgan Deters
2012-08-14Fixes to integer wrapper classes:Morgan Deters
2012-08-07small fixesDejan Jovanović
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-03ArrayStoreAll infrastructureMorgan Deters
2012-08-03fix uses of getMetaKind() from outside the expr package. (they now use isCon...Morgan Deters
2012-08-02array-store-all classMorgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-08-01some fixes for Mac OSMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-27Minor cleanup after today's commits:Morgan Deters
2012-07-27removing unecessary filesAndrew Reynolds
2012-07-27Merge quantifiers2-trunk:François Bobot
2012-07-18removing output operator for SExprTypes, which is never used (and SExprTypes ...Morgan Deters
2012-07-17SMT-LIBv2 compliance updates:Morgan Deters
2012-07-16Support for having two SmtEngines with the same ExprManager.Morgan Deters
2012-07-14Type enumerator infrastructure and uninterpreted constant support. No suppor...Morgan Deters
2012-07-12merged fmf-devel branch, includes support for SMT2 command get-value and (ext...Andrew Reynolds
2012-07-10small changes:Dejan Jovanović
2012-07-08Bugs resolved by this commit: #314, #322, #359, #364, #365.Morgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-22TPTP: add parser for cnf and fofFrançois Bobot
2012-06-17--decision=justification-stoponly : use decision engine only for stoppingKshitij Bansal
2012-06-16changing theoryOf in shared mode with arrays to move equalities to arraysDejan Jovanović
2012-06-14fix cout, fix statname, rm deadcodeKshitij Bansal
2012-06-14Brings the tuning branch into trunk. This includes the changes from restricte...Tim King
2012-06-12fix ordering issue of --dump-to and --default-dag-thresh. now can be specifi...Morgan Deters
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback