8000 Releases · season-lab/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: season-lab/z3

4.8.7-fuzzolic-r01

16 Mar 10:54
@ercoppa ercoppa
4.8.7-fuzzolic-r01
ea2adef
Compare
Choose a tag to compare
4.8.7-fuzzolic-r01 Pre-release
Pre-release

API:

  • uint64_t Z3_API Z3_custom_eval(Z3_context c, Z3_ast expr, uint8_t* data, size_t data_size);

Compilation:

mkdir build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=`pwd`/dist
Loading
0