projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
When checking models, ensure that error message is correctly formatted (#4853)
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-07-18
Andrew V. Jones
Removing forward-declaration of undefined function...
commit
|
commitdiff
|
tree