bitwuzla error: no matching function about triton HOT 11 CLOSED

We just ported few days ago Bitwuzla 0.1.x on our branch dev-v0.1. Can you pull this branch and try again?

from triton.

We just ported few days ago Bitwuzla 0.1.x on our branch dev-v0.1. Can you pull this branch and try again?

Unfortunately, even switching to the dev1 branch did not compile. Instead, I found a function, bitwuzla_term_value_get_str_fmt, which seemed to have the same function as bitwuzla_term_value_get_str()

I modified the bitwuzla_term_value_get_str_fmt function locally and it compiled to 99% even though there were other errors

from triton.

We just ported few days ago Bitwuzla 0.1.x on our branch dev-v0.1. Can you pull this branch and try again?

from triton.

We just ported few days ago Bitwuzla 0.1.x on our branch dev-v0.1. Can you pull this branch and try again?
triton and python-triton is build success，Below there is an error, do not know how to solve

from triton.

We just ported few days ago Bitwuzla 0.1.x on our branch dev-v0.1. Can you pull this branch and try again?
A temporary solution to add the following comments, I can compile successfully
#add_subdirectory(examples)

from triton.

Hi @cctv130 . What version of Bitwuzla did you use? The compilation is working fine with v0.1.0.

from triton.

bitwuzla_term_value_get_str_fmt

Hi @cctv130 . What version of Bitwuzla did you use? The compilation is working fine with v0.1.0.

I use the latest version, according to the official website of the tip, they change the function to the bitwuzla_term_value_get_str_fmt

from triton.

Ok. I see they release v0.2.0 last week. I'll try it and update the code accordingly.

from triton.

Ok. I see they release v0.2.0 last week. I'll try it and update the code accordingly.

thank you.

from triton.

PR #1286 solves this issue.

from triton.

PR #1286 solves this issue.

thank you

from triton.