2014-08-18 |
ajreynol | Add support for quantifier-specific instantiation level... |
blob | commitdiff | raw |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
blob | commitdiff | raw | diff to current |
2014-06-19 |
ajreynol | For casc : print models of functions rewritten by sort... |
blob | commitdiff | raw | diff to current |
2014-06-17 |
ajreynol | For casc : print models of functions rewritten by sort... |
blob | commitdiff | raw | diff to current |
2014-05-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-05-11 |
Andrew Reynolds | More preparation for CASC proofs. Minor fix for sort... |
blob | commitdiff | raw | diff to current |
2014-05-09 |
Andrew Reynolds | Add variable ordering to ambqi. Bug fix to macros... |
blob | commitdiff | raw | diff to current |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Minor code cleanup. |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
blob | commitdiff | raw | diff to current |
2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-03 |
Morgan Deters | SExpr pretty-printing for :all-options and :all-statistics. |
blob | commitdiff | raw | diff to current |
2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-09-12 |
Kshitij Bansal | fix bug 534: portfolio define-fun duplicate model |
blob | commitdiff | raw | diff to current |
2013-09-09 |
Morgan Deters | Support per-command verbosity settings. |
blob | commitdiff | raw | diff to current |
2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
blob | commitdiff | raw | diff to current |
2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-05-29 |
Morgan Deters | Per SMT-LIB spec, allow (set-info..) command to succeed... |
blob | commitdiff | raw | diff to current |
2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | Fix destruction issue in GetValueCommand leading to... |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | A couple of fixes to the get-option command for complia... |
blob | commitdiff | raw | diff to current |
2013-05-17 |
Morgan Deters | Fix destruction issue in GetValueCommand leading to... |
blob | commitdiff | raw | diff to current |
2013-05-17 |
Morgan Deters | A couple of fixes to the get-option command for complia... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
blob | commitdiff | raw | diff to current |
2013-03-21 |
Morgan Deters | Add the ability to "mute" commands, needed for SMT... |
blob | commitdiff | raw | diff to current |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-20 |
Morgan Deters | Some exception specification fixes in SmtEngine/Command... |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Kshitij Bansal | fix in CommandSequence invoke : maintain success/failur... |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Morgan Deters | First chunk of boolean-terms support. |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-10-09 |
Morgan Deters | * make Model class private (as discussed at meeting... |
blob | commitdiff | raw | diff to current |
2012-10-05 |
Morgan Deters | Bug-related: |
blob | commitdiff | raw | diff to current |
2012-10-05 |
Dejan Jovanović | BoolExpr removed and replaced with Expr |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Kshitij Bansal | Some fixes to portfolio |
blob | commitdiff | raw | diff to current |
2012-09-26 |
Morgan Deters | Finish off SEXPR kind work. |
blob | commitdiff | raw | diff to current |
2012-09-26 |
Morgan Deters | The Tuesday Afternoon Catch-All Commit (TACAC): |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,... |
blob | commitdiff | raw | diff to current |
2012-09-15 |
Morgan Deters | minor interface improvements, compliance fixes |
blob | commitdiff | raw | diff to current |
2012-09-08 |
Kshitij Bansal | Single driver for both sequential and portfolio |
blob | commitdiff | raw | diff to current |
2012-09-04 |
Morgan Deters | Accepted some patches from the Multicore Programming... |
blob | commitdiff | raw | diff to current |
2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
blob | commitdiff | raw | diff to current |
2012-08-24 |
Morgan Deters | fix get-value output in a couple ways; this fixes bug... |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Morgan Deters | Support setting :regular-output-channel and :diagnostic... |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Morgan Deters | Cleanup of some command stuff, fixes broken Java build. |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-27 |
François Bobot | Merge quantifiers2-trunk: |
blob | commitdiff | raw | diff to current |
2012-07-18 |
Morgan Deters | more compliance fixes for SMT-LIBv2 |
blob | commitdiff | raw | diff to current |
2012-07-17 |
Morgan Deters | SMT-LIBv2 compliance updates: |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Andrew Reynolds | merged fmf-devel branch, includes support for SMT2... |
blob | commitdiff | raw | diff to current |
2012-07-08 |
Morgan Deters | minor SMT-LIBv2 compliance issues |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Morgan Deters | some changes to make CVC4 work nicely with trace execut... |
blob | commitdiff | raw | diff to current |
2012-06-09 |
Morgan Deters | Dagification of output expressions. |
blob | commitdiff | raw | diff to current |
2012-06-08 |
Morgan Deters | Extend Printer infrastructure also to the "Result"... |
blob | commitdiff | raw | diff to current |
2012-06-07 |
Morgan Deters | Adding EchoCommand and associated printer and parser... |
blob | commitdiff | raw | diff to current |
2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfol... |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2012-02-22 |
Morgan Deters | Fixes to documentation / fixes for MacOS |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2012-02-13 |
Morgan Deters | proper handling of improper get-value |
blob | commitdiff | raw | diff to current |
2011-11-22 |
Morgan Deters | More language bindings work: |
blob | commitdiff | raw | diff to current |
2011-10-29 |
Morgan Deters | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... |
blob | commitdiff | raw | diff to current |
2011-09-16 |
Morgan Deters | dump define-funs correctly with "--dump declarations... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-07-11 |
Morgan Deters | merge from symmetry branch |
blob | commitdiff | raw | diff to current |
2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
blob | commitdiff | raw | diff to current |
2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in... |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Morgan Deters | more work on CVC language |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch: |
blob | commitdiff | raw | diff to current |
2011-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
blob | commitdiff | raw | diff to current |
2010-11-08 |
Morgan Deters | cleanup, documentation, SMT-LIBv2 compliance |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Morgan Deters | GetValueCommand now gives a TUPLE as output, with the... |
blob | commitdiff | raw | diff to current |
2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work... |
blob | commitdiff | raw | diff to current |
2010-10-09 |
Morgan Deters | support for SMT-LIBv2 :named attributes, and attributes... |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Morgan Deters | SMT-LIBv2 (define-fun...) command now functional; does... |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get... |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
2010-04-06 |
Morgan Deters | * Add some protected ContextObj accessors for ContextOb... |
blob | commitdiff | raw | diff to current |
2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
blob | commitdiff | raw | diff to current |
2010-02-08 |
Dejan Jovanović | Push/Pop parsing and commands |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
blob | commitdiff | raw | diff to current |
|