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

Age	Commit message (Collapse)	Author
2020-02-20	Remove unused code (#3782)	Andres Noetzli

2020-02-19	resource manager: Add statistic for every resource. (#3772)	Mathias Preiner
	This commit adds statistics for all resource steps. A resource statistic is incremented by 1 if the resource is spent (via `spendResource`). Fixes #3751.
2019-11-11	Fix mkConst<RoundingMode>() for Python bindings (#3447)	Andres Noetzli

2019-06-21	Add floating-point support in the Java API (#3063)	Andres Noetzli
	This commit adds support for the theory of floating-point numbers in the Java API. Previously, floating-point related classes were missing in the JAR. The commit also provides an example that showcases how to work with the theory of floating-point numbers through the API.
2018-03-23	Remove abstract regular expression constant (#1698)	Andrew Reynolds

2017-09-13	Remove unused RecordSelect and TupleSelect (#1087)	Andres Noetzli
	Commit 62b673a6b8444c14c169a984dd6e3fc8f685851e remove most of the record/tuple infrastructure but did not remove the classes RecordSelect and TupleSelect which lead to issues with Java bindings (the references to the corresponding mkConst implementations could not be resolved). This commit removes the remaining traces of those classes.
2017-08-17	Remove unused SubrangeBound(s) classes (#221)	Andres Noetzli
	As discussed in pull request #220, commit 360d6ee8d3cdd5ddb47c328043eaed3a107b8db1 mostly got rid of SubrangeBound(s). There were still a few mentions of it left in the code, most of them commented out. The occurrences in expr.i and expr_manager.i, however, created issues with the Python wrapper. This commit removes the SubrangeBound(s) implementation and other leftovers.
2017-07-12	Fix .i files from last commit.	ajreynol

2016-11-01	Working memory leak free version, changes interface to pointers.	ajreynol

2016-04-20	update from the master	PaulMeng

2014-12-11	Minor fixes to language bindings. (Resolves #607.)	Morgan Deters

2014-05-27	Some fixes to GC order in Java.	Morgan Deters

2014-05-27	Fix typo in Java destruction code; should fix some recent bug reports of ↵	Morgan Deters
	crashes in Java.
2013-12-02	Another fix to Java destruction order issues. Thanks to Zheng Manchun for ↵	Morgan Deters
	the report.
2013-11-27	Add missing template instanatiation in Java bindings	Morgan Deters

2013-11-26	Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ↵	Morgan Deters
	bug.
2013-11-26	Minor fix for swig bindings.	Morgan Deters

2013-08-30	Add ability to mkConst(TupleSelect) and friends in language bindings	Morgan Deters

2012-11-17	* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ↵	Morgan Deters
	ALL_SUPPORTED logic * Java bindings fixes: fixed access to ostreams, iterators * Make SmtEngine::setUserAttribute() (and others) take a const string& * Also a few compliance fixes (this commit was certified error- and warning-free by the test-and-commit script.)
2012-08-20	fixes for java bindings	Morgan Deters

2012-08-16	fix exceptions and mkConst() in java binding	Morgan Deters

2012-08-16	some fixes for language bindings	Morgan Deters

2011-11-15	Bindings work (ocaml bindings are now sort of working); also minor cleanup	Morgan Deters

2011-10-04	Yet Another Antlr3 Mod---this time, all my fault: for configuration ↵	Morgan Deters
	auto-detection of libantlr3c, I chose an innocent-looking function that was present in both versions. But it's signature had changed, breaking source compatibility in both directions. Just like the other function that started the whole mess. Silly me.
2011-09-30	interfaces fixes and cleanups...and examples of each interface!	Morgan Deters

2011-09-20	Merge from "swig" branch: language binding for Java is compiling and ↵	Morgan Deters
	linking. Enable with --enable-language-bindings=java