search

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
https://triton-library.github.io
Apache License 2.0
3.4k stars 524 forks source link

bitwuzla error: no matching function #1281

Closed cctv130 closed 9 months ago

cctv130 commented 10 months ago

1693360009429

JonathanSalwan commented 10 months ago

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

cctv130 commented 10 months ago

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

1693381240675

cctv130 commented 10 months ago

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

1693381750720 1693381723636 1693381784632

cctv130 commented 10 months ago

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 1693383066606

cctv130 commented 10 months ago

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)

1693393520151

cnheitman commented 10 months ago

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

cctv130 commented 10 months ago

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

cnheitman commented 10 months ago

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

cctv130 commented 10 months ago

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

thank you.

cnheitman commented 9 months ago

PR #1286 solves this issue.

cctv130 commented 9 months ago

PR #1286 solves this issue.

thank you