git.libre-soc.org Git - cvc5.git/search

2021-03-27	Andrew V. Jones	When building ANTLR via CMake, do not require javac... Signed-off-by: Andrew V. Jones andrewvaughanj@gmail.com	commit \| commitdiff \| tree
2021-03-10	Andrew V. Jones	Improved handing of 'lib64' vs. 'lib' for glpk-cut... Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>	commit \| commitdiff \| tree
2020-09-17	Andrew V. Jones	Do not allow to build Python bindings if building statically... Signed-off-by: Andrew V. Jones andrew.jones@vector.com	commit \| commitdiff \| tree
2020-09-02	Andrew V. Jones	Migrating from using the 'glpk-cut-log' repo to using... Signed-off-by: Andrew V. Jones andrew.jones@vector.com	commit \| commitdiff \| tree
2020-08-05	Andrew V. Jones	When checking models, ensure that error message is... Signed-off-by: Andrew V. Jones andrew.jones@vector.com	commit \| commitdiff \| tree
2020-08-01	Andrew V. Jones	Ensure that we only find '.a's when building statically... Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2020-07-30	Andrew V. Jones	When linking Editline, use 'pkg-config' to correctly... Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2020-07-17	Andrew V. Jones	Support for using 'libedit' over 'readline' #4571 ... Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2020-07-11	Andrew V. Jones	Add support for printing 'get-abduct' in verbose mode... Signed-off-by: Andrew V. Jones andrew.jones@vector.com	commit \| commitdiff \| tree
2020-07-07	Andrew V. Jones	Increase the minimum version of CMake due to the use... Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2020-06-19	Andrew V. Jones	Revert "[Python] Properly destroy CVC4 object (#3753...	commit \| commitdiff \| tree
2020-06-09	Andrew V. Jones	Ensure correct CMake dependencies on Debug_tags.h/Trace_tags... Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2020-06-05	Andrew V. Jones	If using 'ninja', tell the user to run 'ninja' not... Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2020-02-21	Andrew V. Jones	Adding checks to the validation of 'bv-sat-solver'...	commit \| commitdiff \| tree
2020-02-03	Andrew V. Jones	Renaming '--bsd' to '--no-gpl' (#3609) Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>	commit \| commitdiff \| tree
2019-10-20	Andrew V. Jones	Cleaning-up the declaration of wrapped functions/methods... Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>	commit \| commitdiff \| tree
2019-07-18	Andrew V. Jones	Removing forward-declaration of undefined function...	commit \| commitdiff \| tree

RSS Atom