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

Age	Commit message (Collapse)	Author
2020-07-02	Remove SWIG bindings (#4683)	Andres Noetzli
	This commit removes support for SWIG bindings for the legacy API. The bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da and we are not planning on using SWIG for the Java API for the new API.
2020-03-30	Support indexed operators re.loop and re.^ (#4167)	Andrew Reynolds
	Towards support for the strings standard. This modifies our interface so that we accept the SMT-LIB standard versions of re.loop and re.^. This means re.loop no longer accepts 3 arguments but 1 (with 2 indices). This means we no longer accept re.loop with only a lower bound and no upper bound on the number of repetitions. Also fixes #4161.
2020-03-27	Move string utility file (#4164)	Andrew Reynolds
	Moves the string file to string.h. This is required since other required utilities will soon need to be added to regexp.h.
2018-03-23	Remove abstract regular expression constant (#1698)	Andrew Reynolds

2013-12-04	More Java bindings fixes	Morgan Deters

2013-11-27	Java bindings improvements for CASCADE, minor cleanup.	Morgan Deters