projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add regression for issue 6191 (#6264)
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