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

2014-10-06	Morgan Deters	Fix native language parsing of chained-store expression...	blob \| commitdiff \| raw
2014-10-03	Morgan Deters	Improve error in CVC parser in presence of unrecognized...	blob \| commitdiff \| raw \| diff to current
2014-07-11	Kshitij Bansal	Merge pull request #48 from kbansal/segfaultfix	blob \| commitdiff \| raw \| diff to current
2014-07-11	Kshitij Bansal	Merge pull request #49 from kbansal/cvcparser	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	membership cvc token changed to `IS_IN' to avoid confli...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-09	Kshitij Bansal	sets cvc parser	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-06-04	Morgan Deters	Add operator support (resolves bug #563).	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-14	Andrew Reynolds	Add initial support for co-datatypes.	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-26	Tianyi Liang	smt-lib syntax change: str.contain -> str.contains...	blob \| commitdiff \| raw \| diff to current
2014-02-24	Tianyi Liang	smt-lib syntax change: str.contain -> str.contains...	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-20	Morgan Deters	String parsing example in CVC parser	blob \| commitdiff \| raw \| diff to current
2014-02-20	Morgan Deters	String parsing example in CVC parser	blob \| commitdiff \| raw \| diff to current
2014-02-19	Tianyi Liang	add negative int2str	blob \| commitdiff \| raw \| diff to current
2014-02-19	Morgan Deters	String parsing example in CVC parser	blob \| commitdiff \| raw \| diff to current
2014-01-02	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-01-02	Morgan Deters	Update copyright year.	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-14	Morgan Deters	Allow empty record literals (fixing an oversight in...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-09	Morgan Deters	Fix declare-datatypes dumping bug (bug 385).	blob \| commitdiff \| raw \| diff to current
2013-09-09	Morgan Deters	Support empty (and 1-ary) tuples and records.	blob \| commitdiff \| raw \| diff to current
2013-09-05	Morgan Deters	Fix FLOOR and DISTINCT in CVC language parser.	blob \| commitdiff \| raw \| diff to current
2013-09-05	Morgan Deters	Fix declare-fun/define-fun in dumps; resolves bugs...	blob \| commitdiff \| raw \| diff to current
2013-06-03	Morgan Deters	Merge tag 'casc24'	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	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Detect multiply-defined :named annotations and issue...	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Disallow construction of (_ BitVec 0).	blob \| commitdiff \| raw \| diff to current
2013-05-17	Morgan Deters	Disallow construction of (_ BitVec 0).	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-20	Morgan Deters	Interactive mode support for multiline input	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-26	lianah	Merge branch '1.0.x' of https://github.com/CVC4/CVC4...	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge pull request #6 from kbansal/decNewoptions	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Some cleanup and copyright updating	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Fix ECHO command in CVC language parser to not output...	blob \| commitdiff \| raw \| diff to current
2012-11-28	Morgan Deters	Bug fix:	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Tuples and records merge. Resolves bug 270.	blob \| commitdiff \| raw \| diff to current
2012-11-18	Morgan Deters	Disable predicate subtyping:	blob \| commitdiff \| raw \| diff to current
2012-10-26	Morgan Deters	better parametric datatype arity checking; fixes bug 433	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-10	Dejan Jovanović	fixing the cvc bv parser and typechecker	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-08	Morgan Deters	* Models' SubstitutionMaps are now attached to the...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-27	Morgan Deters	* Rename SMT parts (printer, parser) to SMT1	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	* disallow internal uses of mkVar() (you have to mkSkol...	blob \| commitdiff \| raw \| diff to current
2012-08-16	Morgan Deters	The SmtEngine now ensures that setLogicInternal() is...	blob \| commitdiff \| raw \| diff to current
2012-08-07	Morgan Deters	Some items from the CVC4 public interface review:	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	Bugs resolved by this commit: #314, #322, #359, #364...	blob \| commitdiff \| raw \| diff to current
2012-06-13	Morgan Deters	Don't use the "inlined" feature of ANTLR 3.2, which...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	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-05-15	Tim King	This commit removes the CONST_INTEGER kind from nodes...	blob \| commitdiff \| raw \| diff to current
2012-05-03	Dejan Jovanović	Some cleanup starting off from trying to understand...	blob \| commitdiff \| raw \| diff to current
2012-04-06	Morgan Deters	* Fix ITEs and functions in CVC language printer.	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
2011-12-14	Morgan Deters	minor fixes to printing and parsing of CVC-language...	blob \| commitdiff \| raw \| diff to current
2011-11-16	Morgan Deters	Addressed many of the concerns raised in the public...	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-10-04	Morgan Deters	cvc3 compatibility layer; and another libantlr3c v3...	blob \| commitdiff \| raw \| diff to current
2011-10-04	Morgan Deters	Oh, here's another cute compatibility fix for libantlr3...	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-09-02	Morgan Deters	Partial merge of integers work; this is simple B&B...	blob \| commitdiff \| raw \| diff to current
2011-06-03	Andrew Reynolds	fixed various bugs related to ambiguous parametric...	blob \| commitdiff \| raw \| diff to current
2011-06-03	Morgan Deters	datatypes work	blob \| commitdiff \| raw \| diff to current
2011-06-01	Morgan Deters	type ascriptions (casts) for parameterized datatypes...	blob \| commitdiff \| raw \| diff to current
2011-05-13	Andrew Reynolds	added support for parametric datatypes, updated cvc...	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-03	Morgan Deters	output fixes for performance	blob \| commitdiff \| raw \| diff to current
2011-05-02	Morgan Deters	Minor fixes to various parts of CVC4, including the...	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Weekend work. The main points:	blob \| commitdiff \| raw \| diff to current
2011-04-23	Morgan Deters	fix for parser/tests for ANTLR 3.2 (it was working...	blob \| commitdiff \| raw \| diff to current
2011-04-23	Morgan Deters	* reviewed BooleanSimplification, added documentation...	blob \| commitdiff \| raw \| diff to current
2011-04-20	Morgan Deters	numerous bugfixes	blob \| commitdiff \| raw \| diff to current
2011-04-20	Morgan Deters	Minor mixed-bag commit. Expected performance impact...	blob \| commitdiff \| raw \| diff to current
2011-04-20	Morgan Deters	Tuesday end-of-day commit.	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	mostly CVC presentation language parsing and printing	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	Partial merge from datatypes-merge branch:	blob \| commitdiff \| raw \| diff to current
next

RSS Atom