Prepare version 1.2.0

[joaomhmpereira]

Update the version of cvc5 supported by the bindings to v1.2.0

[filipeom]

This fixes the compare_pointer warning I was getting with the version in opam, but now I also get:

File "bin/dune", line 2, characters 7-11:
2 |  (name main)
           ^^^^
/usr/bin/ld: /home/filipe/.local/share/opam/ocaml-variants.5.2.0+options/lib/cvc5/libcvc5.a(cadical.cpp.o): in function `cvc5::internal::prop::CadicalSolver::getProofSketch()':
cadical.cpp:(.text+0x4de): undefined reference to `CaDiCaL::Solver::flush_proof_trace(bool)'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking (exit code 1)

When trying to compile smtml with this version. Do you know anything about it? (this is #19, which seems to have come back)

[joaomhmpereira]

This should fix it. @filipeom can you check it? (I can't reproduce the error)

[filipeom]

This should fix it. @filipeom can you check it? (I can't reproduce the error)

In the smtml CI it seems to build fine, I'm only experiencing these issues locally with ocaml 5.2.0. And the CI runs 5.1, so there might be an issue there?

[filipeom]

Confirm, it seems to only happen on 5.2