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

[cvc5.git] / test / regress / regress0 / parser /

2019-10-09	Andres Noetzli	Avoid printing success for `--force-logic` (#3363)	tree \| commitdiff
2019-06-21	Andres Noetzli	Fix and simplify handling of --force-logic (#3062)	tree \| commitdiff
2019-04-16	Andres Noetzli	Make bv{add,mul,and,or,xor,xnor} left-associative ...	tree \| commitdiff
2018-10-03	Andres Noetzli	Allow (_ to_fp ...) in strict parsing mode (#2566)	tree \| commitdiff
2018-09-22	Aina Niemetz	cmake: Added regression tests and target make regress.	tree \| commitdiff
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	tree \| commitdiff
2018-06-05	Andres Noetzli	Only enable transcendentals if logic is N[I]RAT (#2052)	tree \| commitdiff
2018-03-21	Andres Noetzli	Move regression tests to single Makefile.am (#1658)	tree \| commitdiff
2017-10-04	Andrew Reynolds	Add regression from #50 regarding "as" parsing in smt2...	tree \| commitdiff
2016-11-18	Clark Barrett	Merge pull request #110 from 4tXJ7f/fix_makefiles	tree \| commitdiff
2016-11-18	Andres Notzli	Fix Makefiles in test	tree \| commitdiff
2015-01-14	Morgan Deters	sygus input language and benchmark	tree \| commitdiff
2015-01-11	Tianyi Liang	adjusted to both v2.0 and v2.5 string literals	tree \| commitdiff
2015-01-09	Tianyi Liang	blocked unprintable characters in string literals;	tree \| commitdiff
2014-11-10	Morgan Deters	Merge branch '1.4.x'	tree \| commitdiff
2014-11-07	Morgan Deters	Merge branch '1.4.x'	tree \| commitdiff
2014-11-07	Morgan Deters	Merge branch '1.4.x'	tree \| commitdiff
2014-11-07	Morgan Deters	Merge branch '1.4.x'	tree \| commitdiff
2014-11-05	Morgan Deters	Merge branch '1.4.x'	tree \| commitdiff
2014-10-23	Morgan Deters	Parsing and infrastructure support for SMT-LIBv2.5...	tree \| commitdiff
2014-06-09	Kshitij Bansal	Merge pull request #29 from kbansal/alternatefix	tree \| commitdiff
2014-06-09	Kshitij Bansal	test for prvs commit (tokenize emptyset)	tree \| commitdiff

RSS Atom