summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2012-04-06* Fix ITEs and functions in CVC language printer.Morgan Deters
2012-03-09Some work on the dump infrastructure to support portfolio work.Morgan Deters
2012-03-07fix some Java compatibility-layer interface problems; also fix some Mac OS X ...Morgan Deters
2012-03-02CDMap -> CDHashMapDejan Jovanović
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2012-02-23Added ability to set a "cvc4-specific logic" in standards-compliantMorgan Deters
2012-02-22Fixes to documentation / fixes for MacOSMorgan Deters
2012-02-21fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platf...Morgan Deters
2012-02-21language bindings fixes for yesterday's portfolio mergeMorgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-13proper handling of improper get-valueMorgan Deters
2011-12-14minor fixes to printing and parsing of CVC-language defined functions and lam...Morgan Deters
2011-11-22More language bindings work:Morgan Deters
2011-11-16Addressed many of the concerns raised in the public interface review of CVC4 ...Morgan Deters
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-11-06datatype stuff in compatibility interface implementedMorgan Deters
2011-11-04STRING_TYPE and CONST_STRING and associate type infrastructure implemented.Morgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-10-29fix unit testsMorgan Deters
2011-10-29Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...Morgan Deters
2011-10-28* ability to output NodeBuilders without first converting them to Nodes---use...Morgan Deters
2011-10-13Interruption, time-out, and deterministic time-out ("resource-out") features.Morgan Deters
2011-10-07Some new Datatype public functionality, as per Chris Conway's suggestions on ...Morgan Deters
2011-10-05Reverting a fix from earlier today that fixed a Mac OS warning but completely...Morgan Deters
2011-10-05minor visibility fixesMorgan Deters
2011-10-04Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-dete...Morgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-29Some base infrastructure for user push/pop; a few bugfixes to user push/pop a...Morgan Deters
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-16dump define-funs correctly with "--dump declarations", whether the function i...Morgan Deters
2011-09-16fix numerous documentation issues; doxygen complains much less, nowMorgan Deters
2011-09-15additional stuff for sharing, Dejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-09-02Partial merge of integers work; this is simple B&B and some pseudobooleanMorgan Deters
2011-07-11merge from symmetry branchMorgan Deters
2011-07-09minor fixupsMorgan Deters
2011-07-09surprize surprizeDejan Jovanović
2011-07-05updated preprocessing and rewriting input equalities into inequalities for LRADejan Jovanović
2011-06-30only use theory registration if (1) a theory requests it, or (2) if there's m...Morgan Deters
2011-06-30some things I had laying around in a directory but never got committed; minor...Morgan Deters
2011-06-18Some fixes inspired by Fedora 15:Morgan Deters
2011-06-06Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on...Morgan Deters
2011-06-03datatypes workMorgan Deters
2011-06-01minor fix, and better output for type errorsMorgan Deters
2011-06-01type ascriptions (casts) for parameterized datatypes, e.g. "nil :: list[INT]Morgan Deters
2011-05-23fixes for "make dist" and "make doc", minor cleanupsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback