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

Age	Commit message (Collapse)	Author
2020-10-06	Improve OSX support by adding os detection and adapting calls for OSX. (#5023)	Malte Mues
	On OSX there is another libtoolize tool already available. The gnu libtoolize version installed with MacPorts or brew is called glibtoolize. This change makes it easier to run the file on OSX. Signed-off-by: Malte Mues (mail.mues@gmail.com)
2020-09-02	Migrating from using the 'glpk-cut-log' repo to using an official GPLK ↵	Andrew V. Jones
	release + a set of patches (#4775) This PR attempts to migrate from @timothy-king's repo for glpk-cut-log to using a set of patches against the official release that 'glpk-cut-log' was based off of (4.52). This is in preparation of trying to rework these patches to be against the latest GPLK release (4.65). If we can do this, then it makes it easier for CVC4's dependancy on GPLK to be able to follow upstream (rather than being stuck on a release that is 6.5 years old!). I have added GPLK as an option for CI, but I do not know if we actually want this. My concern with adding this to CI is that we're then not testing non-GPL builds, which doesn't seem ideal. However, before starting to rework the patches to be against 4.65, I want to make sure that things are actually working/stable against 4.52; so having at least one CI target that does use GPLK would be great. Signed-off-by: Andrew V. Jones andrew.jones@vector.com
2019-12-06	contrib: Setup all dependencies in deps/ directory. (#3534)	Mathias Preiner

2019-08-26	Make contrib/get-* more robust. (#3198)	Mathias Preiner
	We use the command which to determine if a command is available on the system. However, which is not installed on all platforms by default (e.g. CentOS). command is a shell builtin that can be used for the same purpose.
2018-10-19	Remove autotools build system. (#2639)	Mathias Preiner

2018-02-06	Use separate shell script for common get-* script parts. (#1567)	Mathias Preiner

2014-06-19	get-glpk-cut-log script, and configure code.	Morgan Deters