projects / cvc5.git / search
| 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 |