git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/Makefile.am

[cvc5.git] / test / regress / regress0 / Makefile.am

2011-07-05	Dejan Jovanović	updated preprocessing and rewriting input equalities...	blob \| commitdiff \| raw
2011-05-23	Morgan Deters	Merge from arrays2 branch.	blob \| commitdiff \| raw \| diff to current
2011-05-05	Morgan Deters	Merge from nonclausal-simplification-v2 branch:	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-18	Morgan Deters	Partial merge from datatypes-merge branch:	blob \| commitdiff \| raw \| diff to current
2011-03-30	Morgan Deters	improve recent low-coverage complaints	blob \| commitdiff \| raw \| diff to current
2011-03-30	Morgan Deters	Add Valuation::getSatValue() so that theories can acces...	blob \| commitdiff \| raw \| diff to current
2011-03-26	Morgan Deters	fix typo	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
2011-03-10	Morgan Deters	ITE removal in TheoryEngine was not properly handling...	blob \| commitdiff \| raw \| diff to current
2011-03-05	Morgan Deters	adding three features to CVC parser that drastically...	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	blob \| commitdiff \| raw \| diff to current
2010-12-14	Morgan Deters	fix to static learning application in UF, resolves...	blob \| commitdiff \| raw \| diff to current
2010-11-16	Morgan Deters	SmtEngine now fails with a ModalException if --incremen...	blob \| commitdiff \| raw \| diff to current
2010-11-15	Morgan Deters	fix some things with the build system (make dist, make...	blob \| commitdiff \| raw \| diff to current
2010-11-09	Dejan Jovanović	Lemmas on demand work, push-pop, some cleanup.	blob \| commitdiff \| raw \| diff to current
2010-10-20	Morgan Deters	fix bug #220 (assertion fails if no query/check-sat...	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-09-20	Dejan Jovanović	hooking up the bitvector tests	blob \| commitdiff \| raw \| diff to current
2010-09-14	Tim King	* added test/regress/regress0/arith for easy arithmetic...	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-07-22	Tim King	Added test file for fuzzsmt bug, bug187.smt2.	blob \| commitdiff \| raw \| diff to current
2010-07-07	Christopher L. Conway	Disabling failing tests	blob \| commitdiff \| raw \| diff to current
2010-07-07	Christopher L. Conway	Adding tests for precedence of arithmetic in CVC inputs	blob \| commitdiff \| raw \| diff to current
2010-07-06	Morgan Deters	add regressions from bug reports	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	make dist && make distcheck functional, other fixes	blob \| commitdiff \| raw \| diff to current
2010-06-17	Morgan Deters	fix some minor annoyances in the regression test Makefi...	blob \| commitdiff \| raw \| diff to current
2010-06-04	Christopher L. Conway	Enabling RDL/IDL in SMT v1 and adding some simple tests	blob \| commitdiff \| raw \| diff to current
2010-06-03	Tim King	Fixes 2 issues with assignments. The first is construct...	blob \| commitdiff \| raw \| diff to current
2010-05-27	Tim King	Preregistration has been turned on. Highly experimental...	blob \| commitdiff \| raw \| diff to current
2010-05-27	Christopher L. Conway	Adding NodeManager::prepareToBeDestroyed() (Fixes:...	blob \| commitdiff \| raw \| diff to current
2010-05-27	Morgan Deters	fix bug 120; competition mode regression failures for...	blob \| commitdiff \| raw \| diff to current
2010-05-19	Tim King	Significant revision to theory/arith. The new draft...	blob \| commitdiff \| raw \| diff to current
2010-05-14	Christopher L. Conway	Adding ITE tests	blob \| commitdiff \| raw \| diff to current
2010-05-14	Christopher L. Conway	Adding rudimentary ITE handling in CnfStream	blob \| commitdiff \| raw \| diff to current
2010-05-03	Morgan Deters	main driver supports .smt2 input, added an smt2 regress...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	blob \| commitdiff \| raw \| diff to current
2010-03-30	Christopher L. Conway	Merging from branches/antlr3 (r246:354)	blob \| commitdiff \| raw \| diff to current
2010-03-10	Christopher L. Conway	Adding preliminary let/flet support to SMT parser ...	blob \| commitdiff \| raw \| diff to current
2010-03-09	Dejan Jovanović	(no commit message)	blob \| commitdiff \| raw \| diff to current
2010-03-08	Dejan Jovanović	adding simple-uf to the regressions, and the code that...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	resolve bug 32; public-facing interface functions in...	blob \| commitdiff \| raw \| diff to current
2010-02-11	Christopher L. Conway	Adding precedence regressions	blob \| commitdiff \| raw \| diff to current
2010-02-09	Dejan Jovanović	Changes to the CNF conversion and the SAT solver. All...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	build system for multi-level regressions	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	test infrastructure updated for multiple-level regressions	blob \| commitdiff \| raw \| diff to current

RSS Atom