cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2017-06-18	Better configuration for QF_NRA	Andres Noetzli

2017-06-16	Change language in competition script to smt2.6 (#171)	Andres Nötzli
	* Change language in competition script to smt2.6 The benchmark scrambler for the application track cuts out the :smt-lib-version command, so this commit sets it manually to 2.6 (all benchmarks in SMT-COMP use the 2.6 standard) instead of 2.0. I have not seen any failures due to that but might as well be prudent. * Change language in competition script to smt2.6 The benchmark scrambler (at least for the application track) cuts out the :smt-lib-version command, so this commit sets it manually to 2.6 (all benchmarks in SMT-COMP use the 2.6 standard) instead of 2.0. I have not seen any failures due to that but might as well be prudent.
2017-06-03	Minor to smt comp script.	ajreynol

2017-06-02	Incorporate datatypes into smt comp script, add regression.	ajreynol

2017-06-01	Minor optimizations related to cbqi.	ajreynol

2017-05-31	Fix model construction for BV with cbqi. Minor change to defaults.	ajreynol

2017-05-31	Change to-int, div, int-div skolems from CDAttribute to stored in CDHashMap. ↵	ajreynol
	Minor changes to smt comp script.
2017-05-31	Minor change to defaults, update smt comp script, minor changes to options ↵	ajreynol
	in regressions.
2017-05-22	Initial draft of 2017 competition scripts.	ajreynol