git.libre-soc.org Git - cvc5.git/search

2013-05-07	Morgan Deters	Change SMT-EVAL run-script to use Tim's best QF_LRA...	commit \| commitdiff \| tree
2013-05-06	Morgan Deters	Removing excess verbosity from ApproxSimplex (after...	commit \| commitdiff \| tree
2013-05-01	Morgan Deters	Comment out some debug-related things in attribute...	commit \| commitdiff \| tree
2013-05-01	Morgan Deters	Fix to dumping re: boolean terms, datatypes	commit \| commitdiff \| tree
2013-05-01	Morgan Deters	Fix to boolean-terms; resolves bug #507	commit \| commitdiff \| tree
2013-05-01	Morgan Deters	Adding a missing makefile to the dist (fixes distcheck)	commit \| commitdiff \| tree
2013-04-29	Morgan Deters	Some fixes for GCC 4.2, and for Java on Mac	commit \| commitdiff \| tree
2013-04-29	Morgan Deters	Fixes to FCSimplex for some versions of compilers	commit \| commitdiff \| tree
2013-04-26	Tim King	FCSimplex branch merge	commit \| commitdiff \| tree
2013-04-25	Morgan Deters	Add ability to run different regression levels with...	commit \| commitdiff \| tree
2013-04-24	Morgan Deters	Theory "alternates" support	commit \| commitdiff \| tree
2013-04-22	Morgan Deters	add bit0 and bit1 constants to smt-lib v1 parser	commit \| commitdiff \| tree
2013-04-09	Morgan Deters	Change TPTP parser to not use the STRING type; this...	commit \| commitdiff \| tree
2013-04-05	Morgan Deters	Fix unit test (compile error) for new SatSolver interface	commit \| commitdiff \| tree
2013-04-03	Morgan Deters	Prerelease versioning for master.	commit \| commitdiff \| tree
2013-04-03	Morgan Deters	Pre-release versioning	commit \| commitdiff \| tree
2013-04-03	Morgan Deters	Cutting release 1.1.	commit \| commitdiff \| tree
2013-04-03	Morgan Deters	Some final minor changes before cutting 1.1.	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	Remove old README file from rewrite-rules left over...	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	Fix get-authors script to not extract email addresses...	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	One final fix to "make submission" rule	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	update copyrights	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	Adjust release Makefile rules, new run script	commit \| commitdiff \| tree
2013-04-02	Morgan Deters	Fixes for two bugs:	commit \| commitdiff \| tree
2013-04-01	Morgan Deters	Merging some cleanup work:	commit \| commitdiff \| tree
2013-04-01	Morgan Deters	Fix bug 491 and related issues with checkModel() and...	commit \| commitdiff \| tree
2013-03-29	Morgan Deters	make Boolean term conversion partially non-recursive...	commit \| commitdiff \| tree
2013-03-28	Morgan Deters	fix memory corruption in arrays destructor	commit \| commitdiff \| tree
2013-03-28	Morgan Deters	some Java bindings fixes (fixes Debian build problems)	commit \| commitdiff \| tree
2013-03-26	Morgan Deters	Fixes for warnings from clang++, from -std=gnu++0x...	commit \| commitdiff \| tree
2013-03-26	Morgan Deters	Make --incremental the default when running interactively	commit \| commitdiff \| tree
2013-03-26	Morgan Deters	java input stream adapters working	commit \| commitdiff \| tree
2013-03-25	Morgan Deters	Fix for SCM detection	commit \| commitdiff \| tree
2013-03-24	Morgan Deters	Fix bug in portfolio executor output; fixes nightly...	commit \| commitdiff \| tree
2013-03-22	Morgan Deters	Support for Boolean term conversion in datatypes.	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Better error in case of nonlinear assertions while...	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Add the ability to "mute" commands, needed for SMT...	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Some model and printing fixes for defined functions...	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Fix for SmtEngine::expandDefinitions()---improper TypeChecki...	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Better reporting of detached git state in --version...	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Fix to bug 497: make justification heuristic's ITE...	commit \| commitdiff \| tree
2013-03-21	Morgan Deters	Remove unintentionally-committed-to-master README from...	commit \| commitdiff \| tree
2013-03-20	Morgan Deters	Interactive mode support for multiline input	commit \| commitdiff \| tree
2013-03-20	Morgan Deters	Properly \|quote\| symbols in SMT-LIBv2 output.	commit \| commitdiff \| tree
2013-03-20	Morgan Deters	Some statistics for narrowing down incrementality issues...	commit \| commitdiff \| tree
2013-03-19	Morgan Deters	Minor cleanup of sources	commit \| commitdiff \| tree
2013-03-19	Morgan Deters	Fixes for miplib-trick application (and a new testcase)	commit \| commitdiff \| tree
2013-03-19	Morgan Deters	Remove PropositionalQuery class and all CUDD-related...	commit \| commitdiff \| tree
2013-03-19	Morgan Deters	Minor fixes to build system	commit \| commitdiff \| tree
2013-03-15	Morgan Deters	Boolean terms rewriting for quantified variables of...	commit \| commitdiff \| tree
2013-03-15	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-03-15	Morgan Deters	fix up build system for swig (d242c30 introduced a...	commit \| commitdiff \| tree
2013-03-14	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-03-14	Morgan Deters	Fix warning (line annotation)	commit \| commitdiff \| tree
2013-03-14	Morgan Deters	fix to build system: #include the proper file when...	commit \| commitdiff \| tree
2013-03-09	Morgan Deters	Disallow overflow in bitvector literals (parser only)	commit \| commitdiff \| tree
2013-03-05	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-03-05	Morgan Deters	Bugfix for SmtEngine: proper unsubscribing for NodeManager...	commit \| commitdiff \| tree
2013-03-01	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-26	Morgan Deters	Bug fix for rep-set.	commit \| commitdiff \| tree
2013-02-26	Morgan Deters	Fix for quantifiers containing Boolean terms.	commit \| commitdiff \| tree
2013-02-20	Morgan Deters	Single -q quiets messages/warnings. Double -qq silences...	commit \| commitdiff \| tree
2013-02-20	Morgan Deters	Some exception specification fixes in SmtEngine/Command...	commit \| commitdiff \| tree
2013-02-18	Morgan Deters	Fix for gitinfo (resolves bug 399).	commit \| commitdiff \| tree
2013-02-16	Morgan Deters	Some cleanup and copyright updating	commit \| commitdiff \| tree
2013-02-16	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-16	Morgan Deters	Fix version identification for new git repository.	commit \| commitdiff \| tree
2013-02-16	Morgan Deters	Fix typo in error message	commit \| commitdiff \| tree
2013-02-15	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-15	Morgan Deters	Fix builds/ links to survive configuring twice with...	commit \| commitdiff \| tree
2013-02-15	Morgan Deters	Fix ECHO command in CVC language parser to not output...	commit \| commitdiff \| tree
2013-02-15	Tianyi Liang	repairs a bug in rewriterule engine: constructor cannot... Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>	commit \| commitdiff \| tree
2013-02-13	Morgan Deters	Fix a preprocessing performance issue.	commit \| commitdiff \| tree
2013-02-08	Morgan Deters	Fix user-values in SMT-LIB v1.2	commit \| commitdiff \| tree
2013-02-08	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	Only put quantifier assertions in model equality engine...	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	Significant work on bug #491 (not yet closed).	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	More complete fix for bug 484 (includes fixes for records...	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	Fix error in tuple type-checking.	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	Make --default-dag-thresh apply to stringstreams	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	Do not install the "private-library" header	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	make datatypes enumerator behavior clearer (no exceptions...	commit \| commitdiff \| tree
2013-02-07	Morgan Deters	make datatypes enumerator behavior clearer (no exceptions...	commit \| commitdiff \| tree
2013-02-05	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-05	Morgan Deters	Fix a compiler warning in NodeBuilder	commit \| commitdiff \| tree
2013-02-05	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-05	Morgan Deters	remove now-unnecessary wrappers from Type interface	commit \| commitdiff \| tree
2013-02-05	Morgan Deters	Fix to miplib trick to make it less "cautious" and...	commit \| commitdiff \| tree
2013-02-05	Morgan Deters	dos2unix conversion for a number of files; this avoids...	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	Fix NodeBuilder bug which could attempt to allocate...	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	driver::totalTime statistic is now reported correctly...	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	fixed files with DOS newlines; fixed contrib/ scripts...	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	Some fixes for the miplib preprocessing pass.	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	Printing commands as they're executed now requires...	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-04	Morgan Deters	Model no longer adds subterms of quantifiers to equality... Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>	commit \| commitdiff \| tree
2013-02-03	Morgan Deters	Some cleanup of miplib regressions and options	commit \| commitdiff \| tree
2013-02-03	Morgan Deters	Merge from mdeters/miplib branch (commit 'ce7c485182902ae438...	commit \| commitdiff \| tree
next

RSS Atom